Reason maintenance is a knowledge representation approach to efficient handling of inferred information that is explicitly stored. Reason maintenance distinguishes between base facts, which can be defeated , and derived facts. As such it differs from belief revision which, in its basic form, assumes that all facts are equally important. Reason maintenance was originally developed as a technique for implementing problem solvers. It encompasses a variety of techniques that share a common architecture: two components—a reasoner and a reason maintenance system—communicate with each other via an interface. The reasoner uses the reason maintenance system to record its inferences and justifications of ("reasons" for) the inferences. The reasoner also informs the reason maintenance system which are the currently valid base facts (assumptions). The reason maintenance system uses the information to compute the truth value of the stored derived facts and to restore consistency if an inconsistency is derived.
19-478: [REDACTED] Look up TMS in Wiktionary, the free dictionary. TMS may refer to: Broadcasting [ edit ] TMS (entertainment data) , data provider Test Match Special , BBC cricket coverage This Movie Sucks! , a Canadian TV show on bad movies That Metal Show , a US TV talk show Media [ edit ] Tokyo Motor Show ,
38-502: A Canadian TV show on bad movies That Metal Show , a US TV talk show Media [ edit ] Tokyo Motor Show , a biennial auto show in Japan Hobby of Model Railroading (Japanese: 鉄道模型趣味 , romanized: Tetsudō Mokei Shumi ), a Japanese magazine on railway modelling Organizations [ edit ] The Minerals, Metals & Materials Society , a professional organization Texas Memory Systems ,
57-1087: A Japanese animation studio Toronto Montessori Schools , Richmond Hill, Ontario, Canada Toyota Motor Sales, U.S.A., Inc. Tramway Museum Society , the operators of the United Kingdom's National Tramway Museum Trinity Mathematical Society , UK TMS (production team) , an English songwriting and record team The Micropalaeontological Society Schools [ edit ] Tech Music School , London, UK Temasek Secondary School , Bedok, Singapore The Master's Seminary , Sun Valley, California, US Tyrrell Middle School , Wolcott, Connecticut, US People [ edit ] T. M. Soundararajan (1922–2013), an Indian singer Places [ edit ] São Tomé International Airport , IATA code Tuen Mun South station , Hong Kong; MTR station code Science and medicine [ edit ] Chemistry [ edit ] Tetramethylsilane , an organosilicon chemical compound Trimethylsilanol , an organosilicon chemical compound Trimethylsilyl ,
76-415: A biennial auto show in Japan Hobby of Model Railroading (Japanese: 鉄道模型趣味 , romanized: Tetsudō Mokei Shumi ), a Japanese magazine on railway modelling Organizations [ edit ] The Minerals, Metals & Materials Society , a professional organization Texas Memory Systems , a manufacturer of solid-state drives TMS Entertainment ; formerly Tokyo Movie Shinsha Co., Ltd.;
95-478: 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. de Kleer's assumption-based truth maintenance system (ATMS, 1986) was utilized in systems based upon KEE on the Lisp Machine . The first multi-agent TMS
114-460: A functional group in chemistry Tricaine methanesulfonate or tricaine mesylate , an anesthetic for fish Medicine and psychology [ edit ] Tension myositis syndrome , a medical condition causing pain Total motile spermatozoa , in semen analysis Transcranial magnetic stimulation in neuroscience Tandem mass spectrometry , to analyse biomolecules Truth maintenance system ,
133-412: A functional group in chemistry Tricaine methanesulfonate or tricaine mesylate , an anesthetic for fish Medicine and psychology [ edit ] Tension myositis syndrome , a medical condition causing pain Total motile spermatozoa , in semen analysis Transcranial magnetic stimulation in neuroscience Tandem mass spectrometry , to analyse biomolecules Truth maintenance system ,
152-810: A knowledge representation method Sports [ edit ] Texas Motor Speedway , Fort Worth, Texas, US TMS Ringsted , a Danish handball club Technology [ edit ] Tape management system , for computer backups Tile Map Service , a standard for downloading maps Traffic management system Training management system Translation management system , translation software application Transport management system , managing software updates of SAP (STMS) Transportation management system , logistics software application Treasury management system , financial software application Other uses [ edit ] Tesla Model S , battery electric luxury executive car " Subways of Your Mind ", formerly referred to as "The Most Mysterious Song on
171-810: A knowledge representation method Sports [ edit ] Texas Motor Speedway , Fort Worth, Texas, US TMS Ringsted , a Danish handball club Technology [ edit ] Tape management system , for computer backups Tile Map Service , a standard for downloading maps Traffic management system Training management system Translation management system , translation software application Transport management system , managing software updates of SAP (STMS) Transportation management system , logistics software application Treasury management system , financial software application Other uses [ edit ] Tesla Model S , battery electric luxury executive car " Subways of Your Mind ", formerly referred to as "The Most Mysterious Song on
190-1125: A manufacturer of solid-state drives TMS Entertainment ; formerly Tokyo Movie Shinsha Co., Ltd.; a Japanese animation studio Toronto Montessori Schools , Richmond Hill, Ontario, Canada Toyota Motor Sales, U.S.A., Inc. Tramway Museum Society , the operators of the United Kingdom's National Tramway Museum Trinity Mathematical Society , UK TMS (production team) , an English songwriting and record team The Micropalaeontological Society Schools [ edit ] Tech Music School , London, UK Temasek Secondary School , Bedok, Singapore The Master's Seminary , Sun Valley, California, US Tyrrell Middle School , Wolcott, Connecticut, US People [ edit ] T. M. Soundararajan (1922–2013), an Indian singer Places [ edit ] São Tomé International Airport , IATA code Tuen Mun South station , Hong Kong; MTR station code Science and medicine [ edit ] Chemistry [ edit ] Tetramethylsilane , an organosilicon chemical compound Trimethylsilanol , an organosilicon chemical compound Trimethylsilyl ,
209-411: A node. They are: Many kinds of truth maintenance systems exist. Two major types are single-context and multi-context truth maintenance. In single context systems, consistency is maintained among all facts in memory (KB) and relates to the notion of consistency found in classical logic . Multi-context systems support paraconsistency by allowing consistency to be relevant to a subset of facts in memory,
SECTION 10
#1732772504079228-405: Is different from Wikidata All article disambiguation pages All disambiguation pages TMS [REDACTED] Look up TMS in Wiktionary, the free dictionary. TMS may refer to: Broadcasting [ edit ] TMS (entertainment data) , data provider Test Match Special , BBC cricket coverage This Movie Sucks! ,
247-400: Is different from Wikidata All article disambiguation pages All disambiguation pages Truth maintenance system A truth maintenance system , or TMS , is a knowledge representation method for representing both beliefs and their dependencies and an algorithm called the "truth maintenance algorithm" that manipulates and maintains the dependencies. The name truth maintenance
266-450: Is due to the ability of these systems to restore consistency. A truth maintenance system maintains consistency between old believed knowledge and current believed knowledge in the knowledge base (KB) through revision. If the current believed statements contradict the knowledge in the KB, then the KB is updated with the new knowledge. It may happen that the same data will again be believed, and
285-401: The inference engine (IE) aware of its current belief set. Each statement having at least one valid justification is made a part of the current belief set. When a contradiction is found, the statement(s) responsible for the contradiction are identified and the records are appropriately updated. This process is called dependency-directed backtracking. The TMS algorithm maintains the records in
304-599: The Internet" and commonly abbreviated to TMS (The Mysterious Song) Topics referred to by the same term [REDACTED] This disambiguation page lists articles associated with the title TMS . If an internal link led you here, you may wish to change the link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=TMS&oldid=1256893691 " Category : Disambiguation pages Hidden categories: Articles containing Japanese-language text Short description
323-543: The Internet" and commonly abbreviated to TMS (The Mysterious Song) Topics referred to by the same term [REDACTED] This disambiguation page lists articles associated with the title TMS . If an internal link led you here, you may wish to change the link to point directly to the intended article. Retrieved from " https://en.wikipedia.org/w/index.php?title=TMS&oldid=1256893691 " Category : Disambiguation pages Hidden categories: Articles containing Japanese-language text Short description
342-456: The form of a dependency network. Each node in the network is an entry in the KB (a premise, antecedent, or inference rule etc.) Each arc of the network represent the inference steps through which the node was derived. A premise is a fundamental belief which is assumed to be true. They do not need justifications. The set of premises are the basis from which justifications for all other nodes will be derived. There are two types of justification for
361-403: The previous knowledge will be required in the KB. If the previous data are not present, but may be required for new inference. But if the previous knowledge was in the KB, then no retracing of the same knowledge is needed. The use of TMS avoids such retracing; it keeps track of the contradictory data with the help of a dependency record. This record reflects the retractions and additions which makes
#78921