一般プログラムにおける否定の意味論

• Item type: SIG Technical Reports(1)
• 公開日: 1989-03-13
• タイトル: 一般プログラムにおける否定の意味論
• タイトル / 言語: en
• タイトル: A Semantics of Nagation on the General Program
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 横浜国立大学工学部電子情報工学科
• 著者所属: 横浜国立大学工学部電子情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Electrical and Computer Engineering Yokohama National University
• 著者所属(英): en
• 著者所属(英): Department of Electrical and Computer Engineering Yokohama National University
• 著者名: 萱島, 信; 中川, 裕志
• 著者名(英): Makoto, Kayashima; Hiroshi, Nakagawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 論理プログラミングにおいて，否定に関する表現力を拡張するために，複数個の正リテラルを持つ節（一般プログラム節）を含むプログラムに対して，述語にレベル付けを施すことにより，単一のモデルを決定するモデル論的なアプローチが近年盛んに行われている．本稿では，このアプローチの拡張を行い，従来の方式では扱うことのできなかったプログラムに対してモデルを示すことのできる導出（SLBS-導出）を提案する．これは，ある特別なレベル付けを行ったプログラムに対し，まだ肯定であると証明されていないリテラルを，否定のリテラルであると仮定することによりNAFより強力な否定の概念を実現するものである．さらにこのSLBS-導出の健全性と完全性を証明した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: To implement negation, we must deal with general program clauses, but general program may have more than one model. So recently, the notion of the stratified logic program is proposed by Apt, Blair, and Walker. In this paper, we extend the above notion, and propose a new resolution (called SLBS-resolution) by which we can obtain the unique model for a general program. In this resolution, we consider negative literals which are not recognized yet as positive ones. And further we prove the soundness and completeness of the SLBS-resolution.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1989, 号 22(1988-ICS-063), p. 1-10, 発行日 1989-03-13
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会