Knowledge-level analysis of belief base operations

Artificial Intelligence

Volumn 82, Issue 1-2, 1996, Pages 215-235

  Hansson, Sven Ove ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER SIMULATION; DATA STRUCTURES; INFORMATION SCIENCE;

BELIEF BASE OPERATIONS; KNOWLEDGE LEVEL ANALYSIS;

KNOWLEDGE BASED SYSTEMS;

EID: 0030120628     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00005-4     Document Type: Article

References (25)

1. C.E. Alchourrón, P. Gärdenfors and D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
2. C.E. Alchourrón and D. Makinson, Hierarchies of regulation and their logic, in: Hilpinen, ed., New Studies in Deontic Logic (Reidel, Dordrecht, Netherlands, 1981) 125-148.
3. C.E. Alchourrón and D. Makinson, On the logic of theory change: contraction functions and their associated revision functions, Theoria 48 (1982) 14-37.
4. R.J. Brachman and H.J. Levesque, What makes a knowledge base knowledgeable? A view of databases from the knowledge level, in: Kerschberg, ed., Expert Database Systems, Proceedings from the First International Workshop (Benjamin/Cummings, 1986) 69-78.
5. A. Fuhrmann, Theory contraction through base contraction, J. Philos. Logic 20 (1991) 175-203.
6. P. Gärdenfors, An epistemic approach to conditionals, Am. Philos. Q. 18 (1981) 203-211.
7. P. Gärdenfors, The dynamics of belief systems: foundations vs. coherence theories, Revue Int. Philos. 44 (1990) 24-46.
8. P. Gärdenfors and D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in: Proceedings Second Conference on Theoretical Aspects of Reasoning about Knowledge (1988) 83-95.
9. P. Gärdenfors and H. Rott, Belief revision, in: Handbook of Logic in AI and Logic Programming (to appear).
10. S.O. Hansson, New operators for theory change, Theoria 55 (1989) 114-132.
11. S.O. Hansson, Belief contraction without recovery, Studio Logica 50 (1991) 251-260.
12. S.O. Hansson, A dyadic representation of belief, in: P. Gärdenfors, ed., Belief Revision (Cambridge University Press, Cambridge, 1992) 89-121.
13. S.O. Hansson, Similarity semantics and minimal changes of belief, Erkenntnis 37 (1992) 401-429.
14. S.O. Hansson, Changes on disjunctively closed bases, J. Logic Language Inform. 2 (1993) 255-284.
15. S.O. Hansson, Kernel contraction, J. Symbolic Logic 59 (1994) 845-859.
16. S.O. Hansson, Reversing the Levi identity, J. Philos. Logic 22 (1993) 637-669.
17. S.O. Hansson, Theory contraction and base contraction unified, J. Symbolic Logic 58 (1993) 602-625.
18. S. Lindström and W. Rabinowicz, Epistemic entrenchment with incomparabilities and relational belief revision, in: A. Fuhrmann, ed., The Logic of Theory Change (Springer-Verlag, Berlin, 1991) 93-126.
19. I. Levi, Subjunctives, dispositions and chances, Synthese 34 (1977) 423-455.
20. I. Levi, The Fixation of Belief and Its Undoing (Cambridge University Press, Cambridge, 1991).
21. D. Makinson, On the status of the postulate of recovery in the logic of theory change, J. Philos. Logic 16 (1987) 383-394.
22. J.P. Martins and S.C. Shapiro, A model for belief revision, Artif. Intell. 35 (1988) 25-79.
23. A. Newell, The knowledge level, Artif. Intell. 18 (1982) 87-127.
24. R. Niederée, Multiple contraction. A further case against Gärdenfors's principle of recovery, in: A. Fuhrmann, ed., The Logic of Theory Change (Springer-Verlag, Berlin, 1991) 322-334.
25. A. Sen, Collective Choice and Social Welfare (Holden-Day, San Francisco, CA, 1970).