弗协调逻辑的理论意义和实践价值

弗协调逻辑是非经典逻辑中最具有革命性的逻辑学分支。它限制了经典逻辑中矛盾律作用 的范围,能够容纳有意义的真矛盾,能够作为一切不协调理论的基础逻辑,在计算机和人工智能以及法律等领 域都具有广阔的应用前景。     

关于弗协调逻辑的思考

弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普遍性的置疑是否意味着逻辑规律是可修正的?     

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。     

图Sm·Cn的临界群

图的临界群是图生成树数目的一个加细.它是定义在图上的一个有限交换群,其群结构是图的一个精细不变量,与图的Laplacian理论密切相关.由此确定了Sm·Cn的临界群的结构,证明Sm·Cn的临界群同构于Z2(m-2)n+2(+)Zn-2 2m(+)Z2mn.     

命题态度句的成真条件

用动态认知逻辑特别是话语表现理论为主要研究工具,充分考虑语境因素,探讨命题态度句的语义解释,得出的结论是:(一)命题态度句的语义依赖于被报道的信念和解释者对信念主体的认知状态的表征的其它元素的交互作用;(二)对命题态度句的处理揭示了语义的动态更新过程。     

论模态逻辑系统的有限模型性质

系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。     

论新时代干部交流的四重逻辑

干部交流制度是深化干部领导体制改革的重要抓手,也是推动经济社会发展、进行社会主义现代化建设的重要制度保证,不仅在实践中得到了巨大发展,更在党的政策文件中得到了制度化确认。深入分析干部交流制度所蕴含的深刻内在逻辑,有着重要理论和现实意义。以历史的视角梳理了干部交流制度的演变历程,并从政治、行政、经济社会等层面探讨了干部交流制度的内在逻辑。在政治层面:干部交流是实现政治激励、惩戒、考察、培养的重要手段,是推进全面从严治党的重要抓手,是净化党内政治生态的关键一招;在行政层面:干部交流有助于优化领导班子组织结构,有助于创新党政系统管理方式,有助于提升党政系统执政效率;在经济社会层面:干部交流有助于推动地区经济增长,有助于加强地区民生保障。     

论悖论的实质、根源和主要解决方案——从弗协调逻辑的观点看

悖论是一个论证,它依据一定的背景知识和逻辑法则,从一些已知为真的前提出发却推出了互相矛盾的命题,或者在一个命题和它的否定之间可以互推这样一种事实。从弗协调逻辑的观点看,处理悖论的最好办法,也许不是拒斥,而是应该采取容纳的态度。     

怀疑逻辑的弗协调方案探赜

目的：提供一个建立在弗协调认知逻辑基础上的包含三分认知世界思想的怀疑逻辑构造方案。方法在系统 SPN 内定义相关的认知模态算子。结果怀疑逻辑三分认知世界的设想得以实现,同时由于弗协调认知逻辑的原因,一些怀疑逻辑公式的有效性发生了变化。     

试论马克思所有制理论的三种建构逻辑

马克思所有制理论是整个马克思主义理论的重要组成部分;人学发展逻辑、社会发展逻辑以及意识形态发展逻辑共同构成了马克思所有制理论的建构逻辑;马克思所有制理论的建构逻辑是相互统一的,是三位一体的整体。     

科技英语口译逻辑问题评析

科技英语口译存在的关联词缺失、语义不连贯、多赘语、语序紊乱,表现在语言逻辑、非语言逻辑或语用逻辑认知方面的缺乏。运用语言学小句关系理论,研究科技英语口译逻辑问题,逻辑意识培养是口译的重要教学内容。