Une étude du « raisonnement par approximation » de Schaerf et Cadoli

Revue d'Intelligence Artificielle

Volumn 11, Issue 4, 1997, Pages 449-461

  Kayser, Daniel ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

Expressiveness vs. efficiency; Heuristic problem solving; Propositional logic

Indexed keywords

EID: 0347492079     PISSN: 0992499X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (12)

1. e Journées du PRC-GDR Intelligence Artificielle, Marseille (oct. 1992), pp. 239-319.
2. Daniel COULON, Daniel KAYSER, Un système de raisonnement à profondeur variable, Actes du Congrès AFCET-Informatique, Nancy (nov.1980), pp. 517-527.
3. e ECAI, Budapest (août 1996), pp. 360-364.
4. Rina DECHTER, Enhancement schemes for Constraint Processing : backjumping, learning and cutset decomposition, Artificial Intelligence, vol. 41, no 3, janvier 1990, pp. 273-312.
5. e IJCAI, Sydney (août 1991), pp. 458-463.
6. Ronald FAGIN, Joseph Y. HALPERN, Belief, Awareness and Limited Reasoning, Artificial intelligence, vol. 34, no 1, décembre 1987, pp. 39-76.
7. Scott E. FAHLMAN, NETL-A System for Representing and Using Real-World Knowledge, MIT Press, 1979.
8. Henri FARRENY, Recherche heuristiquement ordonnée dans les graphes d'état, Masson, 1995.
9. e journées nationales du GRECO-PRC d'Intelligence Artificielle, Toulouse (14-15 mars 1988), Éditions Teknea, pp. 109-136.
10. Daniel KAYSER, Pascal FOSSE, Martine KAROUBI, Bernard LEVRAT, Lydia NICAUD, A Strategy for Reasoning in Natural Language, Applied Artificial Intelligence, vol. 1, 1987, pp. 205-231.
11. Marco SCHAERF, Marco CADOLI, Tractable Reasoning via Approximation, Artificial Intelligence vol. 74, no 2, avril 1995, pp. 249-310.
12. Annette ten TEIJE, Frank van HARMELEN, Using approximate entailment for diagnostic reasoning, Actes du Workshop on Advances in Propositional Deduction ECAI, Budapest (août 1996), pp. 45-52.