X-tra as a toolbox for truth maintenanceReport as inadecuate




X-tra as a toolbox for truth maintenance - Download this document for free, or read online. Document in PDF available to download.

1 SYCO - Basic Models and Applications of Perceptive and Cognitive Processes INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Abstract : 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.





Author: Fran├žois Charpillet - Pierre Marquis - Jean-Paul Haton -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents