TESTing Planning Systems
TESTing Planning Systems
In this paper we introduce a system called TEST (Theory Extension Specification 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 assumptions 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.
1-7
Reichgelt, H.
563d1f9c-a2ec-4e94-b513-12884d1a6393
Shadbolt, N. R.
5c5acdf4-ad42-49b6-81fe-e9db58c2caf7
April 1990
Reichgelt, H.
563d1f9c-a2ec-4e94-b513-12884d1a6393
Shadbolt, N. R.
5c5acdf4-ad42-49b6-81fe-e9db58c2caf7
Reichgelt, H. and Shadbolt, N. R.
(1990)
TESTing Planning Systems.
Author's Original, .
Abstract
In this paper we introduce a system called TEST (Theory Extension Specification 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 assumptions 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.
This record has no associated files available for download.
More information
Published date: April 1990
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 254180
URI: http://eprints.soton.ac.uk/id/eprint/254180
PURE UUID: 46c93a53-5708-46d5-8522-934043a755e2
Catalogue record
Date deposited: 15 Nov 2000
Last modified: 10 Dec 2021 20:36
Export record
Contributors
Author:
H. Reichgelt
Author:
N. R. Shadbolt
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics