缺省模态逻辑

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

模态逻辑典范框架几个侧面

对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值得研究。为此,总结了关于典范框架的几个侧面的事实。     

模态逻辑公式的概率真度理论

目的 在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法 从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不同逻辑系统自身的推理特点,寻找模态公式真度的内在关系性质。结果 建立的真度理论分别在基本模态逻辑系统K、模态系统S4和S5中讨论分析了模态公式真度所满足的规律特征。结论 不再受限于可能世界的有限性和概率测度空间的均匀性,进一步完善了模态公式的真度理论,为模态逻辑系统内进行近似推理提供了可行的模式。     

模糊模态命题逻辑的语义

对克里普克语义进行了扩充，给出了模糊化的克里普克语义，然后讨论了模糊模态α-重言式，最后根据模糊关系R的不同情况讨论了相应的模糊模态公式的归约问题。     

关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

强Agent社会智能系统及模态逻辑应用

基于系统对Agent的应用，将Agent分为强Agent和弱Agent两类．论述了有关强Agent的概念及其特性；提出了一个能处理社会智能的模态逻辑系统(MLMS)模型，MLMS采取模态逻辑处理系统中的强Agent精神状态；讨论了MLMS的模态逻辑语义和语法．     

论奎因对模态逻辑的批判

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

强Agent社会智能系统及模态逻辑应用

基于系统对Agent的应用,将Agent分为强Agent和弱Agent两类．论述了有关强Agent的概念及其特性;提出了一个能处理社会智能的模态逻辑系统(MLMS)模型,MLMS采取模态逻辑处理系统中的强Agent精神状态;讨论了MLMS的模态逻辑语义和语法．     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

环保档案信息资源共享框架研究

在社会经济快速发展的过程中,环保已经成为现代社会的一个热点问题。在人们以发展经济为代价破坏自然资源的过程中,环保已经成为一项社会共同的责任。在环保实施中,有效利用环保档案信息具有重要的意义。环境保护行政主管部门以及广大学者已将环保信息资源共享作为一项工程来完成。本文就环保档案信息资源共享的框架进行研究,以期能够对环保档案信息资源共享的建立有更近一步的了解。     

案例智能技术的逻辑学研究

逻辑学是研究思维判断真伪性的学科,是人类思维之本;深入研究人类思维推理的逻辑学理论基础,有助于更好地实现案例智能．文章从知识发现的角度对案例智能的逻辑学进行了研究;针对人类创造性思维的活动过程中具有某种不确定性的归纳、类比推理以及模糊推理等,案例智能技术采用柔性逻辑,可以解决包容各种不确定性的、灵活的、自适应的面向真实世界的柔性问题,便于人们多信道地获取知识．     

Modal extension rule

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

强模态归结

研究了命题模态逻辑Ｋ,Ｋ４,Ｄ,Ｄ４,Ｔ,Ｓ４的“”型模态逻辑结果的自动推理．提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结．证明了强模态归结的可靠性与完备性．     

随机锤击法识别专用车架结构模态参数

结构动态试验中,用锤击法识别结构模态参数,近几年来已被广泛应用,通常锤击法激振能量有限,测得激励和响应数据信噪比甚低,影响模态参数识别的成败。本文提出用一种随机锤击法识别结构模态参数,它能将更多能量输入结构,提高了数据的信噪比,加快了试验速度。本文结合具体数据作出了论证。在4 t重复杂汽车吊专用车架上仅用280g重的小力锤,满意地获得了结构模态参数,并且与一般锤击法试验作了对比分析。     

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

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

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

综框的模态结构特性及其能量分布

介绍了综框的激振试验分析方法,使用频谱分析仪和快速傅立叶变换(FFT)以测定综框的动态特性,研究综框振动信号的特点,比较了配在日本ZA型筘幅190cm喷气织机上的两种不同厂家生产的综框的模态参数和谱能密度,试验发现两种综框在谱能分布上的差别,通过这些谱线的特征可评估综框的质量.     

电动轮自卸车车架模态分析

本文对电动轮自卸车车架的结构进行有限元模型简化,分别用板单元计算模型,梁单元计算模型进行了模态分析。通过计算结果与实验结果比较,得出了既简单又符合工程实际、满足工程精度要求的模型。