| 講演名 | 2000/3/16 4値論理による論理ベース上の制約充足問題に関する一方法 小松 寿, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | [1, 3]以来、4値論理は矛盾や不完全情報を扱うための有効な方法として知られている。本論文では、4値論理に基づく論理ベース上に何らかの制約が仮定されている場合、FOUR, TWO及びDEFAULTと呼ばれる束構造の上で計った更新の大きさ(ノルム)が最小となるように、制約を充足する更新を論理ベースに対して行なうための方法を示す。 |
| 抄録(英) | Since[1, 3], 4-valued logic is known to be a useful method to treat the contradictory and the incomplete information. In this paper, I apply it to the constraint satisfaction problem on 4-valued logic databases, and propose a method to revise a database with constraints so as to minimize the norm between it and the revision measured on the lattice structure FOUR, TWO, or DEFAULT. |
| キーワード(和) | 4値論理 / 多値論理 / 非単調推論 / 信念更新 / 制約充足 |
| キーワード(英) | 4-valued logic / multi-valued logic / non-monotonic reasoning / belief revision / constraint satisfaction |
| 資料番号 | TL99-40 |
| 発行日 |
| 研究会情報 | |
| 研究会 | TL |
|---|---|
| 開催期間 | 2000/3/16(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Thought and Language (TL) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 4値論理による論理ベース上の制約充足問題に関する一方法 |
| サブタイトル（和） | |
| タイトル（英） | A Method for Constraint Satisfaction on 4-valued Logic Databases |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 4値論理 / 4-valued logic |
| キーワード(2)（和/英） | 多値論理 / multi-valued logic |
| キーワード(3)（和/英） | 非単調推論 / non-monotonic reasoning |
| キーワード(4)（和/英） | 信念更新 / belief revision |
| キーワード(5)（和/英） | 制約充足 / constraint satisfaction |
| 第 1 著者 氏名（和/英） | 小松 寿 / Hisashi Komatsu |
| 第 1 著者 所属（和/英） | 広島市立大学情報科学部 School of Information Sciences, Hiroshima City University |
| 発表年月日 | 2000/3/16 |
| 資料番号 | TL99-40 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 691 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |