Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Collection
Years
  • 1
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 8 (1992), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: A truth maintenance system is a subsystem that manages the utilization of assumptions in the reasoning process of a problem solver. Doyle's original motivation for creating a truth maintenance system was to augment a reasoning system with a control strategy for activities concerning its nonmonotonic state of beliefs. Hitherto, much effort has been invested in designing and implementing the concept of truth maintenance, and little effort has been dedicated to the formalization that is essential to understanding it. This paper provides a complete formalization of the principle of truth maintenance. Motivated by Reiter and de Kleer's preliminary report on the same subject, this paper extends their study and gives a formal account of the concept of truth maintenance under the general title of assumption-based reasoning. The concept of assumption-based theory is defined, and the notions of explanation and direct consequence are presented as forms of plausible conclusions with respect to this theory. Additionally, the concepts of extension and irrefutable sentences are discussed together with other variations of explanation and direct consequence. A set of algorithms for computing these conclusions for a given theory are presented using the notion of prime implicates. Finally, an extended example on Boolean circuit diagnosis is shown to exemplify these ideas.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Oxford, UK : Blackwell Publishing Ltd
    Computational intelligence 9 (1993), S. 0 
    ISSN: 1467-8640
    Source: Blackwell Publishing Journal Backfiles 1879-2005
    Topics: Computer Science
    Notes: This paper provides an extension to the study of the clause management system (CMS) proposed by Reiter and de Kleer. The CMS is adapted specifically for aiding a reasoning system in explanations generation. The reasoning system transmits propositional formulae representing its knowledge to the CMS and in return, it requests the CMS for minimal and consistent explanations of a query with respect to the CMS knowledge base. The CMS knowledge base is represented by a set of prime implicates. The classification of implicates as minimal, prime, trivial, and minimal trivial is carefully examined. Similarly, the notion of a support for a clause including minimal, prime, trivial, and minimal trivial is also elaborated. The methods to compute these supports from implicates and a preference ordering scheme expressible by logical specificity for the set of supports for a given clause are also presented. The generalization of the notion of a minimal support for a conjunction of clauses is also shown. Finally, two logic-based diagnostic reasoning paradigms aided by the CMS are shown to exemplify the functionality of the CMS.
    Type of Medium: Electronic Resource
    Signatur Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...