𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Inverse verification of problem-solving methods

✍ Scribed by DIETER FENSEL; ARNO SCH Ö

Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
395 KB
Volume
49
Category
Article
ISSN
1071-5819

No coin nor oath required. For personal study only.

✦ Synopsis

Context dependency of knowledge models brings with it several problems: the unreliability of knowledge-based systems, maintenance costs and limitations on sharing and reuse. Problem-solving methods are knowledge models of the reasoning process of knowledgebased systems. In this paper, we present a method called inverse verification to deal with the context dependency of problem-solving methods. Inverse verification investigates the context dependency of a method by making underlying assumptions explicit. It uses failed proof attempts as a search method for assumptions and an analysis of these failures for constructing and refining assumptions.

📜 SIMILAR VOLUMES

A comparison of different methods to sol
A comparison of different methods to solve inverse biharmonic boundary value problems
✍ A. Zeb; L. Elliott; D. B. Ingham; D. Lesnic 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 161 KB 👁 2 views

The Boundary Element Method (BEM) is applied to solve numerically some inverse boundary value problems associated to the biharmonic equation which involve over-and under-speci"ed boundary portions of the solution domain. The resulting ill-conditioned system of linear equations is solved using the re

NOSER: An algorithm for solving the inve
NOSER: An algorithm for solving the inverse conductivity problem
✍ M. Cheney; D. Isaacson; J. C. Newell; S. Simske; J. Goble 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 885 KB

The inverse conductivity problem is the mathematical problem that must be solved in order for electrical impedance tomography systems to be able to make images. Here we show how this inverse conductivity problem is related to a number of other inverse problems. We then explain the workings of an alg

Using explicit ontologies to create prob
Using explicit ontologies to create problem solving methods
✍ Chantal Reynaud; Françoise Tort 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 486 KB

This article describes a tool called ASTREE , based on an ontology-driven approach . ASTREE has been designed to automate the construction of an application-specific model of problem-solving behaviour in cases where skeletal models cannot be reused . In ASTREE , the construction of a problem-solvin