The QAT: A Qualitative Algebra Toolkit - Archive ouverte HAL Access content directly
Conference Papers Year : 2006

The QAT: A Qualitative Algebra Toolkit

Abstract

Representing and reasoning about spatial and temporal information is an important task in many applications of Artificial Intelligence. In the past two decades numerous formalisms have been proposed for representing and reasoning about time and space using qualitative constraints. In the first part of this paper we propose and study a general definition of such formalisms by considering calculi based on basic relations of an arbitrary arity. In a second part we describe the QAT (Qualitative Algebra Toolkit), a JAVA constraint programming library allowing to handle constraint networks based on those qualitative calculi. The main motivation of this work stems from the fact that most software tools dealing with qualitative calculi have only been implemented for specific qualitative calculi.
Fichier principal
Vignette du fichier
icttaConf.pdf (133.14 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01434027 , version 1 (13-01-2017)

Identifiers

Cite

Jean-François Condotta, Gérard Ligozat, Mahmoud Saade. The QAT: A Qualitative Algebra Toolkit. 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩. ⟨hal-01434027⟩
96 View
154 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More