Norman Foo, Abhaya Nayak, Maurice Pagnucco  Home/Search
Context
Related
| cs.su.oz.au/ksg/pa...ef_know_sets.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 From: fermivista.math...ftp.cs.su.oz.au (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Certain constraints that are interpretable as definitions or quasi-definitions cause prediction problems for logics of action. Standard ways to avoid them rely on notions of priority in the minimization of fluent change. We offer an alternative approach based on belief revision. Revision is performed on the reduct of the system theory after isolating definitions, and the revised theory is then expanded by restoring the definitions. The basis for this is a weak monotonicity result for AGM... (Update)
Similar documents (at the sentence level):
45.0%: Definitional Constraints - Foo, Nayak, Pagnucco (1996) (Correct)
Active bibliography (related documents): More All
0.9: Constraints And Updates - Foo, Zhang (1994) (Correct)
0.6: Reasoning about Persistence: A Unified Principle for State Change - Zhang (1994) (Correct)
0.2: Reasoning About Actions in Prioritized Default Theory - Son, Pontelli (2002) (Correct)
Similar documents based on text: More All
0.6: Abductive Reasoning, Belief Expansion and Nonmonotonic.. - Maurice Pagnucco (Correct)
0.5: State Minimization Re-visited - Norman Foo Abhaya (Correct)
0.4: Entrenchment Kinematics 101 - Nayak, Foo, Pagnucco, Sattar (1994) (Correct)
BibTeX entry: (Update)
@misc{ foo-definitions,
author = "Norman Foo and Abhaya Nayak and Maurice Pagnucco",
title = "Definitions In Knowledge Sets",
url = "citeseer.ist.psu.edu/69327.html" }
Citations (may not include all citations):451 Circumscription - a Form of Non-monotonic Reasoning (context) - McCarthy - 1980
200 the Difference between Updating a Knowledge Base and Revisin.. - Katsuno, Mendelzon - 1991
199 Reasoning about Actions using a Possible Models Approach (context) - Winslett - 1988
151 Reasoning About Change (context) - Shoham - 1988
144 Knowledge in Flux (context) - Gardenfors - 1988
120 Investigations into a Theory of Knowledge Base Revision: Pre.. - Dalal - 1988
117 Features and Fluents (context) - Sandewall - 1994
87 Frames in the Space of Situations (context) - Lifschitz - 1990
75 Provably Correct Theories of Action - Lin, Shoham - 1991
56 How To Do Things With Worlds: On Formalizing Actions And Pla.. (context) - Brewka, Hertzberg - 1990
22 Actions with Indirect Effects (Preliminary Report - Kartha, Lifschitz - 1994
20 The Persistence of Derived Information (context) - Myers, Smith - 1988
6 The Implementation of a First-Order Logic AGM Belief Revisio.. - Dixon, Wobcke - 1993
4 Reasoning About Action (context) - Ginsberg, Smith - 1987
3 Mathematical Logic (context) - Shonfield - 1967
3 The Persistent Set Approach to Reasoning About Actions (context) - Zhang, Foo - 1993
3 Constraints and Updates - Zhang, Foo - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.su.oz.au.html): More
Searching a Solid Pseudo 3-Sided Orthoconvex Grid - Symvonis, Tragoudas (Correct)
Computing the Subset Partial Order: Progress and Open Problems.. - Pritchard (Correct)
Applying the Persistent Set Approach in Temporal Reasoning - Zhang, Foo (1994) (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