Nonmonotonic reasoning with multiple belief sets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 331-344

  Engelfriet, Joeri ^a   Herre, Heinrich ^b   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

Belief sets; Knowledge representation; Nonmonotonic inference

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

BELIEF SETS; FORMAL PROPERTIES; NON-MONOTONIC INFERENCE; NON-MONOTONIC REASONING; NONMONOTONIC; SELECTION OPERATORS; SELECTIVE INFERENCES;

KNOWLEDGE REPRESENTATION;

EID: 84947930138     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_83     Document Type: Conference Paper

References (26)

1. Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge, in: Minker, J. (ed), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988, pp. 89-142
2. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions; Journal of Symbolic Logic 50, 510-530 (1985)
3. Besnard, P.: An Introduction to Default Logic; Berlin, Springer-Verlag, 1989
4. Brewka, G.: Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, 1991
5. Brewka, G.: Adding Priorities and Specificity to Default Logic; in: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, JELIA’94, Springer Verlag, 1994
6. Dietrich, J.: Deductive Bases of Nonmonotonic Inference Operations: NTZ-Report, 7/94, University of Leipzig, 1994
7. Dietrich, J., H. Herre: Outline of Nonmonotonic Model Theory, NTZ-Report, 5/94, University of Leipzig, 1994
8. Engelfriet, J., H. Herre, J. Treur: Nonmonotonic Belief State Frames and Reasoning Frames, in: C. Froidevaux, J. Kohlas (eds.), Proc. ECSQARU’95, Lecture Notes in AI, vol. 946, Springer Verlag, 1995, pp. 189-196
9. Engelfriet, J., J. Treur: A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds), Proc. ECSQARU’93, Lecture Notes in Computer Science, vol. 747, Springer-Verlag, 1993, pp. 91-96
10. Engelfriet, J., J. Treur: Temporal Theories of Reasoning. In: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA’94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 279-299; Also in: Journal of Applied Non-Classical Logics, vol. 5 (2), 1995, pp. 239-261
11. Etherington, D.W.: A semantics for Default Logic, Proc. IJCAI-87, pp. 495-498; see also in: DAV. Etherington, Reasoning with Incomplete Information, Morgan Kaufmann, 1988
12. Gabbay, D.: Theoretical Foundations for Non-monotonic Reasoning in expert systems; in Apt, K. (ed.): Logic and Models of Concurrent Systems, Springer, Berlin, 1985
13. Grove, A.: Two modelings for theory change; Journal of Philosophical Logic 17, 157-170 (1988)
14. Herre, H.: Compactness Properties of nonmonotonic Inference Operations, In: C. MacNish, D. Pearce, L.M. Pereira (eds.) Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA’94, Lecture Notes in AI, vol. 838, Springer Verlag, pp. 19-33; Also in: Journal of Applied Non-Classical Logics, vol. 5, 1995, pp. 121-136 (Special Issue with selected papers from JELIA’94)
15. Konolidge, K.: Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning, in: Proceedings AAAI’88, Minneapolis, 1988
16. Lindström, S.: A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept, of Philosophy, Uppsala University, Preprint, 1991
17. Makinson, D.: General Patterns in Nonmonotonic Reasoning; in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Oxford Science Publications, 1994
18. Marek, V., M. Truszczyński: Nonmonotonic Logic, Springer-Verlag, 1993
19. Marek, V., J. Treur, M. Truszczyński: Representation Theory for Default Logic, Proc. Symposium on AI and Mathematics, 1996
20. Poole, D.: A logical Framework for Default Reasoning; Artificial Intelligence, 36: 27-47 (1988)
21. Popper, K.: The Logic of Scientific Discovery; Hutchinson, London, 1977, 9th edition.
22. Reiter, R.: A logic for default reasoning; A.I., vol. 13, 81-132, 1980
23. Shoham, Y.: Reasoning about Change; MIT-Press, Cambridge/USA, 1988
24. Tarski, A.: Logic, Semantics, Metamathematics. Papers from 1923-1938. Clarendon Press, Oxford, 1956
25. Tan, Y.H., J. Treur: Constructive Default Logic and the Control of Defeasible Reasoning; in: B. Neumann (ed.), Proc. ECAI’92, Wiley and Sons, 1992, pp. 299-303
26. Voorbraak, F.: Preference-based semantics for nonmonotonic logics, in: Bajcsy, R. (ed), Proc. IJCAI-93, Morgan Kaufmann, 1993, pp. 584-589