Results 1-9 of 9
 | 
会议论文
Fulltext
刘壮虎
1995
[ABSTRACT] 作者根据Montague、Scott等人的想法。在Segerberg、Gabby和毛翊等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学。本文讨论在这种语义学中相干逻辑的刻画框架和完全性。一、相干逻辑的邻域语义学相干逻辑的形式语包括命题变项p1,…,pn,…和命题联结词:...
[KEYWORDS] 邻域语义学; 相干逻辑; 命题变项; 语义学研究; 模态逻辑; 命题联结词; 命题逻辑; 可能世界; 相干蕴涵; 封闭集
会议论文
Fulltext
刘壮虎
1993
[ABSTRACT] 从形式上看,说慌者悖论(“这句话是假的”)和通常命题的区别有两点:述说命题的真假和自我指称。可以将这两点从形式上刻画出来,从而研究说慌者悖论的逻辑性质。当p为真时,“p真”也为真,当p为假时,“p真”也为假。所以户和“p真”的真值相同,同理-p和“p假”的真值也相同。因此可以直接用p表示“p真...
[KEYWORDS] 自我指称; 范式定理; 重言式; 当且仅当; 命题变项; 矛盾式; 等值公理; 三段论规则; 双重否定律; 公理系统
会议论文
Fulltext
刘壮虎
1996
[ABSTRACT] 蕴涵是逻辑的最基本的概念之一,它不同于推出关系又和推出关系密切相关。不同的逻辑最主要的区别就在于它们使用不同的蕴涵。为比较不同的蕴涵,本文使用一种统一的语义学——邻域语义学。本文通过对蕴涵的最重要的性质——保真性的分析,
[KEYWORDS] 邻域语义学; 逻辑系统; 可能世界; 实质蕴涵; 保真性; 模态命题; 命题逻辑; 命题变项; 复合命题; 重言式
会议论文
Fulltext
刘壮虎
1998
[ABSTRACT] 集体认定是按一定的规则,综合集体中每个人的意见,对命题的一种断定。法律审判中的陪审员制度,社会政治生活中的选举、决议等都是集体认定的典型例子。
[KEYWORDS] 命题变项; 陪审员制度; 逻辑规律; 社会政治生活; 支命题; 简单析取; 重言式; 当且仅当; 推不出; 命题逻辑
会议论文
Fulltext
刘壮虎
2000
[ABSTRACT] 有两类不同的谓词:性质谓词和类谓词。一阶逻辑把两者都作为类谓词来处理,有时是不合适的。本文在一阶逻辑的基础上,区别性质谓词与类谓词, 构造更为精细的逻辑系统。并对由此产生的问题作一些简单的讨论。
[KEYWORDS] 谓词逻辑; 逻辑系统; 自由变元; 一阶逻辑; 原子公式; 公理系统; 可能世界; 当且仅当; 等值公理; 结构定义
会议论文
Fulltext
刘壮虎
2005
[ABSTRACT] 一阶逻辑中的谓词实质上是刻画类的谓词,并不直接刻画性质词,例如在刻画"红的"、"大的"等性质词时,实际上是刻画的是类谓词"红的物体"、"大的物体"等。在《复合谓词的逻辑系统》(以下简称《复合谓词》)一文中,作者区分...
[KEYWORDS] 谓词逻辑; 类性质; 逻辑特征; 自由变元; 一阶语言; 原子公式; 公式集; 文中; 闭公式; 非逻辑
会议论文
Fulltext
周北海; 刘壮虎
2001
[ABSTRACT] 对意图后承的逻辑刻画是人工智能研究中的重要问题。本文在陈小平研究的基础上,构造了一个刻画意图后承的逻辑ICL。在ICL中讨论意图蕴涵和意图后承的性质,并证明了ICL的可靠性和完全性。
[KEYWORDS] 意图后承; 意图蕴涵; 认知赋值; 认知模型; 完全范式; 混合范式
会议论文
Fulltext
刘壮虎
2007
[ABSTRACT] 知识库的扩充和修正是知识库的重要问题。本文考虑逻辑扩充和对于不和谐的修正。给出了两种不同的形式模型:一般的自动扩展和修正的知识系统;固定初始知识的自动扩展和修正的知识系统。讨论它们的一些特点,给出进一步研究的一些想法和思路。
[KEYWORDS] 知识系统; 形式模型
会议论文
Fulltext
李小五; 刘壮虎
2004
[ABSTRACT] 首先,我们构造双条件句系统C2K和主次条件句系统C2L2,给出这两个系统的一些证明’论结果。其次,我们建立命题型的择类语义,给出描述上述系统的特征公理的框架条件。最后,我们证明这两个系统相对不同的框架类是框架可靠和框架完全的。
[KEYWORDS] 双条件句系统; 主次条件句系统; 命题型的的择类语义; 框架可靠性; 框架完全性
Results 1-9 of 9
  • <<
  • 1
  • >>