See this document in CiteSeerX!

Reasoning with Extra Frame Axioms and Qualification Axioms (Extended Abstract)  (Make Corrections)  
Norman Foo, Dongmo Zhang



  Home/Search   Context   Related

 
View or download:
unsw.edu.au/~dongmo/Rev_Kr2.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unsw.edu.au/~dongmo/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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