期刊文献+
共找到353篇文章
< 1 2 18 >
每页显示 20 50 100
Theory of (n) truth degrees of formulas in modal logic and a consistency theorem 被引量:13
1
作者 WANG GuoJun DUAN QiaoLin 《Science in China(Series F)》 2009年第1期70-83,共14页
The theory of (n) truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the (n) truth degree of a modality-free formula equals the truth degree ... The theory of (n) truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the (n) truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of (n) truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of (n) similarity degrees among modal formulas is proposed and the (n) modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic. 展开更多
关键词 modal logic (n) truth degrees consistency theorem temporal logic (n) modality similarity degrees (n) modality logic metric space approximate reasoning
原文传递
The Global Properties of Valid Formulas in Modal Logic K
2
作者 孙吉贵 程晓春 刘叙华 《Journal of Computer Science & Technology》 SCIE EI CSCD 1996年第6期615-621,共7页
Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal au... Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal automated rea-soning systems, thus the efficiency of the whole system is improved. This paper presents some global properties of valid formulas in modal logic K. Such prop-erties are structure characters of formulas, so they are simple and easy to check.At the same time, some global properties of K unsatisfiable formula set are also given. 展开更多
关键词 modal logic system K global property tableau method automated reasoning
原文传递
On decidability and model checking for a first order modal logic for value-passing processes
3
作者 薛锐 林惠民 《Science in China(Series F)》 2003年第1期45-59,共15页
A semantic interpretation of a first order extension of Hennessy-Milner logic for value-passing processes, named HML(FO), is presented. The semantics is based on symbolic transition graphs with assignment. It is shown... A semantic interpretation of a first order extension of Hennessy-Milner logic for value-passing processes, named HML(FO), is presented. The semantics is based on symbolic transition graphs with assignment. It is shown that the satisfiability of the two-variable sub-logic HML(FO2) of HML(FO) is decidable, and the complexity discussed. Finally, a decision procedure for model checking the value-passing processes with respect to HML(FO2) is obtained. 展开更多
关键词 first order modal logic DECIDABILITY model checking value-passing processes.
原文传递
A strong completeness theorem in intuitionistic quantified modal logic 被引量:1
4
作者 高恒珊 《Science China(Technological Sciences)》 SCIE EI CAS 2000年第1期60-70,共11页
Based on the intuitionistic first order predicate calculusH given by Thomason with the modal machinery of MIPC put forward by Prior this paper obtains the intuitionistic quantified modal logic system MIPC*, gives it a... Based on the intuitionistic first order predicate calculusH given by Thomason with the modal machinery of MIPC put forward by Prior this paper obtains the intuitionistic quantified modal logic system MIPC*, gives it a semantic interpretation and proves its strong (thus also weak) completeness theorem and soundness theorem with respect to that semantic. Since Zorn lemma plays a decisive role in our discussion, methodologically, it was even farther from the intuitionistic point of view than Thomason's result. 展开更多
关键词 intuitionistic quantified modal logic saturated set Zorn LEMMA STRONG COMPLETENESS THEOREM quasi-Euclidean properties.
原文传递
安全协议形式化分析方法研究综述
5
作者 缪祥华 黄明巍 +2 位作者 张世奇 张世杰 王欣源 《化工自动化及仪表》 CAS 2024年第3期367-378,共12页
介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,... 介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,因此详细介绍了一些常用的基于模型检测方法的工具。最后,总结了当前安全协议形式化分析方法的研究热点和未来的发展方向。 展开更多
关键词 安全协议 形式化分析 模态逻辑 模型检测 定理证明 可证明安全性
下载PDF
论判断的模态
6
作者 马明辉 《河北大学学报(哲学社会科学版)》 CSSCI 2024年第3期26-33,共8页
从系词与模态的关系看模态是“是”之方式,必然和可能这样的模态词位于“是”之外,它们是作用于句子的修饰词。康德把判断的模态分为或然的、实然的和绝然的,认为模态与判断的内容无关。弗雷格认为必然判断的形式对概念文字是没有意义... 从系词与模态的关系看模态是“是”之方式,必然和可能这样的模态词位于“是”之外,它们是作用于句子的修饰词。康德把判断的模态分为或然的、实然的和绝然的,认为模态与判断的内容无关。弗雷格认为必然判断的形式对概念文字是没有意义的。从弗雷格引入的判断符号的意谓来看,这种观点是有道理的。根据弗雷格提出的涵义和意谓分析方法,对模态句子进行分析可以得出,模态词意谓以思想为自变元、以真值为函数值的概念。奎因提出的指称不明语境以及从物模态的问题,也可以通过模态词的意谓来解释。 展开更多
关键词 判断 模态 逻辑
下载PDF
基于n值关系语义的命题模态逻辑系统研究
7
作者 周张泉 杨成彪 刘军 《计算机技术与发展》 2024年第2期71-77,共7页
传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系... 传统的多值模态逻辑系统将关系语义中的状态及状态间的关系进行了多值化处理。然而,实际应用中状态间的关系往往是确定的,无需多值化。针对这种情况,基于?ukasiewicz代数系统提出了一种新的命题模态逻辑n值关系语义。在所提出的n值关系语义中,针对状态进行了多值化处理,同时保持了状态间关系的确定性。通过对逻辑公式的形式化定义以及可满足性和有效性的分析,证明了n值关系语义下经典命题模态逻辑系统K,T,S4和S5的正确性。进一步地,给出了极大一致集与典范模型在n值关系语义下的定义,并完成了上述经典命题模态逻辑系统的完备性证明。上述结论表明基于n值关系语义的命题模态逻辑系统能够涵盖并捕捉到经典逻辑系统中的所有有效命题。综上所述,所提出的基于?ukasiewicz代数系统的n值关系语义提供了一种在实际应用中处理多值状态及确定的状态间关系的方法。这种方法在扩展命题模态逻辑系统的形式化定义与关系语义是可行且有效的。 展开更多
关键词 模态逻辑 多值逻辑 关系语义 ?ukasiewicz系统 正确性和完备性
下载PDF
数字时代社交关系的新格局:逻辑结构与行为模态
8
作者 薛可 《学术前沿》 CSSCI 北大核心 2024年第19期55-63,共9页
数字时代的社交关系有了全新的表征,其呈现数字具身交往、社交化身沟通、兴趣圈层分化、专业垂直细分、情感互动极化以及数字孤独现象六大特征,表现出“人-云-影”的虚实交互结构、“我-他-我”的自我差序结构、“点-网-结”的垂直群聚... 数字时代的社交关系有了全新的表征,其呈现数字具身交往、社交化身沟通、兴趣圈层分化、专业垂直细分、情感互动极化以及数字孤独现象六大特征,表现出“人-云-影”的虚实交互结构、“我-他-我”的自我差序结构、“点-网-结”的垂直群聚结构三种数字社交的逻辑结构形态,以及多平台摇摆、主观化决断、情感性驱策、明确边界感四种数字社交的行为模态表征。 展开更多
关键词 数字社交 社交格局 逻辑结构 行为模态
下载PDF
Kabbalah Logic and Semantic Foundations for a Postmodern Fuzzy Set and Fuzzy Logic Theory
9
作者 Gabriel Burstein Constantin Virgil Negoita Menachem Kranz 《Applied Mathematics》 2014年第9期1375-1385,共11页
Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of ... Despite half a century of fuzzy sets and fuzzy logic progress, as fuzzy sets address complex and uncertain information through the lens of human knowledge and subjectivity, more progress is needed in the semantics of fuzzy sets and in exploring the multi-modal aspect of fuzzy logic due to the different cognitive, emotional and behavioral angles of assessing truth. We lay here the foundations of a postmodern fuzzy set and fuzzy logic theory addressing these issues by deconstructing fuzzy truth values and fuzzy set membership functions to re-capture the human knowledge and subjectivity structure in membership function evaluations. We formulate a fractal multi-modal logic of Kabbalah which integrates the cognitive, emotional and behavioral levels of humanistic systems into epistemic and modal, deontic and doxastic and dynamic multi-modal logic. This is done by creating a fractal multi-modal Kabbalah possible worlds semantic frame of Kripke model type. The Kabbalah possible worlds semantic frame integrates together both the multi-modal logic aspects and their Kripke possible worlds model. We will not focus here on modal operators and axiom sets. We constructively define a fractal multi-modal Kabbalistic L-fuzzy set as the central concept of the postmodern fuzzy set theory based on Kabbalah logic and semantics. 展开更多
关键词 L-Fuzzy SETS FUZZY SETS FUZZY logic modal logic FUZZY Semantics Kripke Possible Worlds Model Kabbalah Sefirot Partzufim Tree of Life Tikkun POSTMODERNISM Deconstruction logic HUMANISTIC Systems
下载PDF
Modality in Business Letter
10
作者 唐义静 《海外英语》 2012年第10X期257-260,共4页
Business letter with friendly modality is an effective means to represent the best advantage of one's self and firm. The paper in vestigates modality in business letter according to Halliday's view on modality... Business letter with friendly modality is an effective means to represent the best advantage of one's self and firm. The paper in vestigates modality in business letter according to Halliday's view on modality. The modal devices mainly cover modal operator, modal ad junct, and modal cohesion. By means of binary approach modal logic is tentative divided into: perfective and imperfective; positive and neg ative; subjective and objective or explicit and implicit; high, median and low value. Modal devices or modal logic has formal and semantic level. Modality is regarded as a potential analyzing method to business text in this paper. The significance of the study is for understanding modal expression in business letter, meanwhile, this is a way to better understand modal logic, and to better use modal device in business let ter. 展开更多
关键词 modalITY BUSINESS LETTER modal DEVICES modal logic
下载PDF
新课标理念下体育教学方法改革创新的表征样态与优化逻辑 被引量:2
11
作者 曾玉山 王泽豪 《济宁学院学报》 2023年第2期70-75,共6页
运用文献资料法和逻辑推演法等研究方法,以体育教学方法改革创新为研究视角,从学生学习的能动性、创新性、自主性和灵活性等层面,分析新课标理念下体育教学方法改革创新的表征样态,从关键性、支配性、影响性、整体性、决定性和制约性等... 运用文献资料法和逻辑推演法等研究方法,以体育教学方法改革创新为研究视角,从学生学习的能动性、创新性、自主性和灵活性等层面,分析新课标理念下体育教学方法改革创新的表征样态,从关键性、支配性、影响性、整体性、决定性和制约性等层面,提出体育教学方法改革创新的优化逻辑,以期为提高体育教学有效性提供新的方法和视角。 展开更多
关键词 新课标理念 体育教学方法 改革创新 表征样态 优化逻辑
下载PDF
命题动态逻辑的基本思想及其扩展系统 被引量:1
12
作者 张呈 张晓君 《贵州工程应用技术学院学报》 2023年第1期59-65,共7页
计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征... 计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征程序和独立于计算论域命题之间的相互作用,在序列程序和系统的形式化表述和推理方面有着重要的作用,可以描述和验证程序的正确性、终止性、公平性、活性和等价性等性质;因此,命题动态逻辑是人工智能的基石。 展开更多
关键词 动态逻辑 命题动态逻辑 程序 模态逻辑
下载PDF
基于自动推理技术的智能规划方法 被引量:22
13
作者 吕帅 刘磊 +1 位作者 石莲 李莹 《软件学报》 EI CSCD 北大核心 2009年第5期1226-1240,共15页
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规... 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势. 展开更多
关键词 智能规划 命题逻辑 模态逻辑 非单调逻辑 描述逻辑 自动推理 可满足性
下载PDF
认识逻辑(1):关于知识和信念的逻辑框架 被引量:17
14
作者 刘瑞胜 孙吉贵 刘叙华 《计算机学报》 EI CSCD 北大核心 1998年第7期627-637,共11页
知识和信念是人工智能领域研究中经常涉及到的两个重要概念.本文讨论了知识和信念的涵义与关系,定义了认识逻辑系统EL,讨论了它的语法和语义,证明了认识逻辑EL不但是可靠的而且是完备的.认识逻辑EL不但可以用来描述人类的认识过程... 知识和信念是人工智能领域研究中经常涉及到的两个重要概念.本文讨论了知识和信念的涵义与关系,定义了认识逻辑系统EL,讨论了它的语法和语义,证明了认识逻辑EL不但是可靠的而且是完备的.认识逻辑EL不但可以用来描述人类的认识过程,还可以用于对常识推理以及分布式系统的形式化描述. 展开更多
关键词 模态逻辑 认识逻辑 知识 信念 人工智能
下载PDF
认知逻辑中逻辑全知问题及其解决方法 被引量:11
15
作者 杨鲲 陈建中 +1 位作者 孙德刚 刘大有 《吉林大学自然科学学报》 CAS CSCD 1999年第3期40-43,共4页
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L,
关键词 认知逻辑 逻辑全知 模态逻辑 AGENT 公理系统
下载PDF
模型检测:理论、方法与应用 被引量:163
16
作者 林惠民 张文辉 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1907-1912,共6页
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测... 随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制.这几个方面之间有着密切的内在联系.不同模态/时序逻辑的模型检测算法的复杂性不一样,优化算法往往是针对某些特定类型的逻辑公式.本文将就这几个方面分别加以阐述,最后介绍该领域的新进展. 展开更多
关键词 系统可靠性 模态/时序逻辑 模型检测 计算机 硬件系统 时空效率
下载PDF
面向对象数据库建模方法与逻辑设计 被引量:8
17
作者 刘培玉 刘法胜 +1 位作者 江志超 王新华 《计算机应用研究》 CSCD 1996年第3期39-41,共3页
本文首先给出了一种用于信息建模的对象式系统分析模型,即对象关系模型ORM(Object-RelationModel):其次介绍了对象关系模型的正确性问题;最后介绍了用对象关系模型进行数据库逻辑设计的方法和步骤。这种模... 本文首先给出了一种用于信息建模的对象式系统分析模型,即对象关系模型ORM(Object-RelationModel):其次介绍了对象关系模型的正确性问题;最后介绍了用对象关系模型进行数据库逻辑设计的方法和步骤。这种模型是对实体联系国(E—R图)的扩充,更适合面向对象数据库的设计;又因ORM模型便于图形描述,因而,支持数据库设计信息建模的辅助软件工具也易于开发实现。 展开更多
关键词 数据库 面向对象 建模 逻辑设计
下载PDF
基于模态逻辑D公理系统的Conformant规划方法 被引量:6
18
作者 吕帅 刘磊 +1 位作者 李莹 石莲 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1160-1168,共9页
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的... 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试. 展开更多
关键词 conformant规划 模态逻辑 自动推理 可满足性 公理系统 D公理
下载PDF
三次样条曲线拟合的算法及实现 被引量:15
19
作者 郭云 吴松强 李建蜀 《计算机应用研究》 CSCD 1996年第6期41-42,共2页
样条曲线拟合是计算机图形应用的重要方面,本文用泰勒展开式求得分段样条曲线函数,可由用户控制的端点条件.求得通用的拟合算法,并用实例验证了拟合的曲线图形效果。
关键词 样条曲线 曲线拟合 算法 CAD
下载PDF
模糊模态命题逻辑及其广义重言式 被引量:18
20
作者 汪德刚 谷云东 李洪兴 《电子学报》 EI CAS CSCD 北大核心 2007年第2期261-264,共4页
首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分... 首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M-W系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M-W只有三种广义重言式. 展开更多
关键词 模糊逻辑 模糊模态命题逻辑 广义重言式
下载PDF
上一页 1 2 18 下一页 到第
使用帮助 返回顶部