| 谓词/变迁系统对一阶谓词公式的建模 |
| |
| 引用本文： | 耿霞,吴哲辉,张继军.谓词/变迁系统对一阶谓词公式的建模[J].系统仿真学报,2007,19(A01):9-15. |
| |
| 作者姓名： | 耿霞 吴哲辉 张继军 |
| |
| 作者单位： | [1]山东农业大学信息科学与工程学院,山东泰安271018 [2]山东科技大学信息科学与工程学院,山东青岛266510 |
| |
| 基金项目： | 国家自然科学基金（60673053;60603090）和山东省优秀中青年科学家奖励基金（2006BS01019）. |
| |
| 摘 要： | 研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中＂由粗到细,逐层分解＂的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的＂事实变迁＂表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。
|
| 关 键 词： | 谓词/变迁系统 一阶谓词公式 逻辑联结词 二叉树 事实变迁 递归性质 |
| 文章编号： | 1004-731X（2007）S1-0009-07 |
| 收稿时间： | 2007-03-12 |
| 修稿时间： | 2007-03-122007-06-15 |
Modeling of First-Order Predicate Expression by Using Predicate/Transition System |
| |
| GENG Xia, WU Zhe-hui, ZHANG Ji-jun.Modeling of First-Order Predicate Expression by Using Predicate/Transition System[J].Journal of System Simulation,2007,19(A01):9-15. |
| |
| Authors: | GENG Xia WU Zhe-hui ZHANG Ji-jun |
| |
| Abstract: | |
| |
| Keywords: | predicate/transition system first-order predicate expression logic connective binary tree fact transition recursive property |
| 本文献已被 维普 等数据库收录！ |
