HTab: A Terminating Tableaux System for Hybrid Logic

Guillaume Hoffmann 1 Carlos Areces 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Hybrid logic is a formalism that is closely related to both modal logic and description logic. A variety of proof mechanisms for hybrid logic exist, but the only widely available implemented proof system, HyLoRes, is based on the resolution method. An alternative to resolution is the tableaux method, already widely used for both modal and description logics. Tableaux algorithms have also been developed for a number of hybrid logics, and the goal of the present work is to implement one of them. In this article we present the implementation of a terminating tableaux algorithm for the basic hybrid logic. The performance of the tableaux algorithm is compared with the performances of HyLoRes and HyLoTab (a system based on a different tableaux algorithm). HTab is implemented in the functional language Haskell, using the Glasgow Haskell Compiler (GHC). The code is released under the GNU GPL and can be downloaded from http://hylo.loria.fr/intohylo/htab.php
Type de document :
Communication dans un congrès
Methods for Modalities 5, Nov 2007, Cachan, France. 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00187300
Contributeur : Guillaume Hoffmann <>
Soumis le : mercredi 14 novembre 2007 - 11:41:45
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35
Document(s) archivé(s) le : lundi 24 septembre 2012 - 15:25:41

Fichier

htabM4M.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00187300, version 1

Collections

Citation

Guillaume Hoffmann, Carlos Areces. HTab: A Terminating Tableaux System for Hybrid Logic. Methods for Modalities 5, Nov 2007, Cachan, France. 2007. 〈inria-00187300〉

Partager

Métriques

Consultations de la notice

229

Téléchargements de fichiers

123