人工智能alpha-beta剪枝和离散数学的练习题

/3. 应用归结反演来检查输入的句子是否包含知识库。写下解决步骤。

KB

P ˅ Q

¬ P ˅ Q

P ˅ ¬ Q

Input Sentence

P ∧ Q

https://blog.csdn.net/obestboy/article/details/86604030