A Truth Maintenance System

To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is a problem solver subsystem for performing these functions by recording and maintaining the re...

Description complète

Détails bibliographiques
Auteur principal: Doyle, Jon
Langue:en_US
Publié: 2004
Accès en ligne:http://hdl.handle.net/1721.1/5733