切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
诱导推理的一种计算模型
诱导推理的一种计算模型
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:ronalito
【摘 要】
:
基于辩论推理模式,本文提出了诱导推理的一种计算模型,其特点简洁,直观,并且包含了多种现有的诱导框架,该诱导模型为常识推的计算机实现提供了一种新的途径。
【作 者】
:
胡久稔
王克文
【机 构】
:
南开大学数学研究所
【出 处】
:
小型微型计算机系统
【发表日期】
:
1996年11期
【关键词】
:
诱导推理
计算模型
人工智能
Logic programming
Nonmonotonic reasoning
Abduction
Argument reaso
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于辩论推理模式,本文提出了诱导推理的一种计算模型,其特点简洁,直观,并且包含了多种现有的诱导框架,该诱导模型为常识推的计算机实现提供了一种新的途径。
其他文献
只要信心不被打碎
数年后,我拥有了自己的一家不小的公司。一天,坐在明亮的办公室里,面对一位前来应聘而未如愿的大学生,我深情满怀地给他讲起了当年那幕令我终生难忘的情景。
期刊
创业精神
人生哲理
生活态度
人生目标
观察柴油机排烟与运转情况分析故障
一、柴油机不能高速运转故障现象:柴油机排烟量极少,只有在加速时才有少量黑烟,不能高速运转。故障原因:油门拉杆行程过小,不能保证最大供油量;调速器调整不当,不能保证喷油泵
期刊
高速运转
故障现象
柴油机
排烟量
供油量
故障原因
调节齿杆
喷油泵
关于集合运算的数据结构和算法
本文探讨适合于表示集合的数据结构,提出一系列与集合有关的算法,并分析算法的时间复杂性。
期刊
二元查找树
集合运算
数据结构
trees
Binery
Search trees
Set operations
超立方体计算机结构并行算法和硬件实现的研究
这篇论文将探讨超立方体计算机模型,着重分析Thinking Machine公司的CM-2结构。还将讨论神经网络实现算法。
期刊
计算机结构
并行算法
硬件
System Architecture
Parallel Processing
Hypercube
遍地黄花赛江南
连日来,在枣庄市山亭区西集镇和府城镇的交界处,金黄的油菜花、绿油油的麦苗与错落有致的村庄和绵延起伏的远山相映成趣,给人以“误入江南”的感觉。四月花正好,赏花正当时,遍地黄
期刊
江南
黄花
交界处
山亭区
枣庄市
油菜花
麦苗
赏花
WINDOWS下多媒体MCI编程技术
多媒体控制接口MCI提供了WINDOWS下开发多媒体应用的高层接口。本文讨论了在两种代表性语言BorlandC++V3.1和Visual BasicV3.0下使用的编程方法,并给出了在Sound Blaster音频卡和Video Blaster视频卡多媒体硬件上的编程实例。
期刊
多媒体
WINDOWS
MCI
程序设计
Multimedia
WINDOWS
Media control interface
关于农机“三率”问题的几点建议
农机安全管理的“三率”是农机安全的基础。没有较高的、稳定的“三率”,就没有农机安全生产的持续稳定。但近几年来,我省农机“三率”一直在较低水平徘徊,农机安全管理的形势不
期刊
农机安全管理
农机安全生产
农机部门
创新思维
稳定
多窗口显示管理算法及其实现
具有WINDOWS风格的多窗口显示是一种流行的,受到广大用户欢迎的技术。本文提出并实现了一个多窗口显示管理算法,该算法经过适当的扩充,可完全实现当今流行的WINDOWS风格的多窗口界面的窗口管理
期刊
算法
窗口显示
管理
WINDOWS
Multi-Window
Algorithm
Window operation management
计算机性能指标MIPS的适用性分析
长期以来,MIPS一直被视为衡量计算机运算速度的主要性能指标之一。近年来,由于计算机结构的变化,使人们开始意识到以MIP衡量计算机的运算速度存在着问题,但,迄今为止,人们对这一问题还没有
期刊
计算机
MIPS
性能评价
适用性分析
Computers
MIPS
Performance evaluation
基于PostScript的汉字笔划分解和曲线拟合研究
轮廓汉字是汉字字型处理的发展趋势,是电子印刷业走向国际化、标准化的重要途径,本文描述了一种用Bezier曲线对汉字字形轮廓进行拟合的方法,提出了有关笔划分解、分段点确定和曲线拟合
期刊
汉字字形处理
曲线拟合
POSTSCRIPT
Stroke extraction
Segment point
Curve fitting
Contour
与本文相关的学术论文