二阶逻辑相关论文
程序综合是一种通过系统行为规范来自动设计生成交互式系统模型的技术。目前主流的行为规范语言叫做线性时态逻辑LTL。然而LTL程序......
本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它......
一、常识问题的由来智能系统之所以能展现智能行为,是因为它形式化包含了某些人的知识,且这些知识是系统行为的核心。智能系统的......
本文为Buvac的context逻辑定义了一个二阶扩充SOQLC，它能为许多常识现象提供更简单自然的描述．作为本文的重要结论，我们证明了SOQLC对......
人工智能专家发现一个有趣的事实:对一些人们觉得易如反掌的事,计算机处理起来却显得十分笨拙,甚至无能为力。例如,出生不久的婴儿......
本文意在较为详细地考察弗雷格把算术还原为逻辑的工作。首先,我们指出《概念文字》中的逻辑本质上是完整的二阶逻辑,并介绍弗雷格......
摘 要：目前，对于经典数学的逻辑基础，很多学者持有不同的意见，主要有两个分支：一部分学者认为经典数学的逻辑基础为一阶逻辑，还有一部分......
将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法......
在英美数学哲学领域的新近讨论中，新逻辑主义是比较活跃的一派观点。新逻辑主义继承弗雷格逻辑主义纲领的要义，并从弗雷格的文献中获......
一种语言的表达力（或可表达性）是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围。它可进一......
文章旨在简要地讨论弗雷格《概念文字》，指出其中的两个重要但被一些国内学者误解或忽略的贡献：首先我们指出，根据Boolos等人的论证，弗......
本文为Ｂｕｖａｃ的ｃｏｎｔｅｘｔ逻辑定义了一个二阶扩充ＳＯＱＬＣ，它能为许多常识现象提供更简单自然的描述。......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
研究不确定型数据时,针对宏观上缺失数据和噪声数问题,提出了一种应用于智能决策系统的自动推理方法,可以有效地从不确定型数据中......
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类，那么可靠的（the soundness）和完备的（the complet......
2011年8月29日至30日，“弗雷格：逻辑和哲学”国际研讨会在北京大学正大国际交流中心举行。本次会议由北京大学哲学系和北京大学研究......
在20世纪初布尔巴基(Bourbaki)学派结构主义运动的影响下,以"数学的本质是结构"为基本主张的结构主义数学哲学逐渐兴起,并形成了详......
