WEKO3
アイテム
不完全情報も扱う論理プログラミングLPIIにおける意味論について
http://hdl.handle.net/10228/5976
http://hdl.handle.net/10228/5976dc974dd7-15f5-4350-a425-a21afe973d35
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-J35_706.pdf (849.7 kB)
|
|
| アイテムタイプ | 学術雑誌論文 = Journal Article(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-01-10 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | journal article | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 不完全情報も扱う論理プログラミングLPIIにおける意味論について | |||||||||||||
| 言語 | ja | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | On Semantics for the LPII (Logic Programming with Incomplete Information) | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 著者 |
酒井, 浩
× 酒井, 浩
WEKO
6421
|
|||||||||||||
| 抄録 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | 論理プログラミングの枠組みにおいて知的処理システムを実現する際の問題の一つに、不完全な知識の利用に関するものがある、本論文では、ある程度知識に不完全性があってもそれらを利用できるような体系の確立と実現を図るために、LPII（Logic Programming with Incomplete Information、不完全情報も扱う論理プログラミング）を提案する。LPIIは論理プログラミングの枠組みを継承し、また選言論理プログラミングや不完全情報データベースの枠組みを統合化した体系になっている。我々は、LPIIにおけるプログラム節を確定節における各原子式をそれぞれ正リテラルの選言に置き換えた論理式で定義し、このプログラム節の集含をLPIIにおけるプログラムとする。定義されたプログラムは構文的に拡張され、記述能カは増加している。そして、構文に自由度が増えたために、正リテラルの選言に対する解釈に依存した異なる意味論の展開ができる。各意味論に墓づく処理系も実現しているが、本論文ではプログラムの意味論を中心にしてLPIIの枠組みに言及する。 | |||||||||||||
| 言語 | ja | |||||||||||||
| 抄録 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | In order to develop intellectual knowledge base systems, it is necessary for us to use knowledge which may have incompleteness in the logic programming. For this issue, we propose a framework named LPII(Logic Programming with Incomplete Information), which is an advancement from the logic programming. In the LPII, we integrate several concepts from disjunctive logic programming and relational databases with imcomplete information. A program clause is made by substituting disjunctions of atomic formulas for atomic formulas in every definite clause. The defined program clauses are more expressive than definite clauses. For the defined program, we need theorem provers depending on the interpretation to disjunctions of atomic formulas. In this paper, we focus on the semantics for LPII, Finally, we refer to the theorem provers briefly. | |||||||||||||
| 言語 | en | |||||||||||||
| 書誌情報 |
ja : 情報処理学会論文誌 巻 35, 号 5, p. 706-713, 発行日 1994-05-15 |
|||||||||||||
| 出版社 | ||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
| 言語 | ja | |||||||||||||
| URI | ||||||||||||||
| 識別子タイプ | URI | |||||||||||||
| 関連識別子 | https://ipsj.ixsq.nii.ac.jp/records/14225 | |||||||||||||
| NCID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AA12317677 | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | EISSN | |||||||||||||
| 収録物識別子 | 1882-7764 | |||||||||||||
| 著作権関連情報 | ||||||||||||||
| 権利情報 | ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 / Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan. Comments are welcome. Mail to address editj＠ipsj.or.jp, please. | |||||||||||||
| 出版タイプ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||
| 査読の有無 | ||||||||||||||
| 値 | yes | |||||||||||||
| 研究者情報 | ||||||||||||||
| URL | https://hyokadb02.jimu.kyutech.ac.jp/html/133_ja.html | |||||||||||||
| 連携ID | ||||||||||||||
| 値 | 533 | |||||||||||||
