分享到:

一个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页) 阅读全文>>

《哲学动态》2018年05期
哲学动态

演绎后承概念的逻辑分析

“逻辑后承”是逻辑学最为核心的概念,这个词的意思与“演绎”“推导”“蕴涵”等近似,大意是指从一些句子到另一些句子的保持有效性的关系。现代逻辑的研究对象就是句子之间的逻辑后承关系,从前提到结论的逻辑后承关系的直观解释是:如果前提为真,那么结论不可能为假。在所有关于逻辑后承的研究中,逻辑后承主要分为语义逻辑后承和演绎逻辑后承。语义逻辑后承的定义为:句子A是句子类X的逻辑后承当且仅当X的每个模型都是A的模型。演绎逻辑后承的定义为:句子A是句子类X的逻辑后承当且仅当A可以由X推导出。这两种逻辑后承概念都可以追述到波兰逻辑学家塔尔斯基(A.Tarski)的工作。塔尔斯基在1936年《论逻辑后承概念》一文中提出了语义逻辑后承的精确定义。(1)该定义是基于塔尔斯基在另一篇论文《形式化语言中真这个概念》中所提出的形式化语言的“真”概念的定义。(2)在此之前,塔尔斯基1930年的两篇波兰语文章采用纯句法的方式,抽象地对逻辑后承概念进行了研究。(3...  (本文共6页) 阅读全文>>

《华侨大学学报(哲学社会科学版)》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页) 阅读全文>>