Assumption-based Truth Maintenance System (ATMS)

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf truth maintenance system
gptkbp:abbreviation gptkb:ATMS
gptkbp:application automated reasoning
expert systems
constraint satisfaction problems
gptkbp:developedBy gptkb:Jon_Doyle
gptkbp:field gptkb:artificial_intelligence
gptkb:knowledge_representation
gptkbp:hasConcept environments
assumptions
nogoods
https://www.w3.org/2000/01/rdf-schema#label Assumption-based Truth Maintenance System (ATMS)
gptkbp:introducedIn 1979
gptkbp:purpose manage dependencies between beliefs
support non-monotonic reasoning
gptkbp:relatedTo gptkb:Justification-based_Truth_Maintenance_System_(JTMS)
gptkb:Truth_Maintenance_System_(TMS)
gptkbp:bfsParent gptkb:Johan_de_Kleer
gptkbp:bfsLayer 6