李斌
- 作品数：3 被引量：9H指数：2
- 供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系更多>>
- 发文基金：江苏省青年科技基金中国航空科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于行动理论的智能体模型被引量：5
- 1999年
- 结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后。
- 李斌张东摩朱朝晖朱梧槚
- 关键词：智能体模型情境演算
- 框架问题的一种可行解被引量：2
- 2000年
- 本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建立以及面向agent的程序设计语言AOPLID的提出提供了必要的理论基础。
- 郭磊张东摩李斌
- 关键词：情境演算可行解知识表示人工智能
- 单可表示类的特征被引量：2
- 2001年
- 择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。
- 朱朝晖李斌陈世福朱梧檟
- 关键词：表示定理人工智能常识推理
