Our work has involved extending the meta-reasoning capabilities of the Active Logic inference engine (ALMA) to be able to represent a variety of types of contradiction and positive and negative introspection. This involved both theoretical and implementation effort. In particular, we developed techniques for representing, recognizing, and repairing mistakes that arise in the form of contradictions in the evolving belief set of an agent. This had two aspects: general (commonsense) ...
The primary purpose of this document is to communicate, to authors and developers of MID documents and applications, the intentions of the design team with respect to implementation of the MID DTD. Section 6 contains the DTD, with annotations, arranged by functional groupings of elements as described in Section 5. The MID design team has debated many issues in creating this DTD, and the annotations are presented to pass along ...
Reports by Author
