| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2016-03-03 16:50 ［招待講演］推論から等価変換へ ～ 論理的計算の新しい理論に向けて ～ ○赤間 清（北大）  MSS2015-77 |
|
| 抄録 | （和） | 本稿では論理的計算の理論の構造転換の試みについて述べる。証明問題や求解問題など多くの論理的問題のクラスが提案され、解法が研究され、ソルバが利用されてきた。しかし解くことのできない問題クラスは未だたくさんある。論理学は従来から証明・推論を中心として進んできた。Prolog などの答えを求める計算を含めた統合的な理論とするために、本論文では、計算方法を、推論から等価変換に拡大する。解くべき問題のクラスは、証明問題からモデルインターセクション問題（MI問題）になる。これは、現在の一般性の低い窮屈な理論を脱却し、広範な論理的問題を統一的に扱うための概念体系を与える。 |
| （英） | Trial of a big structural change of the theory of computational logic is discussed in this paper. Logical Problems such as proof problems and query-answering problems have been proposed, and their solutions have been investigated, and their solvers have been used. But there are many problem classes that are not to be solved. In order to construct a new theoretical basis for computational logic, we use equivalent transformation in place of inference. Class of logical Problems is extended from Proof problems into model-intersection problems (MI problems). This gives a new conceptual framework to discuss a large class of logical problems. | |
| キーワード | （和） | 推論 / 等価変換 / 論理的計算 / モデル / 特殊化 / 解釈 / プログラム生成 / 目標写像 |
| （英） | Inference / Equivalent Transformation / Computational Logic / Model / Specialzation / Interpretation / Program Generation / Target Mapping | |
| 文献情報 | 信学技報, vol. 115, no. 480, MSS2015-77, pp. 53-56, 2016年3月. | |
| 資料番号 | MSS2015-77 | |
| 発行日 | 2016-02-25 (MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | MSS2015-77 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2016-03-03 - 2016-03-04 |
| 開催地（和） | 海峡メッセ下関 |
| 開催地（英） | KAIKYO MESSE SHIMONOSEKI |
| テーマ（和） | 離散事象システム及び一般、Work In Progress、計測と自動制御学会・離散事象システム部会と併催 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2016-03-MSS |
| 本文の言語 | 日本語 |
| タイトル（和） | 推論から等価変換へ |
| サブタイトル（和） | 論理的計算の新しい理論に向けて |
| タイトル（英） | From Inference to Equivalent Transformation |
| サブタイトル（英） | Towards a new theory for Computational Logic |
| キーワード(1)（和/英） | 推論 / Inference |
| キーワード(2)（和/英） | 等価変換 / Equivalent Transformation |
| キーワード(3)（和/英） | 論理的計算 / Computational Logic |
| キーワード(4)（和/英） | モデル / Model |
| キーワード(5)（和/英） | 特殊化 / Specialzation |
| キーワード(6)（和/英） | 解釈 / Interpretation |
| キーワード(7)（和/英） | プログラム生成 / Program Generation |
| キーワード(8)（和/英） | 目標写像 / Target Mapping |
| 第1著者 氏名（和/英/ヨミ） | 赤間 清 / Kiyoshi Akama / アカマ キヨシ |
| 第1著者 所属（和/英） | 北海道大学 (略称： 北大) Hokkaido University (略称： Hokkaido Univ.) |
| 第2著者 氏名（和/英/ヨミ） | / / |
| 第2著者 所属（和/英） | (略称： ) (略称： ) |
| 第3著者 氏名（和/英/ヨミ） | / / |
| 第3著者 所属（和/英） | (略称： ) (略称： ) |
| 第4著者 氏名（和/英/ヨミ） | / / |
| 第4著者 所属（和/英） | (略称： ) (略称： ) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2016-03-03 16:50:00 |
| 発表時間 | 60分 |
| 申込先研究会 | MSS |
| 資料番号 | MSS2015-77 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | no.480 |
| ページ範囲 | pp.53-56 |
| ページ数 | 4 |
| 発行日 | 2016-02-25 (MSS) |
[研究会発表申込システムのトップページに戻る]