王元元
- 作品数：7 被引量：0H指数：0
- 供职机构：南京通信工程学院更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 一个模拟非单调推理的多重模态逻辑系统
- 王元元
- 关键词：逻辑系统模态逻辑
- 模拟非单调推理的多重模态逻辑系统
- 王元元
- 关键词：逻辑系统语义模态逻辑
- Petri网语言与传统形式语言的关系
- 1996年
- 本文介绍了一种形式语言—Petri 网语言,并讨论了 Petri 网语言与传统形式语言(正规语言、上下文无关语言、上下文有关语言以及递归枚举语言)的关系。
- 陈军王元元
- 关键词：PETRI网语言正规语言形式语言
- 基于图重写系统的函数式语言Clean的类型系统
- 行协议验证的研究中，研究人员采用并实现用一种惰性高阶纯函数式语言Ｃｌｅａｎ作为验证的核心计算器。Ｃｌｅａｎ语言的实现是基于图重写系统的。该文介绍了该计算模型的类型系统，讨论了它是如何完成类型检测和类型推理的。并重点介绍了...
- 蒋慧张兴元王元元
- 非单调启发式推理系统
- 1991年
- 本文首先给出一个以启发式引入假设的自然推理一阶逻辑系统,由于本系统以引入假设和消去假设作为推理的基本手段,因而极易扩展为非单调的启发式自然推理系统,本文对此作了尝试。
- 王元元
- 关键词：非单调人工智能
- 关于经验的模态逻辑系统
- 1989年
- 本文提出了两组新的模态词“一贯地(真)”、“偶然地(真)”以及“经验地(真)”、“有先例(真)”,推广了Kripke语义,并利用它们建立起一个关于经验的模态逻辑系统??.
- 王元元蔡庆生
- 关键词：模态逻辑
- 智能的限定说
- 1993年
- “什么是智能”已成为哲学家、脑科学家、心理学家、计算机人工智能(AI)专家所共同面临的挑战。面对这一挑战,AI科学家除了应战别无选择,因为AI发展的历史和现状都已证明,对这一问题的正确回答,关系着AI的方向、成败乃至存亡。本文正是试图从AI的立场出发,借鉴AI的成果、方法,提出关于智能的一种假设,从而深刻揭示人类智能的本质及实现计算机智能模拟和智能化的可能途径。
- 王元元张学平
- 关键词：人工智能
