veach@ukans.CSNET (Glenn Veach) (09/05/86)
Following is a list of technical reports which have recently been issued by the department of Computer Science of The University of Kansas in conjunction with research done in the department's Artificial Intelligence Laboratory. Requests for any and all Technical Reports from the Department of Computer Science and it's various laboratories at The University of Kansas should be sent to the following address: Linda Decelles, Office Manager 110 Strong Hall Department of Computer Science The University of Kansas Lawrence, KS 66045 U.S.A. %A Glenn O. Veach %T The Belief of Knowledge: Preliminary Report %I Department of Computer Science, The University of Kansas %R TR-86-15 %X As various researchers have attempted to present logics which capture epistemic concepts they have encountered several difficulties. After surveying the critiques of past efforts we propose a logic which avoids these same faults. We also closely explore fundamental issues involved in representing knowledge in ideal and rational agents and show how the similarities and differences are preserved in the logic we present. Several examples are given as supporting evidence for our conclusions. To be published in the proceedings of the 2nd Kansas Conference: Knowledge-Based Software Development. 12 pp. %A Glenn O. Veach %T An Annotated Bibliography of Systems and Theory for Distributed Artificial Intelligence %I Department of Computer Science, The University of Kansas %R TR-86-16 %X This paper summarizes, with extensive comment, the results of an initial investigation of the work in distributed AI. Some forty-plus articles representing the major schools of thought and development are cited and commented upon. %A Frank M. Brown %T Semantical Systems for Intensional Logics Based on the Modal Logic S5+Leib %I Department of Computer Science, The University of Kansas %R TR-86-17 %X This paper contains two new results. First it describes how semantical systems for intensional logics can be represented in the particular modal logic which captures the notion of logical truth. In particular, Kripke semantics is developed from this modal logic. The second result is the development in the modal logic of a new semantical system for intensional logics called B-semantics. B-semantics is compared to Kripke semantics and it is suggested that it is a better system in a number of ways.