知识库系统的逻辑基础.pdf

第卷第期 计 算 机 学 报 ３２ １１ 　　　　　　　　 　 Ｖｏｌ．３２Ｎｏ．１１ 年月 ２００９１１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２００９ 　 知识库系统的逻辑基础 ） ） １ ２ 许文艳 刘三阳 　　 西安电子科技大学理学院应用数学系西安