人工智能研究动态与发展趋势：参加第十五届国际人工智能联合大会总结报告

一、大会概况国际人工智能联合大会(IJCAI)是国际人工智能界最有影响的和权威性的盛会,自1969年以来,每两年举行一次,至今已成功地举行了十五届。本届会议(IJCAI-97)于8月23日至8月29日在日本名古屋市国际会议中心召开,来自47个国家和地区的1310名学者参加了会议。     

面向行动的信念更新

基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础.     

智能Agent程序设计语言IAPL

分析了现有的面向Agent程序设计语言，指出了各自的优缺点。基于智能Agent结构，设计了一个新的智能Agent程序设计语言IAPL；给出了IAPL的语言规范、一组操作原语(信念、意向等心智成份的增加、删除、修改、查询等原语)及Agent之间的通信原语；利用情境演算理论，提供了IAPL语言的语义；提出了在线执行与离线规划相结合的IAPL程序执行方式。     

框架问题的一种可行解

本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围,提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建立以及面向agent的程序设计语言AGPLID的提出提供了必要的理论基础.     

Default reasoning and belief revision: A syntax-independent approach

As an important variant of Reiter‘s default logic.Poole(1988) developed a nonmonotonic reasoning framework in the classical first-order language,Brewka and Nebel extended Poole‘s approach in order to enable a representation of priorities between defaults.In this paper a general framework for default reasoning is presented,which can be viewed as a generalization of the three approaches above.It is proved that the syntax-independent default reasoning in this framework is identical to the general belief revision operation introduced by Zhang et al.(1997).This esult provides a solution to the problem whether there is a correspondence between belief revision and default logic for the infinite case .As a by-product,an answer to the the question,raised by Mankinson and Gaerdenfors(1991),is also given about whether there is a counterpart contraciton in nonmonotonic logic.     

Open logic based on total-ordered partition model

Ｏｐｅｎｌｏｇｉｃ,ｄｅｖｅｌｏｐｅｄｂｙＬｉ[1],ｉｓａｆｏｒｍａｌｓｙｓｔｅｍｆｏｒｍｏｄｅｌｉｎｇｔｈｅｇｒｏｗｉｎｇａｎｄｕｐｄａｔｉｎｇｏｆｋｎｏｗｌｅｄｇｅａｎｄｔｈｅｄｙｎａｍｉｃｓｏｆｆｏｒｍａｌｔｈｅｏｒｉｅｓ.Ｉｔａｌｓｏｓｅｒｖｅｓａｓａｌｏｇｉｃａｌｆｏｕｎｄａｔｉｏｎｆｏｒｋｎｏｗｌｅｄｇｅｂａｓｅｍａｉｎｔｅｎａｎｃｅａｎｄｓｏｆｔｗａｒｅｅｖｏｌｕｔｉｏｎ.Ｒｅｃｏｎｓｔｒｕｃｔｉｏｎａｎｄｃｏｇｎｉｔｉｖｅｐｒｏｃｅｓｓａｒｅｔｈｅｔｗｏｂａｓｉｃｃｏｎｃｅｐｔｓｉｎ…     

全收缩及其与广义收缩之间的关系

首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性，其次通过地全收缩运算假设系统的修改，消除了导致原系统不协调的直接因素，证明若一个全收缩函数满足修改后的各条假设，则该函数一定为最大选择收缩函数，并证明了在非平衡的情形下其假设系统仍不协调；最后给出了满足基本假设的广义收缩函数与全收缩函数之间的互可定义性，说明可以用广义收缩函数部分代替全收缩     

基于情境演算的时序Agent语言TAOPLID的语义

文章对经典情境演算进行适当改造,使之能描述含时间变元的行动.在此基础上,对意向驱动式面向agent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动.最后,给出了基于情景演算理论的离线方式下的时序AOPLID程序语义以及时序AOPLID程序实例.     

虚拟环境的系统设计方法及计算模型研究

面向对象技术和面向Ａｇｅｎｔ技术是虚环境系统的基本设计方法。本文用面向对象的方法来构造Ａｇｅｎｔ,并提供一组支撑Ａｇｅｎｔ的底层计算模型,如神经网络,遗传算法,专家系统和规划管理等。     

一种意向驱动式面向agent程序设计语言

提出了一种意向驱动式面向agent程序设计语言--AOPLID(agent-oriented programming language with intention driver).该语言基于开放式情景演算OSC(open situation calculus),吸收了GOLOG的合理成分,加入对信念、意向、能力、策略等agent心智成分的处理,使用信念修正原语处理通信交互以及事件响应等外因行动,并采用了一种新颖的离线规划和在线执行相结合的运行方式,从而解决了GOLOG语言在应用于面向agent程序设计时不能有效地描述处理agent心智状态,无法处理外因行动等问题.给出了AOPLID语言语法结构,基于OSC的AOPLID程序语义以及AOPLID程序实例.