✦ LIBER ✦

A rational reconstruction of nonmonotonic truth maintenance systems

✍ Scribed by Charles Elkan

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 792 KB
Volume: 43
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(90)90086-f

No coin nor oath required. For personal study only.

✦ Synopsis

The main contribution of this paper is a precise characterization of the inferences performed by nonmonotonic truth maintenance systems ( TMSs), using two standard nonmonotonic formalisms: logic programming with the stable set semantics and autoepistemic logic. The paper also contains an analysis of the role of dependency-directed backtracking in dealing with contradictions, and a proof that implementing a nonmonotonic TMS is an NP-complete problem.

📜 SIMILAR VOLUMES

Conformational analysis using a truth ma

Conformational analysis using a truth maintenance system

✍ Timothy Koschmann; James P. Snyder; Peter Johnson; Thom Grace; Martha W. Evens 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Multiple context planning within a truth

Multiple context planning within a truth-maintenance system

✍ A.D. Bray; C.J. Hinde; P.J. Herbert; D.M. Temple; D. Round 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 762 KB

The paper demonstrates the feasibility of planning using the properties of operations available in a factory, without the explicit statement of the relationships between these operations being required. This approach allows the generation of plans to be broken down into sub-problems which can be per

A rational system for organizing the mai

A rational system for organizing the maintenance of medical instrumentation

✍ L. Ya. Kots; O. Ya. Lemberg 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 244 KB

A compositional reasoning system for exe

A compositional reasoning system for executing nonmonotonic theories of reasoning

✍ J. Engelfriet; J. Treur 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 209 KB

In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be e

Forced oscillations of a system with non

Forced oscillations of a system with nonmonotonic discontinuous characteristic friction

✍ N. P. Plakhtienko 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 481 KB

A nonmonotone smoothing-type algorithm f

A nonmonotone smoothing-type algorithm for solving a system of equalities and inequalities

✍ Ying Zhang; Zheng-Hai Huang 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 684 KB

In this paper, we investigate a smoothing-type algorithm with a nonmonotone line search for solving a system of equalities and inequalities. We prove that the nonmonotone algorithm is globally and locally superlinearly convergent under suitable assumptions. The preliminary numerical results are repo