Compiling Object Declarations into Connectionist Networks

Article type: Research Article

Authors: Floréen, P. | Myllymäki, P. | Orponen, P. | Tirri, H.

Affiliations: University of Helsinki, Department of Computer Science, Teollisuuskatu 23, SF-00510 Helsinki, Finland

Abstract: We introduce a novel knowledge representation scheme where high- level object declarations are translated into a connectionist network. This scheme benefits from the robustness of connectionist representations, without sacrificing the vital advantages provided by a high-level declaration language. In this paper, we introduce our declaration language and explain its translation into connectionist nets. The inherent capability of the system to complete partial and inconsistent declarations is demonstrated by presenting results from experiments performed with our prototype implementation. We also outline the planned integration of the present representation scheme with rule-based systems, endowing a conventional expert system shell with the ability to cope with incomplete and inconsistent information.

DOI: 10.3233/AIC-1990-3402

Journal: AI Communications, vol. 3, no. 4, pp. 172-183, 1990