WEKO3
アイテム
自己認識的データベースについて
https://ipsj.ixsq.nii.ac.jp/records/51166
https://ipsj.ixsq.nii.ac.jp/records/51166e3f1d0a9-6380-42bc-b7e0-fc2005363f2c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ICS90074002.pdf (1.3 MB)
|
Copyright (c) 1991 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1991-01-17 | |||||||
| タイトル | ||||||||
| タイトル | 自己認識的データベースについて | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | On Autoepistemic Databases | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 大阪大学工学部 | ||||||||
| 著者所属 | ||||||||
| 大阪大学工学部 | ||||||||
| 著者所属 | ||||||||
| 大阪大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Osaka University | ||||||||
| 著者名 |
森, 有一
× 森, 有一
|
|||||||
| 著者名(英) |
You-Ichi, Mori
× You-Ichi, Mori
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿で提案する自己認識的データベースAEDBは，非単調論理の一つである自己認識論理の意味論に基づき，論理プログラムの証明手続きを利用したデータベースである．AEDBは自己認識推論を行うことにより，演鐸データベースでは不可能であった不完全な知識に対する問い合わせを実現している．AEDBは，一階述語形式で書かれた知識を，対象とする世界を制限し，命題自己認識論理式の集合と捉えることにより，一階自己認識論理の非決定性を回避する．またAEDBは，形式的な証明法を用いることにより，効率の良い質問応答を実現し，問い合わせの事項を満足するオブジェクトを検索する機能も併せ持つ． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we propose an AutoEpistemic DataBase AEDB which is based on autoepistemic logic that is one of non-monotonic logics. AEDB is capable of dealing with integrated knowledge base of complete and incomplete information. Some assumptions on AEDB's domain avoids undecidability of first order autoepistemic logic by considering AEDB expressions as propositional formulas. AEDB can answer queries efficiently for its proof-theoritic procedure. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11135936 | |||||||
| 書誌情報 |
情報処理学会研究報告知能と複雑系（ICS） 巻 1991, 号 3(1990-ICS-074), p. 11-18, 発行日 1991-01-17 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
