搜索筛选:
搜索耗时1.4920秒,为你在为你在102,285,761篇论文里面共找到 43 篇相符的论文内容
发布年度:
[期刊论文] 作者：张东摩,
来源：计算机科学 年份：1998
一、大会概况国际人工智能联合大会(IJCAI)是国际人工智能界最有影响的和权威性的盛会,自1969年以来,每两年举行一次,至今已成功地举行了十五届。本届会议(IJCAI-97)于8月23...
[期刊论文] 作者：李斌,张东摩,
来源：南京航空航天大学学报 年份：1999
结合ＢＤＩ模型和情境演算的优点构造了一个ａｇｅｎｔ模型。在ａｇｅｎｔ模型中，ａｇｅｎｔ的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果ａｇｅｎｔ的心智状态是信息完全的且在流中添加情......
[期刊论文] 作者：李斌,张东摩,
来源：南京航空航天大学学报 年份：1999
对面向ａｇｅｎｔ的程序设计语言ＡＯＬＩＤ进行时态扩充，使之能表达并处理带时间参数的并发行动。对经典情境演算进行适当改造，使之能描述含时间变元的行动，因为持续行动一般可认为是具有瞬时开始行......
[期刊论文] 作者：李斌,张东摩,
来源：扬州大学学报：自然科学版 年份：1999
ＡＯＰＬＩＤ语言是以现有的情境演算理论和基于意向驱动方式的ａｇｅｎｔ模型为理论框架而建立的一种面向ａｇｅｎｔ的程序设计语言，介绍了该语言的程序组成及程序的运行，并通过一电梯控制程序说明了如何该语言......
[期刊论文] 作者：施庆生, 张东摩,,
来源：南京航空航天大学学报 年份：1996
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础，中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用为将中介......
[期刊论文] 作者：张东摩,施庆生,
来源：南京航空航天大学学报 年份：1997
首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性......
[期刊论文] 作者：张东摩,施庆生,
来源：南京航空航天大学学报 年份：1997
在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质，证明良集完全满足经典满足经典公理集合论系统的全部公理，且其配套的逻辑系统恰为中介的二值子系统ＦＭＬ，说明整个经典数......
[期刊论文] 作者：施庆生,张东摩,
来源：数学研究与评论 年份：1998
本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性。最后对ＭＴＬ系统和经典时序命题逻辑系统进行了对比，指出经典......
[期刊论文] 作者：张东摩,朱朝晖,
来源：软件学报 年份：2000
基于可能模型方法（ｐｏｓｓｉｂｌｅ ｍｏｄｅｌ ａｐｐｒｏａｃｈ，简称ＰＭＡ），提出了面向中行动的信念更新的概念，证明了在信息完备的情境演算系统中，一个一阶公式在情境下成立当且仅它属于情境下的信念集。这一结果为有效避......
[期刊论文] 作者：李红兵,张东摩,
来源：计算机学报 年份：1999
面向对象技术和面向Ａｇｅｎｔ技术是虚环境系统的基本设计方法。本文用面向对象的方法来构造Ａｇｅｎｔ，并提供一组支撑Ａｇｅｎｔ的底层计算模型，如神经网络，遗传算法，专家系统和规划管理等。......
[期刊论文] 作者：张东摩,李红兵,,
来源：计算机科学 年份：1998
一、大会概况国际人工智能联合大会(IJCAI)是国际人工智能界最有影响的和权威性的盛会,自1969年以来,每两年举行一次,至今已成功地举行了十五届。本届会议(IJCAI-97)于8月23...
[期刊论文] 作者：张东摩,李未,
来源：Science in China(Series E:Technological Sciences) 年份：1998
在开的逻辑的重建的唯一的问题被介绍命令总数的分区的概念处理，为为知识的信仰度建模，并且重新定义重建操作的订的结构。基于产生定义，为认知过程的集聚的一个重要条件被给。新......
[期刊论文] 作者：宫宁生,张东摩,
来源：南京航空航天大学学报 年份：1995
中介逻辑是一个新的逻辑系统，该系统的创立有明显的哲学背景，自创立后得到了很大的发展。在数理逻辑以及计算机科学领域已发展了中介模态逻辑以及ＭＩＬＬ等中介程序计设 语言，但对作为......
[期刊论文] 作者：张东摩,顾红芳,
来源：航空学报 年份：1999
基于全序划分结构给出了信念修正理论中的信念修正操作，信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句......
[期刊论文] 作者：施庆生,张东摩,等,
来源：数学研究与评论 年份：2002
本文对[1]中的系统MTL进行了进一步的讨论，给出了它的模型论性质，基于中介逻辑，构造了一种可传有序模型，证明了MTL系统的完备性。...
[期刊论文] 作者：张东摩,顾红芳,
来源：计算机学报 年份：1999
首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性，其次通过地全收缩运算假设系统的修改，消除了导致原系统不协调......
[期刊论文] 作者：张东摩,肖奚安,
来源：数学研究与评论 年份：1997
本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，为此以基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ＾－的全部公理，从而说明经典公理集合论系统ＺＦＣ＾－为中介......
[期刊论文] 作者：李斌, 张东摩, 吕建,
来源：微电子学与计算机 年份：2005
文章对经典情境演算进行适当改造,使之能描述含时间变元的行动.在此基础上,对意向驱动式面向agent程序设计语言AOPLID进行时序扩充,使之能表达并处理带时间参数的并发行动.最...
[期刊论文] 作者：张东摩,陈世福,
来源：软件学报 年份：1997
本文介绍面向智能体的开发环境中智能体心智状态的表示与处理方法。文中首先概述了ＡＯＤＥ系统中单个智能体的结构及各模块的功能，其次引入了一种用于描述心智能状态的时态逻辑系统系......
[期刊论文] 作者：郭磊,张东摩,李斌,,
来源：模式识别与人工智能 年份：2000
本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应...
相关搜索：
