Norman Foo, Dongmo Zhang  Home/Search
Context
Related
| unsw.edu.au/~dongmo/Rev_Kr2.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: unsw.edu.au/~dongmo/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces an inference mechanism for reasoning with frame axioms and quali cation axioms which are not included in the action description based on the extended propositional dynamic logic, introduced in a previous paper. Such a mechanism allows us to reason with an incomplete action description. Then we prove that for any particular query, the extra frame axioms and quali cation axioms which are needed for answering the query could only involve the objects which are relevant... (Update)
Active bibliography (related documents): More All
0.6: Lazy-formalization to the Frame Problem - Foo (2002) (Correct)
0.4: Interpolation Properties of Action Logic: Lazy-formalization to .. - Zhang, Foo (Correct)
0.2: The Turing Test: The First Fifty Years - French (2000) (Correct)
Similar documents based on text: More All
0.5: Postdiction problems in dynamic logic: Preliminary Report - Chopra, Zhang (Correct)
0.5: EPDL: A Logic for Causal Reasoning - Zhang, Foo (Correct)
0.4: Addressing the Qualification Problem in FLUX - Martin, Thielscher (2001) (Correct)
BibTeX entry: (Update)
@misc{ foo-reasoning,
author = "Norman Foo and Dongmo Zhang",
title = "Reasoning with Extra Frame Axioms and Qualification Axioms (Extended Abstract)",
url = "citeseer.ist.psu.edu/243903.html" }
Citations (may not include all citations):388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
112 Reasoning about action I: a possible worlds approach - Ginsberg, Smith - 1988
105 Solving the frame problem: a mathematical investigation of t.. (context) - Shanahan - 1997
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
87 Frames in the space of situations (context) - Lifschitz - 1990
35 Some contributions to the metatheory of the situation calcul.. - Pirri, Reiter - 1999
27 Formalizing action and change in modal logic I: the frame pr.. - Castilho, Gasquet et al.
14 PDL-based framework for reasoning about actions - De Giacomo, Lenzerini - 1995
14 Dealing with concurrent actions in modal action logics - Giordano, Martelli et al. - 1998
6 Reasoning about action II: the quali- cation problem (context) - Ginsberg, Smith - 1988
4 The Turing Test and the Frame Problem: AI's Mistaken Underst.. (context) - Crockett - 1994
3 Center for the Study of Language and Information Lecture Not.. (context) - Goldblatt, Time - 1987
1 Extended propositional dynamic logic for reasoning about act.. - Zhang, Foo
Documents on the same site (http://www.cse.unsw.edu.au/~dongmo/): More
Default Reasoning and Belief Revision: A Syntax-Independent.. - Zhang, al. (Correct)
Extended Propositional Dynamic Logic for Reasoning about.. - Zhang, Foo (Correct)
What Could a Natural Deductive System for Nonmonotonic Reasoning.. - Zhang (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