AITEC Contract Research Projects in FY1997:Intermediate Report

(12) Anytime Hypothetical Reasoning

Principal Investigator : Dr. Aditya Kumar Ghose, Professor
University of Wollongong, Australia


Title of the Research Project, Principal Investigator
(1) Title of the Research Project
Anytime Hypothetical Reasoning

(2) Principal Investigator
Dr. Aditya Kumar Ghose, Professor
University of Wollongong, Australia

Contents
CURRENT PROGRESS ON PROJECT:
Progress has been made in the following three areas:

* Theoretical basis: Our efforts have focused on further elucidating the theoretical basis of default abstraction - a prerequisite for the implementation of abstraction-based strategies in Anytime THEORIST.

* Implementation: The implementation of Anytime THEORIST has been initiated and is proceeding well.

* Development of real-world test-bed: In parallel with the implementation effort that constitutes part of this project, progress has been made on a formal web query/information retrieval language that permits the robust specification of complex queries. The implementation of this querying/retrieval system would rely on the Anytime THEORIST system being developed for the this project and would thus serve as a useful test-bed for conducting realistic experiments. Preliminary studies are also being conducted on using a real-time constraint-based scheduling system that relies on partial constraint satisfaction techniques as a test-bed, exploiting our earlier work on translations between partial constraint satisfaction problems and hypothetical reasoning.

PLANNED SCHEDULE TILL FEBRUARY 1998:
Further work on default abstractions:
December 1997.
Further work on real-world test-beds:
December 1997.
Anytime THEORIST implementation completed:
February 1998.
Code, documentation and user manual of Anytime THEORIST delivered:
February 1998.

SOFTWARE DELIVERABLE BY FEBRUARY 1998
A complete prototype implementation of Anytime THEORIST, with the functionality described in the original proposal.


www-admin@icot.or.jp