The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #662

Title:Proof Planning: a Methodology for Developing Ai Systems Involving Design
Date:Nov 1993
Presented:Prov. accepted for publication in EDAM Special Issue on Methodology
Abstract:If we can express a domain theory in a logical formalism and formulate a task in that domain in mathematical terms, then this greatly facilitates the task of building sound knowledge based systems. However, it is not immediately obvious how the design aspects of such tasks, where these are an important feature of problem-solving, can be incorporated in this approach. We have used a methodology based on the development of proof plans. The ability to conduct our research according to the Popperian framework of hypothesis, validation, testing, and modification in response to empirical evidence - the hypothetico-deductive approach - seems essential to any rigorous scientific endeavour. Proof planning, we believe, is a method which readily exploits this inherently incrementalist approach, and could prove a powerful tool in designing AI systems.

[Search These Pages] [DAI Home Page] [Comment]