t_wの輪郭

Feedlyでフォローするボタン
述語論理量化個体の量化クルト・ゲーデル完全性健全性
『知識工学 第8回　二宮 崇』スコーレム化一階述語論理の融合法融合推論規則融合法冠頭標準形連言標準形スコーレム標準形本田 裕『学位論文 博士（工学） 深層学習を用いた一階述語論理による推論に関する研究』第一階述語論理

スコーレム化

2024/4/2 23:22:00

存在限量子\( \exists \)の除去

論理式から∃をなくす操作


以下のようにする。
\( \forall x \exists y G(x, y)\)
\( = \forall x G(x, F(x)) \)

このときの\(F\)をスコーレム関数と呼ぶ