AITEC Contract Research Projects in FY1997 : Software

(16) COPLAS: a COnditional PLAnner with Sensing actions

Principal Investigator : Jorge Lobo, Associate Professor
Department of EECS, University of Illinois at Chicago

COPLAS

[Software Functions]

COPLAS is domain independent, logic programming-based planner for action domain descriptions written in a language similar to the action description language "A" of Gelfond and Lifschitz. The planner is able to generate conditional plans from domains with sensing actions. The domain can also describe actions with non-deterministic effects. An action can cause the lost of knowledge if its effect is non-deterministic. The planer can also handle a limited class of ramification constrains in the form of axioms and actions with universally quantified effects. Plans generated with COPLAS may be conditional, i.e. if-then-else constructors can be part of a plan.

[Necessary Environments]

COPLAS is written in Sicstus prolog version 3. It has been tested in a Ultra 1 station running Solaris System 2.5.1. Although the planner has not been tested in other platforms it should work in any system running Sicstus 3.

[Quantity of the software and file configuration]

In the release you will find a compressed tar file with the following
files in it:


Readme-E:                Describing the structure of the directory.

planner.pl:              The prolog source code for the planner.

blocksdomain.pl,
briefcasedomain.pl,
montlake.pl,
travel.pl:               Four sample domains to test the planner.

manual.txt:              User's manual.

use-of-software-E:       Conditions for using the software.

[FTP]

www-admin@icot.or.jp