一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？
相关考题：
已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）A、状态空间法B、问题归约法C、谓词逻辑法D、语义网络法
开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有（）和ISA。
填空题开发专家系统所要解决的基本问题有三个，那就是知识的获取、知识的表示和知识的运用，知识表示的方法主要有逻辑表示法（谓词表示法），框架，产生式和语义网络等，在语义网络表示知识时，所使用的推理方法有（）和ISA。
问答题一阶谓词逻辑表示法适于表示什么类型的知识？它有何特点？