X-tra as a toolbox for truth maintenance

François Charpillet (1) , Pierre Marquis (1) , Jean-Paul Haton (1)

1 SYCO - Basic Models and Applications of Perceptive and Cognitive Processes

X-TRA is a development tool for knowledge-based systems. It integrates a toolbox for truth maintenance based on both TMS and ATMS techniques. In this paper we present facilities provided in X-TRA for the truth maintenance task.

Domaines: Autre [cs.OH]

François Charpillet, Pierre Marquis, Jean-Paul Haton. X-tra as a toolbox for truth maintenance. [Research Report] RR-1456, INRIA. 1991, pp.9. ⟨inria-00075105⟩