TESTing Planning Systems
Reichgelt, H. and Shadbolt, N. R. (1990) TESTing Planning Systems. , 1-7.
Download
Full text not available from this repository.
Description/Abstract
In this paper we introduce a system called TEST (Theory Extension Sepcification Tool) which allows one to construct functional specifications of AI planners. TEST Relies on an analysis of planning as theory extension. Theory extension is a non-deductive form of reasoning which attempts to add further assumptions to a system's knowledge base about the world. These asuumptions are new in the sense that they do not already logically follow from the system's knowledge. We do not conceive of planning and briefly describe the present implementation of TEST. We next show how the essential characteristics of various families of planner can be represented in our framework.
| Item Type: | Article |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 254180 |
| Date Deposited: | 15 Nov 2000 |
| Last Modified: | 02 Mar 2012 12:58 |
| Contributors: | Reichgelt, H. (Author) Shadbolt, N. R. (Author) |
| Date: | April 1990 |
| Status: | Published |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/254180 |
Actions (login required)
 |
View Item |
