变迁系统论文

谓词逻辑推理中的Petri网应用
论文摘要逻辑推理是人工智能的基础，而逻辑中的一阶谓词逻辑是使用较为广泛的知识表示方法，因此研究一阶谓词逻辑的推理问题是一项很有意义的工作。在前人研究的基础上，借助Petri网中...