Fuzzy逻辑新进展

介绍了最新发展起来的一种Fuzzy命题逻辑,以这种逻辑为基础的3算法为多种Fuzzy推理和Fuzzy控制提供了严密的数学规范和可靠的逻辑支持     

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式－线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

间断区间时态逻辑中的一些基本概念

定义了间断区间时态逻辑中的一些基本概念：真值联结、公理、分离原则、证明、定律，这些概念与传统逻辑中相应的概念有较大的差异。     

交互时态信念逻辑及其模型检测

交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

Fuzzy归纳逻辑初探(摘要)

本文旨在初探归纳逻辑的核心问题——归纳推理中的因果联系与若干不完全归纳推理(渐近推理)的若干模式,所采用的办法是模糊子集与模糊变换的方法。一、FuZZy因果联系本文给出一种利用模糊变换,从多原因中寻求影响结果变化最大的主因的能行可判定方法。这种方法赖以支持的数学模型、特定条件下(小前提为R变态)的具体方法,见“Fuzzy因果     

带Fuzzy外壳的险象识别逻辑

结合Fuzzy命题逻辑的思想和组合线路险象识别技术的背景，构造了一种带Fuzzy外壳的险象识别逻辑，并对其进行了语义研究，获得若干有趣的结果。     

宾语从语中时态的逻辑意义

宾语从句就是在复合句中用作宾语成份的从句,如果把整个宾语从句看作一个单词,就很容易理解它在整个复合句中的地位.     

自动化客户服务管理问题时态逻辑描述

在扩展的时太逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为。     

宾语从语中时态的逻辑意义

宾语从句就是在复合句中用作宾语成份的从句 ,如果把整个宾语从句看作一个单词 ,就很容易理解它在整个复合句中的地位。1　结构(1)如果宾语从句为陈述句 ,用连词ｔｈａｔ引导 ,ｔｈａｔ本身并无实际意义 ,也不作宾语从句中的任何成份 ,因而常可省略 ,特别是在口语中。如 :ａ .Ｍｙｂｒｏｔｈｅｒｓａｉｄ (ｔｈａｔ)ｈｅｗｏｕｌｄｂｅｂａｃｋｉｎｔｗｏｄａｙｓ.ｂ .Ｓｈｅｓａｉｄ (ｔｈａｔ)ｓｈｅｗａｓｍｕｃｈｂｅｔｔｅｒｔｈａｎｂｅｆｏｒｅ.(2 )如果宾语从句为一般疑问句 ,用连词ｗｈｅｔｈｅｒ或ｉｆ (多用于口语中 )引导 ,如 :…     

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

一些Fuzzy逻辑函数最简式唯一性的探讨

通过对一些Fuzzy逻辑函数化简的讨论,得出Fuzzy逻辑函数化简唯一性的普遍规律,其中提出了“不唯一规则”     

一类L—Fuzzy集的逻辑结构

设L={0,α,β,1}为链或布尔格,L~n中L—模糊集由(?)L(L~n)=={μ|μ~2L~n→L}定义的。本文主要结果为: (1)对μ∈(?)L(L~n),μ可写成如下形式μ=μ~0·0 μ~1·1 μ~2·α μ~3·β=sum from j=0 to 4n-1 α_jm_j其中,α_j∈{0,α,β,1} m_j=multiply from i=1 to n X_i~(ji) (X_i~(ji)为X_i逻辑分量) (2){X|μ(x)=α_i}=sum from pi to m_i (3)L~n中L—模糊集的α—水平集为N_μ(α_i)={X|μ(X)≥α_i,X∈L~n)N_μ(α_i)具有如下性质: 1°、当α_1≥α_2时,N_μ(α_1)相似文献   

Fuzzy卡诺图及模糊逻辑函数最小化

根据模糊逻辑函数的定义、性质和范式、提出Ｆｕｚｚｙ卡诺图及其运算规则,并将其应用于模糊逻辑函数的最小化。     

实时系统的一种定量时态逻辑描述方法

针对Ｍａｎｎａ－Ｐｎｕｅｉｌ命题线性时态逻辑（ＰＬＴＬ）在描述实时性方面的不足，本文扩充ＰＬＴＬ，引入物理时间因子，提出一种用于实时系统的定量时态逻辑，并给出一个实例－监视器计时网（ＷＩＮ）的定量时态逻辑描述。