Truth Maintenance Systems
Truth Maintenance Systems

Author: João P. Martins

Publisher: Springer Science & Business Media

Published: 1991-07-24

Total Pages: 196

ISBN-13: 9783540543053

DOWNLOAD EBOOK

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.

A Beginner's Guide to Belief Revision and Truth Maintenance Systems
A Beginner's Guide to Belief Revision and Truth Maintenance Systems

Author: National Aeronautics and Space Administration (NASA)

Publisher: Createspace Independent Publishing Platform

Published: 2018-08-09

Total Pages: 36

ISBN-13: 9781724973900

DOWNLOAD EBOOK

This brief note is intended to familiarize the non-TMS audience with some of the basic ideas surrounding classic TMS's (truth maintenance systems), namely the justification-based TMS and the assumption-based TMS. Topics of further interest include the relation between non-monotonic logics and TMS's, efficiency and search issues, complexity concerns, as well as the variety of TMS systems that have surfaced in the past decade or so. These include probabilistic-based TMS systems, fuzzy TMS systems, tri-valued belief systems, and so on. Mason, Cindy L. Ames Research Center NASA-TM-108117, FIA-92-33, NAS 1.15:108117 ...

Truth maintenance systems for problem solving
Truth maintenance systems for problem solving

Author: Jon Doyle

Publisher:

Published: 1978

Total Pages: 31

ISBN-13:

DOWNLOAD EBOOK

The thesis developed in this paper is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to: (1) maintain the consistency of program beliefs; (2) realize substantial search efficiencies; and (3) automatically summarize explanations of program beliefs. This report describes techniques for representing, recording, maintaining, and using justifications for beliefs. Also presented is an annotated implementation of a domain-independent program.