Simon Dixon and Wayne Wobcke Knowledge Systems Group Basser Department of...  Home/Search
Context Related
Links: DBLP | ai.univie.ac.at/~simon/...ieeetai.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: ai.univie.ac.at/~simon/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Belief revision is increasingly being seen as central to a number of fundamental problems in Artificial Intelligence such as nonmonotonic reasoning, reasoning about action, truth maintenance and database update. This paper describes the first implementation of an AGM belief revision system. The system is based on classical firstorder logic, and for any finitely representable belief state, it efficiently computes expansions, contractions and revisions satisfying the AGM postulates for rational... (Update)
Context of citations to this paper: More
.... KM [KM91] postulates are now widely accepted as rational ways to change theories, and (b) computational versions of AGM are available [WI94, DW93] and easy to use. Definitions are of interest because they appear frequently in knowledge representation as a result of abstraction....
...to finite base revision analogous to the AGM entrenchment and revision relationships for closed theories. Dixon and Wobcke [Dixon and Wobcke, 1993] implemented a version of the Williams scheme in part of their AGM program. Doyle indicated that both the AGM logic and...
Cited by: More
First-Order Belief Revision - Chopra, Martin (Correct)
Reasoning about Beliefs: An Inference Network Approach - Low (1994) (Correct)
Learning as Knowledge Integration - Murray (1995) (Correct)
Active bibliography (related documents): More All
0.5: Connections Between the ATMS and AGM Belief Revision - Dixon, Foo (1993) (Correct)
0.5: Reasoning about Persistence: A Unified Principle for State Change - Zhang (1994) (Correct)
0.3: The Role of Abductive Reasoning within the Process of Belief.. - Pagnucco (1996) (Correct)
Similar documents based on text: More All
0.4: A Finite Base Belief Revision System - Dixon (1993) (Correct)
0.3: Encoding The ATMS In AGM Logic (Revised) - Dixon, Foo (Correct)
0.2: Beyond Foundational Reasoning - Dixon, Foo (1992) (Correct)
Related documents from co-citation: More All
4: Reasoning about action using a possible models approach (context) - Winslett - 1988
3: Constraints and updates - Foo, Zhang - 1994
3: The persistence of derived information (context) - Myers, Smith - 1988
BibTeX entry: (Update)
S. E. Dixon and W. Wobcke. The implementation of a first-order logic AGM belief revision system. In Proceedings of the Fifth IEEE International Conference on Tools in Artificial Intelligence, 1993. http://citeseer.ist.psu.edu/dixon93implementation.html More
@inproceedings{ dixonimplementation,
author = "S. Dixon and W. Wobcke",
title = "The Implementation of a First-Order Logic {AGM} Belief Revision System",
pages = "40--47",
url = "citeseer.ist.psu.edu/dixon93implementation.html" }
Citations (may not include all citations):309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973 ACM
253 A Logical Framework for Default Reasoning (context) - Poole - 1988 ACM DBLP
188 Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988
114 Ordinal Conditional Functions: A Dynamic Theory of Epistemic.. (context) - Spohn - 1988
78 Revisions of Knowledge Systems Using Epistemic Entrenchment (context) - Gardenfors, Makinson - 1988 ACM DBLP
77 the Logic of Theory Change: Partial Meet Contraction and Rev.. (context) - Alchourron, Gardenfors et al. - 1985
72 Belief Revision and Default Reasoning: Syntax-Based Approach.. - Nebel - 1991 DBLP
6 the Use of Epistemic Entrenchment in Reasoning about Action (context) - Peppas, Wobcke - 1992
5 Belief Revision and Nonmonotonic Logic: Two Sides of the Sam.. (context) - Gardenfors - 1990
4 the Use of Epistemic Entrenchment in Nonmonotonic Reasoning (context) - Wobcke - 1992
3 Connections Between the ATMS and AGM Belief Revision - Dixon, Foo - 1993 DBLP
3 Two Operators for Theory Base Change (context) - Williams - 1992
3 Nonmonotonic Inferences Based on Expectations: A Preliminary.. (context) - Gardenfors - 1991 DBLP
2 A Finite Base Belief Revision System - Dixon - 1993
1 Nonmonotonic Reasoning: Foundations of Common Sense (context) - Brewka - 1991
1 Events as Theory Operators (context) - Peppas, Foo et al. - 1991
1 A Belief Revision Approach to Nonmonotonic Reasoning (context) - Wobcke - 1992
Documents on the same site (http://www.ai.univie.ac.at/~simon/): More
An Interactive Beat Tracking and Visualisation System - Simon Dixon Austrian (2001) (Correct)
Automatic Extraction of Tempo and Beat from Expressive Performances - Dixon (2001) (Correct)
An Empirical Comparison of Tempo Trackers - Dixon (2001) (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