Microsoft PowerPoint - fol.ppt
1 一階述語論理 (first-order predicate logic) 一階述語論理入門 構文論（論理式の文法） 意味論（論理式の解釈） 認知システム論 知識と推論（４） 知識と論理でを組み合わせて問題を解決する 前回までは，「命題論理」の構文と意味，および推論規則について学んだ．今回から は，命題論理よりも表現力の高い「 」を学ぶ．今回はその導入部分であり， 最初に，命題論理では表現力が不十分であることを理解した後，一階述語論理の構文 （論理式の文法）と意味（論理式の解釈）について学ぶ．一階述語論理(first-order predicate logic)は，文献によっては単に， (predicate logic)あるいは (first-order logic; FOL)と呼ばれることもある． 2 一階述語論理入門(1/9)：命題論理の世界 命題論理の世界 （原始命題の世界） 原始
Microsoft PowerPoint - FOL2007.ppt
2 参考にしている本（追加） 小野寛晰：情報科学における論理，日本評論社，1994. 2007年度 情報数学 一階述語論理 (first-order logic) 2007年5月18日 情報理工学科 上田 和紀 萩谷昌己：ソフトウェア科学のための論理学，岩波書 店，1994. Chang, C.-L., and Lee, C.-T.（長尾真，辻井潤一訳）： コンピュータによる定理の証明，日本コンピュータ協 会，1983. 1 3 4 命題論理の限界 命題論理では，個々の単文の内部構造に立ち入った表 現や推論は扱えない 例１： Socrates is a human. (All) humans are mortal. Therefore, Socrates is mortal. 一階述語論理は「関係」指向 大多数の平叙文や命題は ものの（カテゴリへの）所属 ものの性質 も
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
