分享到:

一个L_(m4c)意图后承的判定算法

1 引 言进入 90年代以来 ,"多主体系统 " (Multi- Agent System)逐步成为人工智能研究的主要问题 .其中 ,"慎思式主体 " (de-liberate agent)是目前研究较多的一类主要的 "主体 " ,这种主体能够在动态环境中完成 "基于目标的行为 " .目前 ,研究 "慎思式主体 "的主要方法是 " BDI建模 " ,B(Belief)、D(Desire)和I(Intention)分别是信念、目标和意图的逻辑抽象 .对于“意图”,一种比较重要和流行的理解是将意图解释为慎思式主体规划能力或规划功能的逻辑抽象 ;因此 ,一项意图被视为主体的一项行动计划以及对该计划的执行决定 .在此理解下 ,意图成为慎思式主体行为控制的核心要素 ,从而使意图的形式化研究在 BDI建模中发挥关键作用 .意图形式化研究的基本目标之一是要澄清什么是意图 .这个任务又可分为两个方面 .(1)逻辑学方面 ,其核心内容是给出意图后...  (本文共4页) 阅读全文>>

《内蒙古师大学报(哲学社会科学版)》2001年01期
内蒙古师大学报(哲学社会科学版)

论逆后承条件与亨普尔定性确证理论的不相容性

在科学探究活动中人们往往是先提出一个或多个假说 ,然后根据实验或观察报告对其进行检验、选择、修正。考察实验或观察报告与假说之间的逻辑联系 ,就形成了确证理论。逆后承条件、亨普尔定性确证理论就是科学实践中经常用到的确证理论 ,而亨普尔定性确证理论的基本内容就是确证的充分性条件和满足性标准。一、逆后承条件、蕴涵条件和特殊后承条件我们先考察一下这样一个确证事例 :关于火星轨道的观察报告确证开普勒的行星运动定律 ;而牛顿的力学定律又蕴涵着开普勒的行星运动定律 ;于是 ,关于火星轨道的观察报告确证牛顿力学定律。实际上 ,这个被广泛承认有效的推理中隐含着一个确证理论 ,亨普尔首先把这种理论称为“逆后承条件 (converseconsequence condition简记作 CCC)”,即“无论什么东西只要能确证给定的假说 ,也就确证所有比之更强的假说”[1 ] (P491 )。我们可以把逆后承条件的含义简单地解释如下 :逆后承条件 (CCC...  (本文共5页) 阅读全文>>

《华侨大学学报(哲学社会科学版)》2013年01期
华侨大学学报(哲学社会科学版)

逻辑力量之源——论逻辑后承概念

逻辑后承(logical consequence)又称逻辑推论。是逻辑的一个核心概念,首先,作为一种标准,一个系统是否是逻辑系统其主要的判定标准是它的逻辑后承概念是否有效(如在这种意义上一阶逻辑是有效的,而二阶逻辑是非有效的)。其次,不同的逻辑系统往往有不同的后承理论(如相干逻辑、次结构逻辑、动态逻辑和模态逻辑就有与经典逻辑不同的后承概念)。同时,作为一个前理论的概念,逻辑后承也是每一个有推论能力的人实际拥有的概念。逻辑后承涉及的主要问题是:什么是逻辑后承?逻辑后承具有何种性质?一给定句子是另一给定句子(集)的逻辑后承应当满足的条件是什么?前理论的和理论化的后承概念之间是一种什么样的联系?理论化的后承概念的哲学意义是什么,他们之间是什么关系?怎样才算是一个成功的后承概念的定义?同时,逻辑后承还与一系列重要而复杂的问题联系在一起,例如关于形式语言和自然语言之间的关系问题,关于逻辑形式的问题,关于逻辑词项和非逻辑词项的问题,以及关于...  (本文共8页) 阅读全文>>

南京航空航天大学
南京航空航天大学

关于对偶占优后承表示定理的研究

非单调逻辑是人工智能研究领域的一个重要方向,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的重要内容之一。占优后承是非单调逻辑中研究和应用较为广泛的一种推理系统。近年来,K.Britz,J.Heidema和W.Labuschagne以溯因推理为直观背景,在经典的占优后承基础上引入了对偶占优后承的概念。本文旨在研究对偶占优后承的表示定理,主要工作包括如下方面:1.研究了对偶占优后承的语义,并利用经典的构造占优模型的方法给出了对偶占优后承的表示定理。2.对K.Britz提出的合理右弱律的语义特征展开研究,基于层化占优模型建立了DP+RRW系统的表示定理。3.将占优后承的(?)_D(·)算子引入对偶占优后承的语义研究中,证明了(?)_D(·)算子保持占优模型生成的对偶占优后承。4.通过构造反模型说明了一系列非HORN型规则对偶占优后承不具有普遍性,并着重研究了Dual Weak Determinacy(DWD...  (本文共65页) 本文目录 | 阅读全文>>

《逻辑研究专辑》2001年00期
逻辑研究专辑

一个关于意图后承的逻辑

陈小平【11提出了一个意图后承的概念。本文对 此概念作了一些改动,并在此荃础上,给出一个刻 画意图后承的逻辑ICL。 1 ICL的基础 ICL以古典命题逻辑为基础。除了常用的赋值 (本文称为古典赋值),重言式、矛盾式、逻辑等值(本 文称为古典等值)外,还需要以下一些记一号和概念。 a中{_I_l现的全体命题变项的集合记作[a】。 定义1.1非退化设a是古典公式。称a是非 退化的,如果a既不是矛盾式,也不是重言式。 显然,a是非退化的,当且仅当,既存在古典 赋值v,使得V(a)=t,也存在古典赋值v,使得 V(a)=几 定理1.1如郑和沪都是非退化的,且少]n伸] =O,贝叨伽/P)也是非退化的。. 定义1 .2强等值设a,月是古典公式。称a不明 强等值,如果a和刀古典等值且[a】二梦]。 定理1.2如果沪和劝强等值,则 (l)a和a伸/司也强等值。 (2)a是非退化的,当月一仅当,a伸/川是非退化 的。. 定义1.3下反对性质设...  (本文共6页) 阅读全文>>

湘潭大学
湘潭大学

论逻辑后承与逻辑真

从逻辑哲学的角度来说,逻辑是研究后承关系、有效推理的理论。有效推理的核心是某一陈述能从另一陈述或陈述集合中所得出。也就是说,如果我们接受某个或某些陈述为真,那么我们能够断言另外一些陈述也必然为真。而这种得出关系就被称之为后承关系。特别地,如果这种关系能够被这些陈述所包含的形式所保证,并且这种关系是逻辑必然的,那么我们就说前提与结论具有逻辑后承关系,即结论是前提的逻辑后承。正如斯蒂芬·里德(T.Reid)所说,逻辑后承是逻辑学尤其是现代逻辑当中一个核心概念。①而且能否全面地理解和掌握好逻辑后承及其相关问题,是关系到能否真正掌握现代逻辑的关键所在。所以,对逻辑后承的研究,具有重要的理论和现实意义。本文是从逻辑后承概念的历史发展这个角度出发,通过比较研究与它紧密联系的其它一些基本的逻辑概念,系统地论述了逻辑后承的基本特征及其相关问题。首先,论文详细地考察了逻辑后承的各种定义,总结了研究逻辑后承的方法并指出各种研究方法所存在的一些缺陷。...  (本文共49页) 本文目录 | 阅读全文>>