Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Truth Maintenance System

Chapter 153
Encyclopedia of Artificial Intelligence
A knowledge representation method for representing both beliefs and their dependencies. The name truth maintenance is due to the ability of these systems to restore consistency. There are two major truth maintenance systems: single-context and multi-context truth maintenance. In single context systems, consistency is maintained among all facts in memory (database). Multi-context systems allow consistency to be relevant to a subset of facts in memory (a context) according to the history of logical inference. This is achieved by tagging each fact or deduction with its logical history. Multi-agent truth maintenance systems perform truth maintenance across multiple memories, often located on different machines
Published in Chapter:
Managing Uncertainties in Interactive Systems
Qiyang Chen (Montclair State University, USA) and John Wang (Montclair State University, USA)
Copyright: © 2009 |Pages: 6
DOI: 10.4018/978-1-59904-849-9.ch153
Abstract
To adapt users’ input and tasks an interactive system must be able to establish a set of assumptions about users’ profiles and task characteristics, which is often referred as user models. However, to develop a user model an interactive system needs to analyze users’ input and recognize the tasks and the ultimate goals users trying to achieve, which may involve a great deal of uncertainties. In this chapter the approaches for handling uncertainty are reviewed and analyzed. The purpose is to provide an analytical overview and perspective concerning the major methods that have been proposed to cope with uncertainties.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR