Matthew L. Ginsberg, David E. Smith  Home/Search
Context Related
Links: ACM DBLP | nasa.gov/ic/people/de2smith/...frame.ps cs.ru.ac.za/func/Bridge/Brid...frame.ps uoregon.edu/pub/users/gin...frame.ps.gz 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 Problem Downloading? From: nasa.gov/ic/people...publications (more) From: uoregon.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning about change is an important aspect of commonsense reasoning and planning. In this paper we describe an approach to reasoning about change for rich domains where it is not possible to anticipate all situations that might occur. The approach provides a solution to the frame problem, and to the related problem that it is not always reasonable to explicitly specify all of the consequences of actions. The approach involves keeping a single model of the world that is updated when actions... (Update)
Cited by: More
Intelligent Execution Monitoring in Dynamic Environments - Fichtner, Großmann.. (2003) (Correct)
Radical Empiricism, Empirical Modelling and the nature of.. - Meurig Beynon Computer (Correct)
Actions with Duration and Constraints: the Ramification.. - Papadakis, Plexousakis (2003) (Correct)
Active bibliography (related documents): More All
0.5: Multivalued Logics: A Uniform Approach to Inference in.. - Ginsberg (1988) (Correct)
0.4: Reasoning About Action II: The Qualification Problem - Ginsberg, Smith (1988) (Correct)
0.2: Reasoning about Persistence: A Unified Principle for State Change - Zhang (1994) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Doilies with Vertex Sets 275, 286,... 462 - Hamburger, Sali (Correct)
0.1: MinidiSc Deck - Sj-Md Operating Instructions (Correct)
0.1: A Modal Temporal Logic for Reasoning about Change - Eric Mays Department (Correct)
Related documents from co-citation: More All
40: Reasoning about action using a possible models approach (context) - Winslett - 1988
38: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
31: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
BibTeX entry: (Update)
M.L. Ginsberg and D.E. Smith. Reasoning about action I: A possible worlds approach. In F.M. Brown, editor, Proceedings of the 1987 Workshop on the Frame Problem in Artifical Intelligence, pages 233--258. Morgan Kaufmann Publisher, Inc., 1987. http://citeseer.ist.psu.edu/ginsberg87reasoning.html More
@inproceedings{ ginsberg87reasoning,
author = "Matthew L. Ginsberg and David E. Smith",
title = "Reasoning about action {I}: a possible worlds approach",
booktitle = "The frame problem in artificial intelligence: proc. of 1987 workshop",
publisher = "Morgan Kaufmann",
editor = "Frank M. Brown",
pages = "233--258",
year = "1987",
url = "citeseer.ist.psu.edu/ginsberg87reasoning.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971 DBLP
850 A logic for default reasoning (context) - Reiter - 1980 ACM DBLP
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
458 A theory of diagnosis from first principles (context) - Reiter - 1987 ACM DBLP
451 Circumscription -- a form of non-monotonic reasoning (context) - McCarthy - 1980
444 Towards a general theory of action and time (context) - Allen - 1984 ACM DBLP
334 A truth maintenance system (context) - Doyle - 1979 ACM DBLP
311 Semantical considerations on nonmonotonic logic (context) - Moore - 1985 ACM DBLP
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1986 DBLP
175 Nonmonotonic logics and temporal projection (context) - Hanks, McDermott - 1987
107 Foundations of assumption-based truth maintenance systems: P.. (context) - Reiter, de Kleer - 1987 DBLP
99 Formal theories of action (context) - Lifschitz - 1987 ACM
96 the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
91 Artificial Intelligence (context) - Ginsberg - 1986 ACM DBLP
86 Epistemological problems of artificial intelligence (context) - McCarthy - 1977 ACM DBLP
77 the semantics of STRIPS - Lifschitz - 1986
74 Theorem proving by resolution as a basis for question-answer.. (context) - Green - 1969
63 Pointwise circumscription (context) - Lifschitz - 1987 ACM
62 An assumption-based truth maintenance system (context) - de Kleer - 1986
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1987 ACM
43 Reasoning about action II: The qualification problem - Ginsberg, Smith - 1988 ACM DBLP
26 Multi-valued logics (context) - Ginsberg - 1986 ACM DBLP
23 Pointwise circumscription: Preliminary report (context) - Lifschitz - 1986 DBLP
8 Possible worlds planning (context) - Ginsberg - 1986
8 Possible worlds planning (context) - Ginsberg, Smith
7 Chronological ignorance (context) - Shoham - 1986 ACM
1 Possible worlds and the qualification problem (context) - Ginsberg, Smith - 1987 DBLP
1 Programs with commmon sense (context) - McCarthy - 1960
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://ic.arc.nasa.gov/ic/people/de2smith/publications/publications.html): More
Conditional Effects in Graphplan - Anderson (1998) (Correct)
Suspending Recursion in Causal-link Planning - Smith, Peot (1996) (Correct)
Design Sheet: An Environment for . . . - Buckley, al. (1992) (Correct)
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