t_wの輪郭

Feedlyでフォローするボタン

命題論理の推論

2024/4/2 23:40:00

伴意関係(𝐾𝐵 ≡ 𝐾𝐵 ∧ 𝛼)となるかを調べること

KR

2024/3/17 14:20:00

知識表現と推論(Knowledge Representation and Reasoning:KR&R)