◆218 北京科技大学学报 2004年第2期 一问题的认定恰恰暴露出当前基于逻辑的agent 2 Singh M P.Multiagent Systems:A Theoretical Framework 研究至少存在文中所指出的两大盲点. for Intention,Know-how,and Communication [M].Ber- lin:Springer-Verlag,1994 3结论 3 Dennett D C.The Intentional Stance [M].Cambridge, Mass:MIT Press,1987. 从其他研究者得出逻辑全知结论的两个基 4 Wooldridge M J,Jennings N R.Intelligent agents:theory 本依据出发,对这一问题做了深入的讨论.认为 and practice [J].Knowl Eng Rev,1995,10(2):115 基于模态逻辑和可能世界语义进行agent研究会 5刘大有,杨鲲,陈建中,Agent研究现状与发展趋势 [J.软件学报,2000,11(3):315 导致逻辑全知问题的看法是不准确的.得出这样 6 Rao A S,Georgeff M P.BDI agent:from theory to practice 的结论主要源自于人们基于逻辑的概念与方法 [A].Georgeff M P,Proceedings of the Ist International 进行意识系统研究时存在的认识盲点.因为将逻 Conference on Multi-Agent Systems (ICMAS-95)[C]. 辑学的概念和方法应用于agent研究是一个应用 San Francisco:ACM Press,1995.312 的概念,此时有关逻辑推理过程的实现是基于 7杨鲲,陈建中,孙德刚,等.认知逻辑中逻辑全知问 agent的逻辑推理实现概念.这样,agent得出这样 题及其解决方法[刀.吉林大学自然科学学报,1999, 或那样结论的过程也是其逻辑推理的实现过程, 23(3:40 另一方面,因为意识系统并不能简化为单纯的逻 8 Levesque H J.A logic of implicit and explicit belief [A]. 辑系统来研究,以意识系统特点去约束逻辑系统 Proceedings of the Fourth National Conference on Artifi- cial Intelligence (AAAI-84)[C].Austin,TX,1984 往往是不合适的,如果能澄清这些认识,邦么模 9 Konolige K.A Deduction Model of Belief [M].London 态逻辑和可能世界语义就不会导致一些学者所 and San Mateo,CA:Pitman Publishing and Morgan Ka- 认为的逻辑全知问题.本文的工作一方面有助于 ufmann,1986. 人们澄清关于逻辑全知问题的认识,另一方面还 10程显毅,石纯一.避免逻辑全知的BDI语义[).软件 有助于改进基于逻辑的agent研究. 学报,2002,13(5):966 I】胡山立,石纯一.Agent形式化研究的逻辑工具仍 参考文献 计算机科学,1999,26(12):1 1 Bradshaw W.An introduction to software agents [A].In: 12郑文辉,梁庆寅,吴志雄,等,逻辑导论M广州: Bradshaw M.Software Agents [C].Menlo Park,CA: 中山大学出版社出版,1996 AAAI Press,1997. Two Blind Spots in Recent Logic-Based Agent Study Inferred from the Declaration of Logical Omniscience Problem LI Jinhou,JIANG Jingping Electrical Engineering Department,Zhejiang University,Hangzhou 310027,China ABSTRACT Through detail analysis and strict argumentation about two main premises based upon that scholars give the declaration of logical omniscience problem,it was found that the conclusion was made in fact according to two obscure ideas related with the approach to agent study based upon modal logic.From those it is pointed out that, if we admit logical reasoning is in fact an executing process of a studied agent or computer,and if we do not reduce an intentional system as a pure logical system,there surely will not be logical omniscience problem,which is an im- portant conclusion for the vigorous study about agent based upon modal logic. KEY WORDS modal logic;possible world semantics;logical omniscience problem;intentional system;agent- based realization of logical reasoning一 2 18 - 北 京 科 技 大 学 学 报 2 0 4 年 第 2 期 一 问题 的认 定恰恰 暴 露 出当前基于 逻辑 的 ga e ni 研 究 至少 存在 文 中所指 出的两 大盲 点 . 3 结论 从 其他 研 究 者 得 出逻 辑 全 知 结 论 的两 个 基 本依据 出发 , 对这 一 问题 做 了深 入 的讨论 . 认 为 基 于模态逻 辑 和可 能世 界语 义进 行 a g e n t 研究会 导致逻辑 全 知 问题 的看 法是 不准确 的 . 得 出这样 的结 论 主要 源 自于人 们基 于 逻 辑 的概 念 与方 法 进 行意识 系统 研究 时存在 的认 识盲 点 . 因为将 逻 辑 学 的概念 和 方法 应用 于 ag e in 研 究 是 一个应 用 的概 念 , 此 时有 关 逻辑 推 理 过程 的实 现 是基 于 ag e in 的逻 辑推 理 实现 概念 . 这 样 , ag e in 得 出这 样 或 那样 结论 的过程 也是其 逻辑 推理 的 实现过程 . 另一方面 , 因为意 识系 统并不 能简 化为 单纯 的逻 辑 系统来 研 究 , 以意识 系统特 点去 约束 逻辑 系统 往 往是 不合 适 的 . 如果 能澄 清 这些 认 识 , 那 么 模 态 逻 辑和 可 能世 界 语 义就 不 会 导致 一 些 学者 所 认 为 的逻 辑全 知 问题 . 本文 的工作 一方 面有助 于 人们 澄清 关于逻 辑全 知 问题 的认 识 , 另 一方面 还 有 助于 改进 基 于逻辑 的 ag e in 研 究 . 参 考 文 献 1 B r ad s haw .W A n i ntr o duc t i o n t o s o if w aer ag e n t s [ A ] . I n : B r a d s ha w M . 5 0 介w a er A g e n st 【C ] . M en l o P ar k , C A : A A A I P er s s , 19 9 7 . 2 Si n hg M R M u it iag ent s y set m s : A T五e o ert i e al F r 即. e w o rk fo r I n t e nt i on , nK ow 一 h o w, an d C o m m耐 e at i o n [M ] . B -er li n : S Pir n g e -r Ve ir ag , 19 9 4 . 3 D e n e t D C , T h e l n t e n t ion a l s t a n e e 【M 』 . C am ibr dg e , M as s : M I T P r e s s , 19 8 7 . 4 从O/ 0 1 idr dg e M J , J e nm g s N R . I n t e l lige nt a g e n st : het 衅 an d P acr t i e e [ J ] . K力o w l E ng eR v, 199 5 , 10 (2 ) : 115 5 刘 大有 , 杨鳗 , 陈建 中 . A ge in 研 究现状 与 发展趋 势 { JI · 软件学 报 , 2 0 0 0 , 1 1(3) : 3 1 5 6 R ao A S , G co ger f M .P B DI a g e :nt fr o m het o yr ot P r a c ti ce [A] . G e o gr e f M P, P r o c e e di n g s o f het l s t I n te m a tl o n a l C o n fe r e n c e o n M u lt i 一 A g e in s y s te m s (IC M A s · 9 5) [C ] . S an F r acn i s e o : A C M Per s s , 1 99 5 . 3 12 7 杨鸳 , 陈 建 中 , 孙德 刚 , 等 . 认知逻 辑 中逻 辑 全知 问 题及 其解 决方 法 闭 . 吉林 大学 自然科 学学报 , 19 9 , 2 3 ( 3 ) : 4 0 8 L e ve s q u e H J . A l o ig c o f im P li e i t an d e x P1i c i t be li e f A[ 1 . Por e e e d i n g s o f het F o u rt h N iat o nal C on fe r e n c e on A rt iif - e i a l I n et ll ige nc e ( A A A I 一 8 4 ) [ C ] . A u s int, TX , 19 84 9 K o no Ii g e K . A D e du ct i o n M do e 1 o f B e li e f 【M』 . L o n d o n an d s an M a t e 。 , C :A P imt an P u b lis hi n g an d M o gr an aK - u ifn a n l l , 1986 . 10 程 显毅 , 石 纯一 避 免逻辑 全知 的 B D I语 义 IJ] . 软件 学报 , 2 0 0 2 , 13 ( 5 ) : 9 6 6 1 胡 山立 , 石 纯一 A ge nt 形式 化研 究 的逻 辑 工具 【几 计算机 科 学 , 19 9 9 , 2 6 ( 12 ) : l 12 郑文辉 , 梁 庆寅 , 吴 志雄 , 等 . 逻辑 导论 【M 】 . 广 州 : 中山 大学 出版社 出版 , 19 9 .6 T W o B li n d S P o t s i n R e c e n t L o g i e 一 B a s e d A g e n t S ut 勿 I n fe er d fr o m ht e D e e l a r a t ion o f L o g i e a l O m n i s e i e n c e P r o b l e m LI iJ 月h 口 u, 汤阴 N G iJ n即 翻g El e ictr ca l Egn in e e inr g D eP a rt m e成 Z hej ian g nU i v e sr iyt, Han 乡山 ou 3 10 0 2 7 , C h i n a A B S T R A C T T h r o u gh d e t ia l an aly s i s an d s itr e t 田名u m e n at t ion ab o ut tw o m ian P r e m i s e s b as e d uP on t h at s c ho lars ig v e ht e d e e l a r a tion o f l o g i e a l o m n i s e i e cn e P or b l e m , it w as fo nU d ht at ht e e on e lus ion w as m ad e i n fa c t ac c o r d ign ot wt o Ob s e uer ide as er lat e d iw ht th e aP Por ac h t o ag e in s tu d y b as e d uP on m o dal log i e . F r o r O hot s e it 1 5 op i ent d o ut ht at , if w e a dm it l o g i e a l r e as o n ign 1 5 i n fac t an e x e e iut n g rP o e e s s o f a s tU d i e d ag ent o r e o m Puet ’r an d if w e do n o t er d u e e an int e in ion al sy s t e m as a P uer l o g i e a l s y s t e m , het er s uer ly w ill n o t b e l o ig e a l om s e i e n e e P r o b 1 em , w ih ch i s an 加 - P o 功功 t c o n e lus i o n fOr ht e v i g or us s ot d y a b o ut ag e n t b a s e d uP o n m o d a l l o g i c . K E Y W O R D S m o d a l l o ig e : P o s s i b l e w olr d s e m ant i e s : l o g i e a l o mn i s e i e cn e P or b l em : int e n ti o an l sy s t em : ag ent - b as e d er a li z iat on o f l o g i e a l er a s o n i n g