AITEC Contract Research Projects in FY1997:Intermediate Report |
Principal Investigator : | Dr. Aditya Kumar Ghose, Professor |
University of Wollongong, Australia |
* 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.