منابع مشابه
A generic ATMS
The main aim of this paper is to create a general Truth Maintenance System based on the De Kleer 5] algorithm. This kind of system is to be designed so that it can be used in diierent propositional monotonic logic models of reasoning systems. The knowledge base system that will interact with it is described. Furthermore, we study the eeciency that transferring ATMS to a logic with several truth...
متن کاملNORTH- HOLLAND A Generic ATMS*
The main aim of this paper is to create a general truth maintenance system based on the De Kleer algorithm. This system (the ATMS) is to be designed so that it can be used in different propositional monotonic logic models of reasoning systems. The knowledge base system that will interact with it is described. Furthermore, we study the efficiency that transferring the ATMS to a logic with severa...
متن کاملA Probabilistic Atms
Truth maintenance systems (TMS) provide a method of improving the e ciency of search during problem solving. The problem solver uses the TMS to record the reasons that facts are derivable so that facts need not be rederived during the course of the search. De Kleer's Assumption Based Truth Maintenance system (ATMS) [deKleer 86] overcomes the limitations of many earlier systems, such as not bein...
متن کاملA Correct Non-Monotonic ATMS
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these problems. Doyle's TMS handles exceptions properly, but gets in trouble with non-monotonic odd or even loops. On the other hand, de Kleer's ATMS produces too many contexts if there are exceptions of exceptions. Therefore,...
متن کاملIntroducing ATMs in India: a contextual inquiry
This paper presents a method and results of an ethnographic study aimed at building an understanding of Automatic Teller Machine (ATM) adoption in Mumbai, India. The study combined field observations and semi-structured interviews ðN 1⁄4 43Þ of early ATM adopters, bank customers who do not use ATMs, and people who used the ATM for the first time as part of our research. Data were analysed to id...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 1996
ISSN: 0888-613X
DOI: 10.1016/0888-613x(95)00118-z