| 講演名 | 1997/11/13 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」) 吉浦 紀晃, 米崎 直樹, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 人間の行なう演繹的な推論の形式化は、人工知能の研究にとって重要な問題であり、論理はその形式化の有効な候補の1つである。しかし、人間の演繹的な推論は、形式的な論理体系による推論とは必ずしも一致しない。なぜなら、論理体系の目的が正しい式を推論することにあるが、人間の演繹的な推論では有用な情報の導出がその目的であるからである。本稿では、人間の演繹的な推論における結合子の導入の仕方を議論し、結合の適切さを定義する。さらに、定理が適切な結合のみからなる論理体系 LRC (Logic of Relevant Connectives) を提案する。この論理体系は、適切さの論理の中でも強い体系であるERをべースに構築される。 |
| 抄録(英) | The formalization of human deductive reasoning is a main issue in artificial intelligence. Although logic is one of the most useful ways of such formalization, inference of logic does not necessarily correspond to human deductive reasoning. The reason is that the aim of logical inference is to deduce the truth while that of human reasoning is to infer useful information. In this paper, we discuss and define relevance of logical connectives on human deductive reasoning and propose the logical system LRC (Logic of Relevant Connectives). LRC is based on the relevant logical system ER which implication fallacy is removed from and is one of the strongest relevant logical systems. |
| キーワード(和) | 適切さの論理 |
| キーワード(英) | relevant logic |
| 資料番号 | AI97-32 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1997/11/13(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」) |
| サブタイトル（和） | |
| タイトル（英） | Formalization of human deductive reasoning with respect to relevance of connectives |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 適切さの論理 / relevant logic |
| 第 1 著者 氏名（和/英） | 吉浦 紀晃 / Noriaki Yoshiura |
| 第 1 著者 所属（和/英） | 東京工業大学情報理工学研究科計算工学専攻 Department of Computer Science, Tokyo Institute of Technology |
| 第 2 著者 氏名（和/英） | 米崎 直樹 / Naoki Yonezaki |
| 第 2 著者 所属（和/英） | 東京工業大学情報理工学研究科計算工学専攻 Department of Computer Science, Tokyo Institute of Technology |
| 発表年月日 | 1997/11/13 |
| 資料番号 | AI97-32 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 373 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |