张东摩
- 作品数:30 被引量:96H指数:5
- 供职机构:南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术理学哲学宗教机械工程更多>>
- 时序Agent程序设计语言TAOPLID的离线解释器
- 2005年
- AOPLID是一种面向agent程序设计语言。本文旨在对AOPLID语言进行时序扩充,使之能表达并处理带时间参数的并发行动,基于离线方式下AOPLID程序的语义,用Prolog语言实现时序AOPLID语言(TAOPLID)的离线解释器。首先,我们对经典情境演算进行适当改造,使之能描述含时间变元的行动,因为持续行动一般可认为是具有瞬时开始行动和瞬时终止行动的过程,所以可以将一个持续动作分解为两个时间上互不相交的瞬时动作,再引入一个新的关系流刻画这两个瞬时动作的执行情况,从而可在扩充后的情境演算中表达带时间参数的并发行动。其次,为使TAOPLID离线解释器方便处理以集合方式表示的TAOPLID程序,设计并实现了TAOPLID预处理器,它将TAO-PLID程序的集合形式转换成Prolog子句形式,然后通过TAPOLID离线解释器对其解释生成一可执行的原子行动序列。
- 李斌唐小燕吴梅丽张东摩吕建
- 关键词:程序设计语言AGENT离线解释器情境演算再引入
- 中介时序逻辑系统MTL的完备性被引量:2
- 2002年
- 本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
- 施庆生张东摩朱梧槚
- 关键词:MTL中介逻辑
- 基于全序划分结构的开放逻辑被引量:1
- 1998年
- 利用全序划分结构刻画开放逻辑中知识集的可信程度 ,通过重新定义重构概念 ,解决重构操作的唯一性问题 .基于新定义的重构运算 ,证明了只要认知者对新知识不总是采取极端的怀疑态度 ,且信度改变遵循最小改变策略 ,则其认识进程均可收敛 。
- 张东摩李未
- 关键词:开放逻辑知识库
- 意向驱动的AOP语言AOPLID被引量:2
- 2000年
- 描述一种基于情境演算的、意向驱动的AOP语言———AOPLID ,并给出AOPLID对追杀问题的程序设计实例 .该语言克服了GOLOG的缺点 。
- 骆斌陈武华张东摩陈世福
- 关键词:AGENTAOP情境演算
- 中介自动推理的理论与实现(Ⅰ)——中介命题逻辑的表推演系统被引量:3
- 1994年
- 本文后其后续文章将系统地探讨中介逻辑诸子系统的自动推理理论及其实现方式。本文着重讨论中介命题逻辑的自动定理证明理论。文中给出了中介命题逻辑MP及MP的表推演系统,证明了该系统的可靠性与完备性,并给出利用这一理论实现MP与MP系统定理自动证明的算法。
- 朱梧槚张东摩
- 关键词:自动定理证明中介逻辑
- 经典公理集合论系统与中介公理集合论系统之间的包含关系被引量:2
- 1997年
- 本文首先在中介公理集合论系统MS中构造出Peano自然数系统,以此为基础重新定义了MS中的良集概念,证明了新定义的良集满足经典公理集合论系统ZFC-(ZFC中去掉正则公理的集合论系统)的全部公理,从而说明经典公理集合论系统ZFC-为中介公理集合论系统MS的子系统.
- 张东摩肖奚安
- 关键词:公理集合论中介逻辑
- 智能Agent程序设计语言IAPL被引量:1
- 2004年
- 分析了现有的面向Agent程序设计语言,指出了各自的优缺点。基于智能Agent结构,设计了一个新的智能Agent程序设计语言IAPL;给出了IAPL的语言规范、一组操作原语(信念、意向等心智成份的增加、删除、修改、查询等原语)及Agent之间的通信原语;利用情境演算理论,提供了IAPL语言的语义;提出了在线执行与离线规划相结合的IAPL程序执行方式。
- 李斌唐小燕吴梅丽张东摩吕建
- 关键词:程序设计语言智能AGENT面向AGENT删除离线算理
- 数学直觉形象思维的应有地位及其计算机模拟问题
- 1996年
- 本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面,阐明形象思维在处理实际问题时的重要作用.然后又从数学方法论的几种典型方法出发,讨论数学发现的计算机模拟问题.并在机器发现之简单回顾的基础上,对上述计算机模拟问题的研究方法提出一些看法,并指出其研究目的与意义.
- 朱梧槚肖奚安王建东陈松灿张东摩
- 关键词:形象思维逻辑思维数学方法论计算机模拟
- 中介公理集合论系统与经典公理集合论系统的关系——形式证明部分
- 1997年
- 在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。
- 张东摩张东摩施庆生
- 关键词:数理逻辑集合论
- 信念修正理论的扩充及其应用研究
- 张东摩
- 关键词:信念修正开放逻辑非单调推理