検索結果 2 件
デジタル記事
インターネットで読める全国の図書館
- 要約等We present in this paper a formal theory of reasoning by analogy. We are mainly concerned ......ree 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 the least model for logic program. Then we consider an analogy as a partial identity between the models. Secondly we introduce a notion of rule transformation which transforms rules in one domain into those i......ther. Then we can formalize the reasoning as a system with th......ce rules : instantiation of rules, modus ponen...
- 件名Ocean Engineering
- 関連情報Bulletin of informatics and cybernetics || 22(3/4) || p131-147 http://bic.math.kyushu-u.ac.jp/
デジタル記事
全国の図書館
- 参照Combining Answer Set Programming with Desc......ion Logics for Analogical Reasoning Under an Agent’s Preferences
- 著者標目Makoto Haraguchi Setsuo Arikawa
検索結果は以上です。