Concept Type and Coreference in Simple Conceptual Graphs

Michel Chein 1 Marie-Laure Mugnier 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : This paper tackles the question of representing and reasoning with types and coreference in simple conceptual graphs (SGs). It presents a framework integrating a number of previous works. This proposal is guided by the usability of CGs in practice. In other words, notions should be easy to use in knowledge representation and operations for doing reasoning have to be efficiently realizable. We propose to use conjunctive concept types, which are conjunctions of primitive types. The conjunctive concept type set is defined by means of a primitive type set and a set of banned conjunctive types. For efficiency reasons our framework is based on projection. However it has been shown that projection is complete (w.r.t. logical deduction) only when SGs are in normal form. In some situations the original form of the SGs has to be kept; we thus define an extension of projection, called coref-projection, which is complete for SGs of any form. Coref-projection is in particular suitable for frameworks where it is not assumed that coreferent nodes are mergeable.
Type de document :
Communication dans un congrès
Wolff K.E.; Pfeiffer H.D.; Delugach H.S. ICCS: International Conference on Conceptual Structures, Jul 2004, Huntsville, United States. Springer-Verlag, 12h International Conference on Conceptual Structures, LNCS (3127), pp.303-318, 2004, Conceptual Structures at Work. 〈10.1007/978-3-540-27769-9_20〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00108891
Contributeur : Christine Carvalho de Matos <>
Soumis le : lundi 23 octobre 2006 - 12:57:09
Dernière modification le : jeudi 24 mai 2018 - 15:59:21

Identifiants

Collections

Citation

Michel Chein, Marie-Laure Mugnier. Concept Type and Coreference in Simple Conceptual Graphs. Wolff K.E.; Pfeiffer H.D.; Delugach H.S. ICCS: International Conference on Conceptual Structures, Jul 2004, Huntsville, United States. Springer-Verlag, 12h International Conference on Conceptual Structures, LNCS (3127), pp.303-318, 2004, Conceptual Structures at Work. 〈10.1007/978-3-540-27769-9_20〉. 〈lirmm-00108891〉

Partager

Métriques

Consultations de la notice

178