t_wの輪郭
RSS
述語
量化
述語の量化
2024/3/17 15:21:00
高階述語論理
述語の量化
個体の量化
高階
量化
述語論理
こうかいじゅつごろんり
高階述語論理
2024/3/17 15:24:00
高階述語論理
は個体と述語の量化を許す
述語論理
である。
高階述語論理は健全性と完全性は保証されていない。
本田 裕『学位論文 博士(工学) 深層学習を用いた一階述語論理による推論に関する研究』