John McCarthy  Home/Search
Context Related
| stanford.edu/jmc/context3.ps stanford.edu/jmc/context2.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/jmc/context (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: These notes discuss formalizing contexts as first class objects. The basic relation is ist(c; p). It asserts that the proposition p is true in the context c. The most important formulas relate the propositions true in different contexts. Introducing contexts as formal objects will permit axiomatizations in limited contexts to be expanded to transcend the original limitations. This seems necessary to provide AI programs using logic with certain capabilities that human fact representation and... (Update)
Cited by: More
In Context: Integrating Domain- and Situation-specific.. - Gurevych, Porzel, Malaka (2006) (Correct)
Context in Artificial Intelligent and Information Modeling - Theodorakis, Spyratos (2002) (Correct)
Contextual Model Type Theory - Nanevski, Pfenning, Pientka (2005) (Correct)
Similar documents (at the sentence level):
69.4%: Formalizing Context (Expanded Notes) - McCarthy, Buvac (1997) (Correct)
Active bibliography (related documents): More All
0.6: Progress in Logic-Based AI - Hubert Dreyfus Claims (Correct)
0.3: Situation Calculus With Concurrent Events And Narrative - McCarthy (2000) (Correct)
0.3: Information Modelling using RDF - Constructs for Modular.. - Klyne (Correct)
Similar documents based on text: More All
0.3: Actions And Other Events In Situation Calculus - John Mccarthy Computer (Correct)
0.3: Syllabus For 1999 Fall - John Mccarthy Computer (Correct)
0.2: Programs with Common Sense - McCarthy (1968) (Correct)
Related documents from co-citation: More All
28: Varieties of context (context) - Shoham - 1991
25: Contexts: A formalization and some applications (context) - Guha - 1991
21: Propositional logic of context - Buvac, Mason - 1993
BibTeX entry: (Update)
J. McCarthy. Notes on formalizing context. Proceedings of the thirteenth international joint conference on artificial intelligence, 1993. http://citeseer.ist.psu.edu/mccarthy93notes.html More
@inproceedings{ mccarthy86notes,
author = "John McCarthy",
title = "Notes on Formalizing Contexts",
booktitle = "Proceedings of the Fifth National Conference on Artificial Intelligence",
publisher = "Morgan Kaufmann",
address = "Los Altos, California",
editor = "Tom Kehler and Stan Rosenschein",
pages = "555--560",
year = "1986",
url = "citeseer.ist.psu.edu/mccarthy93notes.html" }
Citations (may not include all citations):45 Propositional logic of context - Buvac, Mason - 1993
40 Ascribing Mental Qualities to Machines (context) - John - 1979
4 Propositional Objects (context) - Quine - 1969
3 Stanford PhD Thesis (context) - Guha, Contexts - 1991
1 Weening: EKL---An Interactive Proof Checker: User's Referenc.. (context) - Jussi - 1984
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC