Accession Number : ADA293628

Title :   Knowledge Representation and Reasoning for Mixed-Initiative Planning.

Descriptive Note : Technical rept.,

Corporate Author : ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE

Personal Author(s) : Ferguson, George M.

PDF Url : ADA293628

Report Date : JAN 1995

Pagination or Media Count : 197

Abstract : This dissertation describes the formal foundations and implementation of a common sense, mixed-initiative plan reasoning system. By plan reasoning I mean the complete range of cognitive tasks that people perform with plans including, for example, plan construction (planning), plan recognition, plan evaluation and comparison, and plan repair (replanning), among other things. Mixed-initiative means that several participants can each make contributions to the plan under development through some form of communication. Common sense means that the system represents plans and their constituents at a level that is natural to us in the sense that they can be described and discussed in language. In addition, the reasoning that the system performs includes those conclusions that we would take to be sanctioned by common sense, including especially those conclusions that are defeasible given additional knowledge or time spent reasoning. The main theses of this dissertation are the following: Any representation of plans sufficient for common sense plan reasoning must be based on an expressive and natural representation of such underlying phenomena as time, properties, events, and actions. For mixed-initiative planning, plans should be viewed as arguments that a certain course of action under certain conditions will achieve certain goals. (AN)

Descriptors :   *REASONING, *KNOWLEDGE BASED SYSTEMS, ALGORITHMS, SCENARIOS, DATA MANAGEMENT, TIME DEPENDENCE, COMPARISON, COMPUTER LOGIC, COMPUTER PROGRAMMING, LEARNING MACHINES, PROBLEM SOLVING, PLANNING, PATTERN RECOGNITION, ARTIFICIAL INTELLIGENCE, SYSTEMS ANALYSIS, CONTROL THEORY, NATURAL LANGUAGE.

Subject Categories : Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE