A truth maintenance system☆
References (64)
- et al.
Non-monotonic logic I
MIT AI Lab., Memo 486
(1978) Integrating truth maintenance systems with propagation of strength of belief as a means of addressing the fusion problem
MIT AI Lab., draft proposal
(1978)List processing in real time on a serial computer
C. ACM
(April 1978)How a computer should think
Chess as problem solving: The development of a tactics analyzer
(1974)- et al.
Artificial Intelligence Programming
(1979) On knowing what to say: Planning speech acts
Department of Computer Science, University of Toronto, TR-118
(1978)Simulations of belief systems
Deduction plans: A graphical proof procedure for the first-order predicate calculus
Department of Computer Science, University of Waterloo, Research Report CS-77-28
(1977)State deltas: A formalism for representing segments of computation
University of Southern California, Information Sciences Institute, RR-77-61
(1977)
Local methods for localization of failures in electronic circuits
MIT AI Lab, Memo 394
Causal and teleological reasoning in circuit recognition
Explicit control of reasoning
et al.MIT AI Lab, Memo 427
Propagation of constraints applied to circuit synthesis
MIT AI Lab, Memo 485
How to change your mind
The use of dependency relationships in the control of reasoning
MIT AI Lab, Working Paper 133
Truth maintenance systems for problem solving
MIT AI Lab, TR-419
Reflexive interpreters
MIT Department of Electrical Engineering and Computer Science, Ph.D. proposal
netl: A System for Representing and Using Real World Knowledge
Deductive retrieval mechanisms for state description models
Plausible inference: A multi-valued logic for problem solving
Jet Propulsion Laboratory, Pasadena, CA, Report 79-11
The problem of counterfactual conditionals
The frame problem and related problems in artificial intelligence
A representation for robot plans
Knowledge and Belief
Logical analysis of programs
C. ACM
A note on deduction rules with negative premises
Une application de l'intelligence artificielle a la conception assistée par ordinateur (tropic)
Université Scientifique et Médicale de Grenôble, Thesis D.Sc. Mathematiques
Failure processing in a system for designing complex assemblies
Counterfactuals
Dependency networks as a representation for modelling in general problem solvers
Department of Computer Science University of Maryland, TR-698
A three-valued truth maintenance system
MIT AI Lab., Memo 473
Cited by (1062)
A primer on artificial intelligence in plant digital phenomics: embarking on the data to insights journey
2023, Trends in Plant ScienceCitation Excerpt :The system made use of a set of decision rules that were coded, categorized, and hand-entered into it to give advice and explain the reasons behind its predictions [78]. In 1979, Jon Doyle introduced the truth maintenance system (TMS), an independent module that constructs explanations of predictions by recording and maintaining a representation of the knowledge acquired by an expert system [79]. TMS research and development continued until the 1990s, when researchers began to study the possibility of extracting meaningful explanations from non-hand-coded rules that are generated by trained models such as NNs [80].
A decision support system for urban infrastructure inter-asset management employing domain ontologies and qualitative uncertainty-based reasoning
2020, Expert Systems with ApplicationsManaging caching strategies for stream reasoning with reinforcement learning
2020, Theory and Practice of Logic ProgrammingIntegrated Systems for Computational Scientific Discovery
2024, Proceedings of the AAAI Conference on Artificial IntelligenceTRANSCENDING TO NOTIONS
2024, arXivOn the study of acceptability in weighted argumentation frameworks through four-state labelling semantics
2023, Journal of Logic and Computation
- ☆
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the Laboratory's artificial research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract number N00014-75-C-0643, and in part by NSF grant MCS77-04828.