Fangzhen Lin, Yoav Shoham  Home/Search
Context Related
| toronto.edu/pub/cogrob/pcta.ps.Z 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: cs.ust.hk/~flin/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate logical formalization of the effects of actions in the situation calculus. We propose a formal criterion against which to evaluate theories of deterministic actions. We show how the criterion provides us a formal foundation upon which to tackle the frame problem, as well as its variant in the context of concurrent actions. Our main technical contributions are in formulating a wide class of monotonic causal theories that satisfy the criterion, and showing that each such theory can ... (Update)
Context of citations to this paper: More
...bases. Other more specialized formalisms play an important role in dealing with causal knowledge about actions and change, e.g. [13, 22, 23, 24, 27, 36]; see especially the work by Turner [36] and the references therein for an overview. A representative of the latter is Pearl...
Cited by: More
Representing Action: Indeterminacy and Ramifications - Giunchiglia, Kartha, Lifschitz (1997) (Correct)
Actions And Other Events In Situation Calculus - John Mccarthy Computer (Correct)
Interpolation Properties of Action Logic: Lazy-formalization to .. - Zhang, Foo (Correct)
Active bibliography (related documents): More All
0.5: A Circumscriptive Calculus of Events - Shanahan (1995) (Correct)
0.4: Foundations of Temporal Constraint Databases - Koubarakis (1994) (Correct)
0.4: Reasoning About Time and Change: a Knowledge Base Management.. - Koubarakis (1990) (Correct)
Similar documents based on text: More All
0.0: Wrappers For Performance Enhancement And Oblivious Decision Graphs - Kohavi (1995) (Correct)
0.0: Modeling Beliefs In Dynamic Systems - Friedman (1997) (Correct)
0.0: On the Persistence of Knowledge and Ignorance: A Preliminary.. - Lin, Shoham (Correct)
Related documents from co-citation: More All
46: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
38: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
29: Nonmonotonic reasoning in the framework of situation calculus - Baker - 1991
BibTeX entry: (Update)
Fangzhen Lin and Yoav Shoham. Provably correct theories of action (preliminary report). In Proc. AAAI-91, pages 349--354, 1991. http://citeseer.ist.psu.edu/lin91provably.html More
@article{ lin95provably,
author = "Fangzhen Lin and Yoav Shoham",
title = "Provably Correct Theories of Action",
journal = "Journal of the ACM",
volume = "42",
number = "2",
pages = "293--320",
year = "1995",
url = "citeseer.ist.psu.edu/lin91provably.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
297 Applications of circumscription to formalizing commonsense k.. - McCarthy - 1986
295 On closed world data bases (context) - Reiter - 1978
199 Reasoning about actions using a possible models approach (context) - Winslett - 1988
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
166 Computing circumscription (context) - Lifschitz - 1985
128 Nonmonotonic reasoning in the framework of the situation cal.. - Baker - 1991
99 Formal theories of action (context) - Lifschitz - 1987
87 Frames in the space of situations (context) - Lifschitz - 1990
84 What are the limitations of the situation calculus (context) - Gelfond, Lifschitz et al. - 1991
83 The logic of persistence (context) - Kautz - 1986
63 Pointwise circumscription (context) - Lifschitz - 1986
52 the declarative semantics of logic programs with negation (context) - Lifschitz - 1987
44 Chronological ignorance: experiments in nonmonotonic tempora.. (context) - Shoham - 1988
41 Toward a meta-theory of action - Lifschitz - 1991
34 Concurrent dynamic logic (context) - Peleg - 1987
28 Circumscription implies predicate completion (context) - Reiter - 1982
25 Why things go wrong: A formal theory of causal reasoning (context) - Morgenstern, Stein - 1988
24 Simple causal minimizations for temporal persistence and pro.. (context) - Haugh - 1987
23 Temporal projection and explanation (context) - Baker, Ginsberg - 1989
22 Monotonic solution to the frame problem in the situation cal.. (context) - Schubert - 1990
16 Miracles in formal theories of action (context) - Lifschitz, Rabinov - 1989
13 The representation of events in multiagent domains (context) - Georgeff - 1986
4 Response to Hanks and McDermott: temporal evolution of belie.. (context) - Loui - 1987
3 the representation of concurrent actions in the situation ca.. (context) - Weber - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ust.hk/~flin/): More
Applications of the Situation Calculus To Formalizing Control and.. - Lin (Correct)
Forget It! - Fangzhen Lin (1994) (Correct)
An Ordering on Subgoals for Planning - Lin (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