关于“知道”与“什么”的逻辑思考

从“知识”的逻辑结构与逻辑表示的分析,讨论“知道”与“什么”的关系。“知识”的概念尚未有定论,更多的人所熟知的是“知识是4个W”或“知识是6个W1个Q”这样的概括。以模态词“知道”为一个算子K、模态词“什么”为一个算子W,建构一个逻辑系统KW,可实现对知识的4个W或者6个W的逻辑刻画。KW系统至少具有对知识的描述有较高的准确性等3种优越性。     

直觉模糊逻辑"与"、"或"算子的研究

在直觉模糊集定义及模糊逻辑“与”、“或”算子的基础上 ,利用 F -格的序关系 ,研究了直觉模糊逻辑“与”、“或”算子 .给出了直觉模糊逻辑 t-范及 t-余范的定义 ,同时给出了两种新型直觉模糊逻辑“与”、“或”算子 ,探讨了直觉模糊逻辑“与”、“或”算子的 t-范及 t-余范所具有的性质 .拓广了模糊逻辑中关于生成子的概念 ,给出了阿基米德直觉t-范及 t-余范的表现定理 ,并对不同算子分别进行了研究 .     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

直觉模糊逻辑算子组与经典算子组之间的关系

文献[1]对经典模糊逻辑“非”、“与”、“或”及“蕴涵”算子进行了系统的研究。文[2]、[3],[4]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义,并讨论了它们的性质.从而使经典模糊逻辑算子的概念及性质得到进一步的推广。本文在此基础上从代数的观点来讨论 直觉模糊逻辑算子组（D,T,┴,φ,h）与经典模糊逻辑算子组（[0,1],T, ┴,φ,h）之间的关系。     

浅析Agent系统意愿模型

Agent系统是近年来软件工程领域出现的一个新的研究方向。本文基于Agent系统的动作模型理论,给出了意愿概念的语义定义,获取和描述了它的一些重要逻辑属性。     

哲学和日常语言中的模态辞——关于狭义的“可能”与“必然”

在逻辑学中,“真”和“假”是极为重要的概念。此外,“必然”、“可能”、“适然”(“偶然”)等概念也非常重要。这些概念叫做模态辞。引进了模态辞的判断,就叫模态判断。讨论模态辞的逻辑,就叫模态逻辑。亚里士多德对模态辞的讨论很重视。在他的著作中,论述模态三段论的篇幅远远超过论述通常三段论(实然三段论)的篇幅。但是,后来对模态辞的讨论却长期受到忽视。直到本世纪才略有起色。不过,现在对模态辞的研究还很不够,大家共同承认的结论也比较少。     

直觉模糊逻辑算子的研究

给出了直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子的定义，并利用区间值模糊集与直觉模糊集之间的关系，给出了利用经典的模糊逻辑算子构造直觉模糊逻辑算子的三个定理。从而得到了构造直觉逻辑算子的新方法，这种方法无需验证其运算的封闭性，因而简单易行。文中用此方法构造出了一系列新的直觉模糊逻辑“补”、“与”、“或”及“蕴函”算子，将K.Atanassov最早提出的直觉逻辑模糊逻辑算子推广到了更一般情形。     

模态哲思逻辑

仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对和反对关系的不是A,而是□A。这样就突破了从必然与可能间的关系入手的传统方法,找到了与必然形成相应对当关系的新算子。     

“双碳”战略对低碳旅游意愿的作用路径——基于消费认知视角的中介检验

“双碳”战略引发各行各业的低碳响应,促进生活生产方式的绿色低碳转型,激发公众的低碳生活意识.低碳旅游是旅游业践行“双碳”战略的重要内容,研究“双碳”战略下公众低碳旅游意愿,旨在扩展需求端的低碳旅游研究,探索旅游发展服务“双碳”战略路径.本文使用问卷调查法和Bootstrap法,引入事件系统理论与计划行为理论,构建“事件—认知—意愿”路径,分析事件强度对公众低碳旅游意愿的作用机制,对377份网络问卷分析,得出结论：(1)“双碳”战略的新颖性认知、颠覆性认知及关键性认知对低碳旅游认知和意愿具有正向影响作用;(2)低碳旅游认知会增强公众的低碳旅游意愿;(3)低碳旅游认知在“双碳”的时间强度认知与低碳旅游意愿中发挥部分正向中介作用.并根据研究结论得出旅游发展在顺应和支持“双碳”战略方面的启示.     

民宿主客互动评论及装饰风格对顾客在线预订意愿的影响

民宿已成为现代接待业的新业态和重要组成部分。在平台经济的驱动下,在线预订平 台成为民宿产品的主要分销渠道。在此环境下,探讨在线预订平台所传递的民宿特征图文信息对 顾客在线预订意愿的影响具有重要的意义。运用实验法,设计并操作8组实验,旨在验证分析民宿 主客互动评论与装饰风格对顾客在线预订意愿的影响。结果显示：（1）主客互动评论和非主客互 动评论对顾客在线预订意愿的影响存在显著性差异,主客互动评论对预订意愿的影响比非主客互 动评论积极;（2）不同装饰风格对顾客在线预订意愿的影响也具有显著性差异,顾客对现代装饰风 格的预订意愿显著高于传统装饰风格;（3）装饰风格与主客互动评论对预订意愿的影响存在显著 性差异,主客互动评论比装饰风格更能对预订意愿产生积极的影响;（4）当不同装饰风格和不同评 论内容主题组合时,任意两者组合所产生的影响比单一要素所产生的影响更积极,其中“现代装饰 风格 + 主客互动评论”组的预订意愿最高,而“传统装饰风格 + 非主客互动评论”组的预订意愿最 低。研究结果对民宿业者经营与管理观念的改变及平台日常预订环境的管理具有现实指导意义。     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

模态逻辑系统S5的本原运算子集

探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

基于二叉树的将中缀表达式转换为前缀表达式的方法

中缀表达式是使用频率最高的表达式形式,对其求值时,一方面要考虑表达式中运算符的优先级,另一方面还要考虑运算符的结合性.尽管运用人的思维能容易地判断中缀表达式的运算顺序,但使用计算机直接处理就会显得非常困难.提出一种基于二叉树的方法,即将中缀表达式转换为前缀表达式,然后在计算机上就可以实现简单求值.     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

Modal extension rule

Sinceautomatedtheoremprovingwasintroduced inthe1950s,ithasbeenmaturedintooneofthe mostadvancedareasofcomputerscience.Theresolu tionmethodisoneofthemostdistinguishedandmost widelyappliedmethodsintheoremproving(TP).ResolutionbasedTPtriestodeducetheemptyclause tochecktheunsatisfiabilityofclauseset.Butexten sionrulebasedTP[1]proceedsinverselytoresolution.Namely,extensionrulebasedTPcheckstheunsatis fiabilitybydeducingthesetofclausesconsistingofall themaximumterms.Therefore,itisanewtheorem provi…     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．     

数字逻辑电路实验故障“三步分析法”

数字逻辑电路实验故障时有发生,实验者由于查找排除方法的使用不当,经常会遇上误工费时却又不能很好解决故障的现象。本文介绍一种查找数字逻辑电路实验故障的方法—＂三步分析法＂,使实验者不需要了解故障类型也能快速查出并及时排除故障,该方法不仅能提高实验效率,而且有助于实验者在自行排查和掌握各种故障的过程中养成良好的实验习惯,提高实验者分析问题和解决问题能力。     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.