Research on Introspective Systems.
Abstract
A longer term project involves the creation of facilities for the compilation of MRS programs. Work on this has begun, and proto-compilers have been written to handle the process of drawing inference by either backward or forward chaining. More theoretical research is under way to investigate the possibility of automatically determining at compile time which of these two methods is the most effective for a specific application. Issues of runtime control have also been studied. Attention in this area has been focused primarily on the problem of recursive inference; reasonably effective methods have been developed and implemented for dealing with this. General research has also been undertaken with regard to the presentation of the results of an Al program, be it MRS in particular or a more general problem. Standards have been developed whereby the power and expressiveness of competing presentation languages may be evaluated. Other theoretical work completed during the past six months has been an investigation of the connections between McCarthy's circumscription and the other paradigms for non-monotonic reasoning, and the development of strategies and protocols for distributing deduction between several large processors. With an eye toward an eventual development of a learning facility within MRS, a version space algorithm has been implemented, and research begun on the automatic generation of experiments by machine.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 31, 1984
- Accession Number
- ADA146406
Entities
People
- M. R. Genesereth
Organizations
- Stanford University