Truth Maintenance System (TMS)
GPTKB entity
Statements (42)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Artificial Intelligence concept
|
| gptkbp:abbreviation |
Truth Maintenance System
|
| gptkbp:category |
Knowledge representation
AI algorithms Logic systems Reasoning systems |
| gptkbp:component |
AI reasoning systems
|
| gptkbp:developedBy |
gptkb:Jon_Doyle
|
| gptkbp:documentedIn |
AAAI proceedings
Artificial Intelligence journals Jon Doyle's 1979 PhD thesis |
| gptkbp:enables |
Dynamic updating of beliefs
Efficient belief revision Explanation of reasoning steps |
| gptkbp:handles |
Belief dependencies
Contradictions in knowledge bases Truth maintenance |
| gptkbp:hasComponent |
Labels
Assumptions Nodes Dependency graphs Justifications Nogoods |
| https://www.w3.org/2000/01/rdf-schema#label |
Truth Maintenance System (TMS)
|
| gptkbp:influenced |
gptkb:Assumption-based_Truth_Maintenance_System_(ATMS)
Logic programming Constraint satisfaction Model-based diagnosis |
| gptkbp:introducedIn |
1979
|
| gptkbp:purpose |
Handle non-monotonic reasoning
Maintain consistency of beliefs |
| gptkbp:relatedTo |
gptkb:logic
Knowledge representation Belief revision Dependency-directed backtracking |
| gptkbp:type |
Assumption-based TMS
Justification-based TMS |
| gptkbp:usedIn |
gptkb:artificial_intelligence
gptkb:Expert_Systems gptkb:Automated_Reasoning |
| gptkbp:bfsParent |
gptkb:Assumption-based_Truth_Maintenance_System_(ATMS)
|
| gptkbp:bfsLayer |
7
|