Inverse verification of problem-solving methods

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 knowledge-based systems. In this paper, we present a method calledinverse verificationto deal with the context dependency of problem-solving methods.Inverse verificationinvestigates 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.

[1]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[2]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..

[3]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[4]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[5]  Stephen Muggleton,et al.  Machine Invention of First Order Predicates by Inverting Resolution , 1988, ML.

[6]  Dieter Fensel,et al.  Assumptions and Limitations of a Problem-Solving Method: A Case Study , 1995 .

[7]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[8]  Lucja Iwanska,et al.  Context in Knowledge Representation and Natural Language , 1998, AI Mag..

[9]  Sandra Marcus,et al.  VT: an expert elevator designer that uses K-B backtracking , 1988 .

[10]  Richard Benjamins,et al.  The role of assumptions in knowledge engineering , 1998, Int. J. Intell. Syst..

[11]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[12]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[13]  Kurt Stenzel,et al.  Reuse of Proofs in Software Verification , 1993, FSTTCS.

[14]  Dieter Fensel.  The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods , 1997, EKAW.

[15]  L. Steels,et al.  Problems in Indexing Problem Solving Methods , 1997 .

[16]  John McDermott,et al.  Usable and reusable programming constructs , 1991 .

[17]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[18]  Remco Straatman,et al.  A Performance Model for Knowledge-Based Systems , 1995, EUROVAV.

[19]  Kurt Stenzel,et al.  Three Selected Case Studies in Verification , 1995, KORSO Book.

[20]  Richard Benjamins,et al.  Remedying the Reusability-Usability Tradeoff for Problem-Solving Methods , 1996 .

[21]  Nigel Shadbolt,et al.  The Thin End of the Wedge: Efficiency and the Generalised Directive Model Methodology , 1996, EKAW.

[22]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[23]  Dieter Fensel,et al.  Conceptual and formal specifications of problem-solving mathods , 1996 .

[24]  Bob J. Wielinga,et al.  Steps in Constructing Problem Solving Methods , 1993, EKAW.

[25]  Egon Börger,et al.  Why Use Evolving Algebras for Hardware and Software Engineering? , 1995, SOFSEM.

[26]  Dieter Fensel,et al.  Specifying Knowledge-Based Systems with Reusable Components , 1997 .

[27]  Philip T. Cox,et al.  Causes for Events: Their Computation and Applications , 1986, CADE.

[28]  Douglas R. Smith.  Top-down synthesis of divide-and-conquer algorithms , 1986 .

[29]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[30]  Enrico Motta,et al.  Reusable components for knowledge modelling , 1998 .

[31]  A. T. Schreiber,et al.  A formal analysis of parametric design problem solving , 1995 .

[32]  V. Richard Benjamins,et al.  Structure-preserving knowledge-based system development through reusable libraries: a case study in diagnosis , 1997, Int. J. Hum. Comput. Stud..

[33]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[34]  Kenneth M. Ford,et al.  Expertise in context: personally constructed, socially selected and reality-relevant? , 1997 .

[35]  Robert Goldblatt,et al.  Axiomatising the Logic of Computer Programming , 1982, Lecture Notes in Computer Science.

[36]  Characterising Problem Solving Methods by Gradual Requirements: Overcoming the Yes/no Distinction , 1998 .

[37]  Oren Etzioni,et al.  Explanation-Based Learning: A Problem Solving Perspective , 1989, Artif. Intell..

[38]  Dieter Fensel,et al.  The role of assumptions in knowledge engineering , 1998 .

[39]  Douglas R. Smith,et al.  Toward a Classification Approach to Design , 1996, AMAST.

[40]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[41]  Shlomo Zilberstein,et al.  Using Anytime Algorithms in Intelligent Systems , 1996, AI Mag..

[42]  J. B. Wordsworth.  Software Engineering with B , 1996 .

[43]  Paul D. Bailor,et al.  Synthesis of local search algorithms by algebraic means , 1996, Proceedings of the 11th Knowledge-Based Software Engineering Conference.

[44]  Gary James Jason,et al.  The Logic of Scientific Discovery , 1988 .

[45]  Christine Golbreich,et al.  Assumptions of Problem-Solving Methods , 1996, EKAW.

[46]  Dieter Fensel,et al.  The essence of problem-solving methods: making assumptions to gain efficiency , 1998, Int. J. Hum. Comput. Stud..

[47]  John P. McDermott,et al.  VT: An Expert Elevator Designer That Uses Knowledge-Based Backtracking , 1988, AI Mag..

[48]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[49]  Shirley Dex,et al.  JR 旅客販売総合システム（マルス）における運用及び管理について , 1991 .

[50]  J. McCarthy,et al.  Formalizing Context (Expanded Notes) , 1994 .

[51]  A.C.M. ten Teije-Koppen.  Automated configuration of problem solving methods in diagnosis , 1997 .

[52]  William P. Birmingham,et al.  Editorial: the Sisyphus-VT initiative , 1996, Int. J. Hum. Comput. Stud..

[53]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[54]  Dieter Fensel,et al.  Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems , 1998, Data Knowl. Eng..

[55]  Dieter Fensel,et al.  Using Ontologies for Defining Tasks, Problem-Solving Methods and their Mappings , 1997, EKAW.

[56]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[57]  William J. Clancey,et al.  The knowledge level reinterpreted: Modeling socio‐technical systems , 1993, Int. J. Intell. Syst..

[58]  Baldev Sahai,et al.  The thin end of the wedge , 1995 .

[59]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[60]  K. Mani Chandy,et al.  Predicate Transformers for Reasoning about Concurrent Computation , 1995, Sci. Comput. Program..

[61]  Frank van Harmelen,et al.  (ML)2: A Formal Language for KADS Models , 1992, ECAI.