2.3 知识表示的一个逻辑方案