t_wの輪郭
predicate
logic
predicate logic
2024/3/17 10:41:00
述語論理
じゅつごろんり
『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』
論理
predicate logic
述語
述語論理
2022/2/25 22:29:00
『論理データベース論考―データ設計の方法:数学の基礎とT字形ER手法』
f(f)
微分可能述語論理
高階述語論理
一階述語論理
本田 裕『学位論文 博士(工学) 深層学習を用いた一階述語論理による推論に関する研究』
述語論理学
予算駆動エキスパートシステム
Prolog
あれ
量化
あれ
概念グラフ