Statics and dynamics of induced systems

Artificial Intelligence

Volumn 110, Issue 1, 1999, Pages 103-134

  Freund, Michael ^a  

^a UNIVERSITÉ D'ORLÉANS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; EXPERT SYSTEMS; INFERENCE ENGINES; LINGUISTICS;

CONDITIONAL REVISION; FULL MEET BASE REVISION; NONMONOTONIC REASONING; PREFERENTIAL RELATIONS; RATIONALITY; RATIONALIZATION; STRATIFICATION;

KNOWLEDGE BASED SYSTEMS;

EID: 0033130771     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00020-X     Document Type: Article

References (17)

1. [1] C.E. Alchourron, P. Gärdenfors, D. Makinson, On the logic of theory change: partial meet contraction and revision functions, J. Symbolic Logic 50 (1985) 510-530.
2. [2] C.E. Alchourron, D. Makinson, On the logic of theory change, contraction functions and their associated revision functions, Theoria 48 (1982) 14-37.
3. [3] M. Freund, Injective models and disjunctive relations, J. Logic Comput. 3 (3) (1993) 231-247.
4. [4] M. Freund, Preferential reasoning in the perspective of Poole default logic, Artificial Intelligence 98 (1998) 209-235.
5. [5] M. Freund, Full meet revision on stratified base, submitted.
6. [6] N. Friedmann, J.Y. Halpern, Belief revision: A critique, in: Proc. 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), 1996, pp. 421-431.
7. [7] P. Gärdenfors, D. Makinson, Relations between the logic of theory change and nonmonotonic logic, in: A. Fuhrmann, M. Morreau (Eds.), The Logic of Theory Change, Lecture Notes in Computer Science, Vol. 465, Springer, Berlin, 1990.
8. [8] P. Gärdenfors, D. Makinson, Nonmonotonic inferences based on expectations, Artificial Intelligence 65 (1994) 197-245.
9. [9] P. Gärdenfors, H. Rott, Belief revision, in: D. Gabbaye (Ed.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 4, Clarendon Press, Oxford, 1995, pp. 35-132.
10. [10] A. Grove, Two modellings for theory change, J. Philos. Logic 17 (1988) 157-170.
11. [11] S. Kraus, D. Lehmann, M. Magidor, Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
12. [12] D. Lehmann, M. Magidor, What does a conditional base entail?, Artificial Intelligence 55 (1992) 1-60.
13. [13] D. Makinson, General patterns in nonmonotonic reasoning, in: D. Gabbaye, Hogger, Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning, Oxford University Press, Oxford, 1994, pp. 35-110.
14. [14] D. Poole, A logical framework for default reasoning, Artificial Intelligence 36 (1998) 27-47.
15. [15] D. Poole, Default logic, in: D. Gabbaye, Hogger, Robinson (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning, Oxford University Press, Oxford, 1994.
16. [16] R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
17. [17] Y. Shoham, A semantical approach to nonmonotonic logics, in: Proc. Logics in Computer Science, Ithaca, NY, 1987, pp. 275-279.