Une utilisation non monotone du calcul propositionnel clas - Laurent ...

More documents

Recommendations

Info

propositional calculus, Revue d’intelligence artificielle, vol 6, n°3/1992, p 235 à 253 [Brachman et al. 85] Ronald J. Brachman, James G. Schmolze : An Overview of the KL-ONE Knowledge Representation System, Cognitive Science 9, 171-216 (1985) [Buchheit et al. 93] Martin Buchheit, Francesco M. Donini, Andrea Schaerf : Decidable Reasoning in Terminological Knowledge Representation Systems, proceedings IJCAI 1993 [Console et al. 91] Luca Console, Daniele Theseider Dupre, Pietro Torasso : On the Relationship Between Abduction and Deduction, J. Logic Computat., Vol 1 N°. 5, pp 661-690, 1991 [Craddock 93] A.J. Craddock : Common Sense Retrieval, proceedings IJCAI 93 pp 661-666, 1993 [de Kleer et al. 90] Johan de Kleer, Alan K. Mackworth, Raymond Reiter : Characterizing Diagnoses, proceedings AAI 90, 324-330, 1990 [Dubois et al. 93] Didier Dubois, Henri Prade : Possibilistic logic, preferential models, non monotonicity and related isues, proceedings IJCAI 93 pp 419-424, 1993 [Edelson 93] Daniel C Edelson : When should a cheetah remind you of a bat? Reminding in Case Based Teaching, proceedings AAAI 93, pp 67-672, 1993 [Golding et al. 91] Andrew R. Golding, Paul R. Rosenbloom : Improving ruled based systems through case based reasoning, proceedings AAAI 91, pp 22-27, 1991 [Henocque 95] Laurent Henocque : Une approche du raisonnement de sens commun en calcul propositionnel, rapport de recherche n°114, Laboratoire d’Infomatique de Marseille, Marseille Mai 1995. [Jeannicot et al. 88] Serge Jeannicot, Laurent Oxusoff, Antoine Rauzy : Evaluation sémantique : une propriété de coupure pour rendre efficace la procédure de davis et Putnam, Revue d’Intelligence Artificielle, 2 41-60, 1988 [Jones] Eric K. Jones : Model Based Case Adaptation [Kass et al. 88] Alex M. Kass, David B. Leake : Cased Based Reasoning applied to constructing Explanations, proceedings of the case based [Kraus et al. 92] Sarit Kraus, Daniel Lehmann, Menachem Magidor : Nonmonotonic Reasoning, Preferential Models, and Cumulative Logics, Artificial Intelligence 44 (1990) , pp 167-207, Elsevier [Kyburg 83] Henry E. Kyburg Jr. : The Reference Class, Philosophy of Science, vol 50, pp 374-387, 1983 [Lehmann et al. 92] Daniel Lehmann, Menachem Magidor : What does a conditional knowledge base entail?, Artificial Intelligence 55 (1992), pp 1-60 Elsevier [Levesque 89] Hector J. Levesque : A Knowledge level Account of abduction [McCarthy 80] J. Mc Carthy : Circumscription : a form of non monotonic reasoning, Artificial Intelligence 13, 27-39, 1980 [McCarthy 86] J. Mc Carthy : Applications of Circumscription to formalizing Commonsense knowledge, Artificial Intelligence 28, 89-116, 1986 [McDermott 82] D. Mc Dermott, Nonmonotonic Logic II : Nonmonotonic Modal Theories, Journal of the Ass. for Comp. Mach., Vol 29, N° 1, pp 33-57, January 1982
[Mellish et al. 93] Chris Mellish, Ehud Reiter : Using classification as a programming language, proceedings IJCAI 93 pp 696-701 [Ohlbach 93] Hans J. Ohlbach, Franz Baader : A Multi-dimensional Terminological Knowledge Representation Language, proceedings IJCAI 1993 [Padgham et al. 93A] Lin Padgham, Bernhard Nebel : Combining Classification and Nonmonotonic Inheritance Reasoning : a first step, in Methodologies for int. Sytems, ISMI 93, J. Koworowski eds, pp 132-141 [Padgham et al. 93B] Lin Padgham, Tingting Zhang : A Terminological Logic with Defaults : a Definition and an Application, proceedings IJCAI 1993 [Reiter 80] R. Reiter : A Logic for Default Reasoning, Artificial Intelligence 13 (1980) 81-132 [Reiter 87] R. Reiter : A Theory of Diagnosis from First Principles, Artificial Intelligence 32 (1987) 57-95 [Rychlik 90] Piotr Rychlik, The Generalized Theory of Model Preference (Preliminary Report), proceedings AAAI 90, pp 615-620, 1990 [Schwind et al. 94] Camilla Schwind, Pierre Siegel, A Modal Logic for Hypothesis Theory, Fundamenta Informaticae vol 21, n° 1.2, July-August 1994, pp 89-102. [Siegel et al. 93] Pierre Siegel, Camilla Schwind : Modal Based Theory for non monotonic reasoning, in Journal of Applied non classical Logics. Vol 3 n°1/1993, pp 73-92 [Straccia 93] Umberto Straccia : Default Inheritance Reasoning in Hybrid KL-One style Logics, proceedings IJCAI 1993
Page 1 and 2: Une utilisation non monotone du cal
Page 3 and 4: l’héritage avec exceptions. La d
Page 5 and 6: ψ 1 ⏐− noir ⇒(aigle ∧ oise
Page 7 and 8: de démonstrateurs automatiques), m
Page 9 and 10: Définition : ∀ ψ ∈ BL, ∀ C
Page 11 and 12: ⏐~ψ,C,⏐A(C)⏐ inférence "abd
Page 13 and 14: ⏐~C,0 oiseau ⏐~C,1 autruche, ¬
Page 15: 6. Conclusion et Perspectives de re

Une utilisation non monotone du calcul propositionnel clas - Laurent ...

Create successful ePaper yourself

Delete template?

Save as template?