Default conceptual graph rules, atomic negation and Tic-Tac-Toe

Jean-François Baget 1, 2 Jérôme Fortin 2
2 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
Abstract : In this paper, we explore the expressivity of default CG rules (a CG-oriented subset of Reiter's default logics) through two applications. In the first one, we show that default CG rules provide a unifying framework for CG rules as well as polarized CGs (CGs with atomic negation). This framework allows us to study decidable subclasses of a new language mixing CG rules with atomic negation. In the second application, we use default CG rules as a formalism to model a game, an application seldom explored by the CG community. This model puts into light the conciseness provided by defaults, as well as the possibilities they offer to achieve efficient reasonings.
Type de document :
Communication dans un congrès
Madalina Croitoru; Sebastien Ferré; Dickson Lukose. ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. Springer, 18th International Conference on Conceptual Structures, LNAI (6208), pp.42-55, 2010, From Information to Intelligence. 〈http://www.mimos.my/iccs2010/〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00537338
Contributeur : Jean-François Baget <>
Soumis le : jeudi 18 novembre 2010 - 11:54:22
Dernière modification le : jeudi 24 mai 2018 - 15:59:22
Document(s) archivé(s) le : samedi 19 février 2011 - 02:59:59

Fichier

tictactoe.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : lirmm-00537338, version 1

Citation

Jean-François Baget, Jérôme Fortin. Default conceptual graph rules, atomic negation and Tic-Tac-Toe. Madalina Croitoru; Sebastien Ferré; Dickson Lukose. ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. Springer, 18th International Conference on Conceptual Structures, LNAI (6208), pp.42-55, 2010, From Information to Intelligence. 〈http://www.mimos.my/iccs2010/〉. 〈lirmm-00537338〉

Partager

Métriques

Consultations de la notice

718

Téléchargements de fichiers

392