IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Mon, 24 Apr 2017 07:28:16

Malec, J. (1991). How To Pass an Intersection, or Automata Theory is Still Useful. Technical Report LiTH-IDA-R-91-08, Department of Computer and Information Science, Linköping University, Sweden. To be presented at SCAI'91, Roskilde, Denmark, May 21-24, 1991. (bibtex),

Abstract: In this paper I present several knowledge representation (KR) languages used within one project, and show relationships between these languages. I try to persuade that when designing a complex AI system, one should use different KR formalisms, namely the ones most suitable for purposes of different subsystems, and devise an appropriate tool for data (or knowledge) interchange between these subsystems. The KR formalisms need not be the ones traditionally associated with AI ---there are lots of other valuable tools. The argument is presented using one particular example of an AI system being designed within the ProArt part of the PROMETHEUS project.

Goto (at Linköping University): CS Dept TR Overview