(6) Development of Action Language Systems

[Software Features]

As a method of reasoning about action domains, there are high-level action languages. These languages are simple and declarative, and can represent changes of states by executing action. We are proposing here a new action language, which is capable of representing non-deterministic actions and static constraints by extending the language A proposed by Gelfond and Lifschitz. We are also considering a translation of descriptions in our action language into extended disjunctive logic programs. Using these techniques, we implemented the action language system, called Action-MGTP, on top of our abductive logic programming (ALP) system. The ALP system is a reasoning system for logic programs which contains Negation As Failure (NAF), classical negation, disjunction, and abducible literals. It is based on bottom-up, incremental, backtrack-free computation of the minimal models for disjunctive programs using a model generation theorem prover (MGTP). Furthermore, to make the action system more efficient, we improve the efficiency of our ALP system by introducing negative clauses to compute negation as failure. The experimental results with some action domains show that our action system has a good performance.

[Required Environment]

Prolog on UNIX Workstation. The software is tested for running in SICStus Prolog v.2.1#9 on SunOS 4.1.3.

[File Configuration]

The expanded directory has the following directories and files:

1. Readme-E Abstract (in English)

2. Readme-J Abstract (in Japanese)

3. advertise.txt Brief introduction of Action-MGTP (in Japanese)

4. copyright.txt Copyright owner of Action-MGTP (in Japanese)

5. function.txt Main features of Action-MGTP (in Japanese)

6. image.txt Image of users of Action-MGTP (in Japanese)

7. manual/ Directory containing Technical Report and Manual

8. publication.txt Papers describing Action-MGTP (in Japanese)

9. source/ Directory containing software and examples

[Others]

There has been no English manual for Action-MGTP. If you are interested in using Action-MGTP, please contact the copyright owner:

Katsumi Inoue

Department of Electrical and Electronics Engineering

Kobe University

Rokkodai-cho, Nada-ku, Kobe 657, Japan

Email: inoue@eedept.kobe-u.ac.jp

Phone: +81 78 803 1079

Fax: +81 78 881 3193

[FTP]

• README
• Program and Documents in Japanese [119.2K]