(6) Development of Abductive Logic Programming Systems

Abstract

Proposal (In Japanese)

Intermediate Report (In Japanese)

Final Report (In Japanese)

This Project in FY1995

[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 ${\cal 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]