t_wの輪郭
RSS
伴意関係
推論
命題論理
命題論理の推論
2024/4/2 23:40:00
伴意関係（𝐾𝐵 ≡ 𝐾𝐵 ∧ 𝛼）となるかを調べること
二宮 崇『知識工学(第2回)』
命題論理の推論
伴意関係
二宮崇
知識工学
二宮 崇『知識工学(第2回)』
2024/4/2 23:37:00
http://aiweb.cs.ehime-u.ac.jp/~ninomiya/ke/ke-2.pdf
