Une utilisation non monotone du calcul propositionnel clas - Laurent ...
Une utilisation non monotone du calcul propositionnel clas - Laurent ...
Une utilisation non monotone du calcul propositionnel clas - Laurent ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
propositional <strong>calcul</strong>us, Revue d’intelligence artificielle, vol 6, n°3/1992, p<br />
235 à 253<br />
[Brachman et al. 85] Ronald J. Brachman, James G. Schmolze : An Overview of the KL-ONE<br />
Knowledge Representation System, Cognitive Science 9, 171-216 (1985)<br />
[Buchheit et al. 93] Martin Buchheit, Francesco M. Donini, Andrea Schaerf : Decidable<br />
Reasoning in Terminological Knowledge Representation Systems, proceedings<br />
IJCAI 1993<br />
[Console et al. 91] Luca Console, Daniele Theseider Dupre, Pietro Torasso : On the Relationship<br />
Between Ab<strong>du</strong>ction and De<strong>du</strong>ction, J. Logic Computat., Vol 1 N°. 5, pp<br />
661-690, 1991<br />
[Craddock 93] A.J. Craddock : Common Sense Retrieval, proceedings IJCAI 93 pp<br />
661-666, 1993<br />
[de Kleer et al. 90] Johan de Kleer, Alan K. Mackworth, Raymond Reiter : Characterizing<br />
Diagnoses, proceedings AAI 90, 324-330, 1990<br />
[Dubois et al. 93] Didier Dubois, Henri Prade : Possibilistic logic, preferential models, <strong>non</strong><br />
monotonicity and related isues, proceedings IJCAI 93 pp 419-424, 1993<br />
[Edelson 93]<br />
Daniel C Edelson : When should a cheetah remind you of a bat? Reminding<br />
in Case Based Teaching, proceedings AAAI 93, pp 67-672, 1993<br />
[Golding et al. 91] Andrew R. Golding, Paul R. Rosenbloom : Improving ruled based systems<br />
through case based reasoning, proceedings AAAI 91, pp 22-27, 1991<br />
[Henocque 95] <strong>Laurent</strong> Henocque : <strong>Une</strong> approche <strong>du</strong> raisonnement de sens commun en<br />
<strong>calcul</strong> <strong>propositionnel</strong>, rapport de recherche n°114, Laboratoire d’Infomatique<br />
de Marseille, Marseille Mai 1995.<br />
[Jeannicot et al. 88] Serge Jeannicot, <strong>Laurent</strong> Oxusoff, Antoine Rauzy : Evaluation sémantique :<br />
une propriété de coupure pour rendre efficace la procé<strong>du</strong>re de davis et<br />
Putnam, Revue d’Intelligence Artificielle, 2 41-60, 1988<br />
[Jones]<br />
Eric K. Jones : Model Based Case Adaptation<br />
[Kass et al. 88] Alex M. Kass, David B. Leake : Cased Based Reasoning applied to<br />
constructing Explanations, proceedings of the case based<br />
[Kraus et al. 92] Sarit Kraus, Daniel Lehmann, Menachem Magidor : Nonmonotonic<br />
Reasoning, Preferential Models, and Cumulative Logics, Artificial Intelligence<br />
44 (1990) , pp 167-207, Elsevier<br />
[Kyburg 83]<br />
Henry E. Kyburg Jr. : The Reference Class, Philosophy of Science, vol 50, pp<br />
374-387, 1983<br />
[Lehmann et al. 92] Daniel Lehmann, Menachem Magidor : What does a conditional knowledge<br />
base entail?, Artificial Intelligence 55 (1992), pp 1-60 Elsevier<br />
[Levesque 89] Hector J. Levesque : A Knowledge level Account of ab<strong>du</strong>ction<br />
[McCarthy 80] J. Mc Carthy : Circumscription : a form of <strong>non</strong> monotonic reasoning, Artificial<br />
Intelligence 13, 27-39, 1980<br />
[McCarthy 86] J. Mc Carthy : Applications of Circumscription to formalizing Commonsense<br />
knowledge, Artificial Intelligence 28, 89-116, 1986<br />
[McDermott 82] D. Mc Dermott, Nonmonotonic Logic II : Nonmonotonic Modal Theories,<br />
Journal of the Ass. for Comp. Mach., Vol 29, N° 1, pp 33-57, January 1982