Justification-based Truth Maintenance System (JTMS)
GPTKB entity
Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
truth maintenance system
|
| gptkbp:abbreviation |
JTMS
|
| gptkbp:category |
gptkb:artificial_intelligence
|
| gptkbp:component |
labels
nodes justifications support lists |
| gptkbp:developedBy |
gptkb:Jon_Doyle
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:knowledge_representation automated reasoning |
| https://www.w3.org/2000/01/rdf-schema#label |
Justification-based Truth Maintenance System (JTMS)
|
| gptkbp:influenced |
assumption-based truth maintenance system (ATMS)
reason maintenance system (RMS) |
| gptkbp:introducedIn |
1979
|
| gptkbp:notablePublication |
A Truth Maintenance System (Jon Doyle, 1979)
Truth Maintenance Systems (Jon Doyle, 1983) |
| gptkbp:purpose |
support non-monotonic reasoning
maintain consistency of beliefs |
| gptkbp:relatedTo |
assumption-based truth maintenance system (ATMS)
dependency-directed backtracking |
| gptkbp:supports |
belief revision
explanation generation contradiction detection |
| gptkbp:usedIn |
expert systems
problem solvers |
| gptkbp:bfsParent |
gptkb:Assumption-based_Truth_Maintenance_System_(ATMS)
|
| gptkbp:bfsLayer |
7
|