高階一般化による類推

• Item type: SIG Technical Reports(1)
• 公開日: 1991-03-06
• タイトル: 高階一般化による類推
• タイトル / 言語: en
• タイトル: ANALOGICAL REASONING BASED ON HIGHER ORDER GENERALIZATION
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州工業大学情報工学部知能情報工学科
• 著者所属(英): en
• 著者所属(英): Kyushu Institute of Technology, Department of Artificial Intelligence
• 著者名: 原尾, 政輝
• 著者名(英): Masateru, Harao
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 科学的問題を対象とした類推を高階論理の枠組で実現する一手法について述べる．まず，対象とする知識を一階の論理式で，その抽象化された知識である一般化知識を二階の論理式で表現する．対象知識の間の類似性を単一化可能性によって，例題や観測された事実から一般化規則を求める一般化を高階表現への抽象化によって，それぞれ定式化する．与えられた問題に対する類推は，その問題と類似の解決の分かっている問題を基に，その一般化規則を探索し適用することによって実現される．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: An approach of realizing an analogical reasoning system for scientific problrms in the framework of higher order logic is presented. Each object knowledge is represented as a first order formula, and generalized knowledge which characterizes a set of object level rules is represented as a second order formula. The similarity of target problems is defined based on their unifiability, and the generalization procedure is defined as an abstraction to a higher order expression. The analogical reasoning is formalized as a procedure to infer a solution of a given problem by finding some similarity with some observed known problem and applying its generalized rule to the problem.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1991, 号 16(1990-ICS-075), p. 127-136, 発行日 1991-03-06
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会