离散数学配套习题作者陈志奎第二章[ADDed]-实例

2.6 谓词逻辑的应用谓词逻辑有着多种多样实际的应用，如利用谓词匹配方法可以提高信息检索的质量，也可以用于在关系型数据库中表示数据表项等。在本节中，我们主要通过叙述谓词逻辑在人工智能知识表示方面的作用