Author: David F. McAllisterPublisher:
ISBN:
Category :
Languages : en
Pages : 126
Book Description
Truth Maintenance Systems
Author: David F. McAllisterTruth Maintenance Systems
Author: Joao P. MartinsPublisher:
ISBN: 9783662204542
Category :
Languages : en
Pages : 194
Book Description
Truth Maintenance Systems
Author: João P. MartinsPublisher: Springer Science & Business Media
ISBN: 9783540543053
Category : Computers
Languages : en
Pages : 196
Book Description
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.
Truth Maintenance Systems
Author: David MacAllesterPublisher:
ISBN: 9780929280110
Category : Artificial intelligence
Languages : en
Pages : 125
Book Description
Truth maintenance systems
Author: Johan De KleerPublisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 375
Book Description
A Beginner's Guide to Belief Revision and Truth Maintenance Systems
Author: National Aeronautics and Space Administration (NASA)Publisher: Createspace Independent Publishing Platform
ISBN: 9781724973900
Category :
Languages : en
Pages : 36
Book Description
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
Author: Johan DeKleerPublisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 375
Book Description
Reason Maintenance Systems and Their Applications
Author: Barbara SmithPublisher:
ISBN:
Category : Computers
Languages : en
Pages : 184
Book Description
Truth maintenance systems for problem solving
Author: Jon DoylePublisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 31
Book Description
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.
Author: Erwin Brisbanuharto