Study and formalization of a case-based reasoning system using a description logic

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

Volumn 1488, Issue , 1998, Pages 286-297

  Salotti, Sylvie ^a   Ventos, Véronique ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; FORMAL LOGIC; RECONFIGURABLE HARDWARE;

CASE BASE; CASE BASED REASONING SYSTEMS; CASE RETRIEVAL; CASE SELECTIONS; CONCEPT CLASSIFICATION; DESCRIPTION LOGIC; PARTIAL ORDER; SIMILAR CASE;

CASE BASED REASONING;

EID: 77955351070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0056341     Document Type: Conference Paper

References (14)

1. Howard W. Beck. A conceptual clustering algorithm for semantic data models. In International Workshop on Terminological Logics, Document D-91-13, pages 17-22, SchloBDagstuhl, Germany, 1991.
2. A. Borgida and P. F. Patel-Schneider. Complete algorithm for subsumption in the CLASSIC description logic. Artificial Intelligence Research, 1:278-308, 1994.
3. R.J. Brachman. A structural paradigm for representing knowledge. Technical Report 3605, BBN Report, 1978.
4. W. W. Cohen, A. Borg-ida, and H. Hirsh. Computing least common subsumers in description logics. In lOth National Conference of the American Association for Artificial Intelligence, pages 754-760, San Jose, California, 1992.
5. R. Dionne, E. Mays, and F.J. Oles. The equivalence of model-theoretic and structural subsumption in description logics. In 13th International Joint Conference on Artificial Intelligence, pages 710-716, Chambéry, France, 1993.
6. G. Kamp. Using description logics for knowledge intensive case-based reasoning. In Springer-Verlag, editor, Advances in Case-Based Reasoning, Third European Workshop on Case-Based Reasoning, EWCBR'96, volume 1168 of Lecture Notes in Artificial Intelligence, pages 204-218. I. Smith and B. Faltings, 1996.
7. J. Koehler. An application of terminological logics to case-based reasoning. In Principles of Knowledge Representation and Reasoning, Proc. of 5th International Conference, pages 351-362, Bonn, Germany, 1994.
8. J. Koehler. Planning from second principles. Artificial Intelligence, (87):145-186, 1996.
9. A. Napoli, J. Lieber, and R. Curien. Classification-based problem-solving in casebased reasoning. In Springer-Verlag, editor, Advances in Case-Based Reasoning, Third European Workshop on Case-Based Reasoning, EWCBR'96, volume 1168 of Lecture Notes in Artificial Intelligence, pages 295-307. Smith and B. Faltings, 1996.
10. E. Plaza. Cases as terms: A feature term approach to the structured representation of cases. In Springer-Verlag, editor, Case-Based Reasoning, Research and Development, First International Conference on Case-Based Reasoning, ICCBR'95, volume 1010 of Lecture Notes in Artificial Intelligence, pages 265-275. M. Veloso and A. Aamodt, 1995.
11. S. Salotti and V. Ventos. Etude et formalisation d'un système de raisonnement & partir de cas dans une logique de descriptions. In Actes Journdes Ingdnierie des Connaissances Acquisition Apprentissage, JICAA97, pages 629-642, Roscoff, France, 1997.
12. S. Salotti and V. Ventos. Une approche formelle du raisonnement & partir de cas dans une logique de descriptions. Revue d'Intelligence Artificielle (to appear), 1998.
13. Î. In Proceedings of the International Workshop in Description Logics 96, pages 192-196, Boston, USA, 1996.
14. Î: une logique de descriptions pour la ddfinition et l' apprentissage de concepts avec ddfauts et exceptions. PhD thesis, Université Paris- Nord, France, 1997.