See this document in CiteSeerX!

Definitions In Knowledge Sets  (Make Corrections)  
Norman Foo, Abhaya Nayak, Maurice Pagnucco



  Home/Search   Context   Related

 
View or download:
cs.su.oz.au/ksg/pa...ef_know_sets.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  fermivista.math...ftp.cs.su.oz.au (more)
(Enter author homepages)

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

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