Simon Dixon, Norman Foo  Home/Search
Context Related
| flinders.edu.au/People/Simon_...ai92.ps www2.ai.univie.ac.at/~simo...ai92.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: flinders.edu.au/People/Simon_D... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Implementations of logical reasoning systems are invariably based on the foundational theory of justification. The AGM logic is based on the coherence theory and the principle of minimal change, but this presents difficulties in its implementation. We show that both the foundational and coherence styles of reasoning are necessary for practical reasoning and that both can be achieved in the AGM logic by choosing particular epistemic entrenchment orderings. We also describe the limitations which... (Update)
Context of citations to this paper: More
.... E is a consistent environment and a b then a ES (b,E) E ATMS b) E a ) ATMS b) Lemmas 1 and 2 are proved in [Dixon and Foo, 1992a] 5.3 Proof of Theorem 1 Initial case Before any operations are performed, E = In this case, E ATMS a (B,a) J such...
Cited by: More
Connections Between the ATMS and AGM Belief Revision - Dixon, Foo (1993) (Correct)
Active bibliography (related documents): More All
0.7: Order Effects in Human Belief Revision - Wang (1998) (Correct)
0.6: Encoding The ATMS In AGM Logic (Revised) - Dixon, Foo (Correct)
0.3: A Finite Base Belief Revision System - Dixon (1993) (Correct)
Similar documents based on text: More All
0.4: Entrenchment and Retractability: A Preliminary Report - Nayak, Pagnucco, Foo, Kwok (1995) (Correct)
0.3: A Foundationalist View of the AGM Theory of Belief Change - Bochman (1998) (Correct)
0.3: Computing Belief Revision - Berendt, Smaill (Correct)
BibTeX entry: (Update)
Dixon, S. and Foo N. (1992) Beyond Foundational Reasoning, Proc. 5th Australian Joint Conf. on Artificial Intelligence, World Scientific. http://citeseer.ist.psu.edu/dixon92beyond.html More
@misc{ dixon92beyond,
author = "S. Dixon and N. Foo",
title = "Beyond Foundational Reasoning",
text = "Dixon, S. and Foo N. (1992) Beyond Foundational Reasoning, Proc. 5th Australian
Joint Conf. on Artificial Intelligence, World Scientific.",
year = "1992",
url = "citeseer.ist.psu.edu/dixon92beyond.html" }
Citations (may not include all citations):334 A Truth Maintenance System (context) - Doyle - 1979
188 Knowledge in Flux: Modeling the Dynamics of Epistemic States (context) - Gardenfors - 1988
132 An Assumption-Based TMS (context) - de Kleer - 1986
31 Explanatory Coherence (context) - Thagard - 1989
29 Change In View (context) - Harman - 1986
6 Essays on Knowledge and Justification (context) - Pappas, Swain - 1978
5 The Raft and the Pyramid: Coherence versus Foundations in th.. (context) - Sosa - 1980
3 Encoding the ATMS in AGM Logic (context) - Dixon, Foo - 1992
2 Foundational versus Nonfoundational Theories of Empirical Ju.. (context) - Cornman - 1977
2 first draft) The Dynamics of Belief Systems: Foundations vs (context) - Gardenfors - 1989
Documents on the same site (http://www.cs.flinders.edu.au/People/Simon_Dixon/): More
Connections Between the ATMS and AGM Belief Revision - Dixon, Foo (1993) (Correct)
A Dynamic Modelling Approach to Music Recognition - Dixon (1996) (Correct)
Encoding The ATMS In AGM Logic (Revised) - Dixon, Foo (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