著者
篠崎 隆志
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.33, no.2, pp.181-188, 2018-03-01 (Released:2020-09-29)
被引用文献数
3
著者
原口 誠 有川 節夫
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.1, no.1, pp.132-139, 1986-09-01 (Released:2020-09-29)
被引用文献数
2

We present in this paper a formal theory of analogical reasoning. We are mainly concerned with three subjects, a formal definition of analogy, a formalization of the reasoning in terms of deduction, and a method for realizing the reasoning in a logic programming system. First we assume that each domain for the reasoning is represented by a set of definite clauses, and hence it is the least model for the set. Then we consider an analogy as a partial identity between the models. Secondly we introduce a notion of rule transformation to transform rules in one domain into those in the other. Then we can formalize the reasoning as a system with three inference rules, instantiation of rules, modus ponens, and the rule transformation. Finally, based on this formalization, we present an extended pure-Prolog interpreter which performs the detection of analogy and reasoning by the analogy at the same time.
著者
溝口 理一郎 池田 満 來村 徳信
出版者
一般社団法人 人工知能学会
雑誌
人工知能 (ISSN:21882266)
巻号頁・発行日
vol.14, no.6, pp.1019-1032, 1999-11-01 (Released:2020-09-29)

Building an ontology requires clear understanding of what can be concepts with what relations to other concepts. an ontology thus focuses on "objects" themselves rather than "representation" of them. However, few research have dealt with what to represent to date. Theory of content (what to represent) is badly needed. As a basis of ontological engineering, this paper presents ontological theories of semantic links such as is-a and part-of based on the set theory. Formulation of instance-of, is-a and part-of links is done based on member-of and subset-of relations sets. Concepts of relations and roles are also investigated to come up with a few guidelines of an ontology design. Although the research is not completed yet, basic design for an ontology representation language of solid foundation has been done.