聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 常识问题——常识推理的逻辑基础
出处:计算机研究与发展 1997年第6期 407-414,共8页
摘要:本文主要讨论常识推理的逻辑基础,基于一条从非单调推理到常识推理的技术途径,由此指出在更一般意义上形... 显示全部
关键词: 非单调逻辑 常识推理 常识问题 人工智能
在线阅读 下载全文
期刊文章 Internet上的软件Agent
出处:计算机科学 1997年第4期 14-19,共6页
摘要:本文首先介绍了Agent的基本概念及其相关理论、体系结构的语言。然后较详细地介绍软件Agent方面... 显示全部
关键词: 软件
在线阅读 下载全文
期刊文章 超协调限制逻辑的计算复杂性分析
出处:软件学报 1998年第11期 839-844,共6页
摘要:超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常... 显示全部
关键词: 悖论逻辑 限制逻辑 计算复杂性 非单调性
在线阅读 下载全文
期刊文章 常识问题——常识,人工智能与数理逻辑
出处:计算机研究与发展 1997年第6期 401-406,共6页
摘要:本文提出了常识问题,通过确立常识准则和常识模型,指出一个建立常识逻辑的技术途径。 显示全部
关键词: 常识问题 人工智能 数理逻辑
在线阅读 下载全文
期刊文章 一个Web站点自动生成系统
出处:计算机科学 2000年第3期 67-69,共3页
摘要:<正> 1 引言目前,Internet/Intranet正在飞速发展,而Web是Internet/Intranet上一种最有效的信息交流方式,用... 显示全部
关键词: 站点 自动生成系统 信息系统
在线阅读 下载全文
期刊文章 超协调逻辑(Ⅰ)——传统超协调逻辑研究
出处:计算机科学 1994年第5期
摘要:<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对... 显示全部
关键词: 非单调逻辑 逻辑研究 公理系统 经典逻辑 传递律 相干逻辑 当且仅当 证明论 后承关系 集论
期刊文章 超协调逻辑(Ⅱ)—新超协调逻辑研究
出处:计算机科学 1994年第6期 1-7,共7页
摘要:这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新... 显示全部
关键词: 超协调逻辑 经典逻辑
期刊文章 超协调逻辑(Ⅳ)—非单调超协调逻辑研究
出处:计算机科学 1995年第1期 4-9,共6页
摘要:这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一... 显示全部
关键词: 超协调逻辑 非单调逻辑 人工智能
期刊文章 超协调逻辑(Ⅲ)—超协调性的逻辑基础
出处:计算机科学 1995年第1期 1-4,共4页
摘要:这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系... 显示全部
关键词: 超协调逻辑 超协调性 优先语义
期刊文章 超协调逻辑(I)—传统超协调逻辑研究
出处:计算机科学 1994年第5期 1-8,共8页
摘要:<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对... 显示全部
关键词: 超协调逻辑 分域逻辑 博论逻辑
找到10条结果
`