完全／不完全なルールに対する推論手続き

• Item type: SIG Technical Reports(1)
• 公開日: 1993-01-20
• タイトル: 完全／不完全なルールに対する推論手続き
• タイトル / 言語: en
• タイトル: A Reasoning Procedure for Complete/Incomplete Rules
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪大学工学部
• 著者所属: 大阪大学工学部
• 著者所属(英): en
• 著者所属(英): OSAKA University
• 著者所属(英): en
• 著者所属(英): OSAKA University
• 著者名: 井戸, 譲治; 馬場口, 登
• 著者名(英): George, Ido; Noboru, Babaguchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，ルール形式で書かれた完全/不完全な知識を対象とする推論手続きについて述べる．知識表現は自己認識論理に基づいたものであり，推論手続きもその意味論・構文論に従っている．本手続きは論理式が拡張世界に含まれるか否かを SLD 導出による反駁の有無により決定する．様相リテラルに対しては副次的な推論木を生成し，また負リテラルに対しては部分計算を行うことにより SLD 導出機構を適用できるようにしている．さらに，多重拡張を持つような場合に対しても適切に動作する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we discuss a reasoning procedure for complete/incomplete knowledge represented by rule forms. Knowledge representation is based on autoepistemic, logic(AEL) and its reasoning procedure obeys semantics and syntactics of AEL. This procedure decides whether a formula belongs to a chosen expansion by attempting to construct its refutation. Subsidiary reasoning trees for modal literals and a partial computation process for negative literals are introduced to apply SLD-resolution mechanism. Moreover, this procedure cart work appropriately where there are multiple expansions.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1993, 号 5(1992-ICS-086), p. 17-24, 発行日 1993-01-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会