Flexible Semantic Networks for Knowledge Representation

概要

論文の詳細を見る
IXL is a knowledge representation language based on semantic networks. IXL is developed in project IX as a language to describe all kinds of semantic network applications such as natural language processing and knowledge base system. Since the abstraction level of the semantic networks in IXL is rather low compared with other networks, semantics of relations between concepts can be flexibly described. Two basic hierarchical relations (is-a and in-stance-of) are provided for inheritance. Other general relations are divided into two categories (assertion and property) and are expressed by a newly proposed network structure. This structure enables us to describe semantics of relations exactly and to treat negative knowledge in a natural manner. In IXL, the consistency of knowledge throughout the network is checked by determing whether two concepts are exclusive of each other, and we can easily write knowledge bases which answer "true", "false", or "no idea" for inquiries. For representing procedural knowledge, we adopted a logic-like expression which seems c1ose to human thinking. IXL is now implemented on DEC-2060 with Prolog, but will run at a high speed on the parallel hardware SMU which is also being developed in project IX.
一般社団法人情報処理学会の論文
1987-03-31