逻辑系统动态结构演化研究

论文摘要

21世纪,计算机科学的发展进入了知识处理和智能模拟领域。构造逻辑系统描述规则认知过程的特征,进行规则表达与处理,研制新型软件,这已是当代科技发展的要求,是逻辑学发展最有生命力的方向。这一方向的工作路线是首先通过对人类规则认知过程的分析,利用形式化方法构造反映规则认知特征的逻辑系统;然后构造基于上述逻辑系统的自动推理系统,并在此基础上研制具有知识表达与处理功能的软件。基于此,我们必须对规则可变的逻辑系统展开研究,研究的重要意义自不待言,本文就不同结构的逻辑系统之间的相互作用进行了较为深入系统的研究,得出了规则可变逻辑的相关结论。首先,作者对逻辑系统的定义理论的发展做了探讨,并建立了一般逻辑系统的代数结构,这是研究逻辑系统结构可变的基础。然后,作者探讨了把一般系统抽象为推演系统后,怎样的推演系统才是逻辑系统,即主要讨论了逻辑系统的完全性问题。构造了一种适合于一切命题逻辑的语义学,使得所有的推演系统对于它都是完全的。并在这种语义学中讨论推演系统的完全性。并利用这种完全性简单地讨论怎样的推演系统是逻辑系统。作者以模型论为工具,研究了逻辑系统结构的动态演化情况,主要研究三种主要的类型:一个逻辑系统规则递增时的逻辑系统构造演化模型;两个逻辑系统规则相容时的结构演化模型;规则具有优先时序的逻辑系统结构演化模型。作者最后研究了能描述操不同结构的的多个逻辑系统中规则推理的逻辑语言及其Kripke语义。为其建立了完备的形式化演绎系统。基于可变规则的逻辑系统动态演化,在计算机科学和其他自然科学与社会科学领域有一定的理论和实践意义。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 规则可变逻辑系统研究背景
• 1.1.1 规则本身的可变性分析
• 1.1.2 基于可变规则的系统与逻辑系统
• 1.1.3 规则可变逻辑系统研究的必然性
• 1.2 国外逻辑系统研究现状
• 1.3 国内逻辑系统研究现状
• 1.4 逻辑系统的研究趋势
• 1.5 常识推理中的某些弗协调、非单调和容错性因素
• 1.6 归纳以及其他不确定性推理
• 1.7 广义内涵逻辑
• 1.8 对自然语言的逻辑研究
• 1.9 本文的工作和内容组织
• 第二章 逻辑系统的定义理论与代数模型
• 2.1 逻辑系统的定义理论分析
• 2.1.1 传统逻辑的定义理论
• 2.1.2 现代逻辑的定义理论
• 2.1.3 传统逻辑和现代逻辑定义理论的比较
• 2.1.4 现代逻辑定义的分类
• 2.2 一般逻辑系统的代数结构框架模型
• n +1 的框架'>2.2.1 公理系统Σ_{n +1}的框架
• n +1 的代数结构模型'>2.2.2 公理系统Σ_{n +1}的代数结构模型
• 2.2.3 小结
• 第三章 逻辑系统演化的语义与完备性分析
• 3.1 逻辑系统演化的形式语言及框架模型
• 3.1.1 逻辑系统演化的形式语言
• 3.1.2 框架和模型
• 3.2 逻辑系统的完备性
• 3.3 变规则逻辑系统的框架
• 3.3.1 一般框架的定义及性质
• 3.3.2 弱框架的定义及性质
• 3.4 逻辑系统演化的完备性分析
• 3.5 逻辑系统演化的标准讨论
• 第四章 可变规则逻辑系统的构造模型
• 4.1 规则递增时的逻辑系统构造模型
• 4.1.1 规则递增时逻辑系统语义分析
• 4.1.2 规则递增时的逻辑系统结构
• 4.1.3 规则递增逻辑系统结构模型演化
• 4.1.4 小结
• 4.2 规则具有优先权的结构演化模型
• 4.2.1 具有规则优先权的逻辑系统结构演化
• 4.2.2 具有规则优先权的逻辑系统规则演化的性质分析
• 4.2.3 具有规则优先权的逻辑系统规则演化的单调性研究
• 4.2.4 公理系统演化的方法示例
• 4.3 规则不一致时的结构演化模型
• 4.3.1 解决规则不一致的结构演化模型
• 4.3.2 演化模型结构语义的计算
• 4.3.3 小结
• 第五章 多个逻辑系统作用的结构演化
• 5.1 多个逻辑系统作用的语义分析
• 5.1.1 多个逻辑系统作用形式框架
• 5.2 多逻辑系统作用的规则可变逻辑完备性分析
• 5.3 多逻辑系统作用的结构演化基本应用研究
• 5.3.1 军事系统的动态逻辑结构演化分析
• 5.3.2 海上船舶避碰系统的动态逻辑结构演化分析
• 5.3.3 逻辑结构演化在其他领域的应用研究探悉
• 第六章 结论
• 6.1 研究工作小结
• 6.2 未来研究与展望
• 致谢
• 参考文献
• 作者在学期间取得的学术成果
• 附录A 符号说明