切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
带有约束的缺省逻辑
带有约束的缺省逻辑
来源 :吉林大学自然科学学报 | 被引量 : 0次 | 上传用户:king20051400
【摘 要】
:
提出了一种改进缺省逻辑的方法,讨论了这种缺省理论的性质,证明了每个缺省都有扩充,具有半单调性和累积性,并讨论了处理多扩充问题的一种方法。
【作 者】
:
刘瑞胜
孙吉贵
【机 构】
:
吉林大学计算机科学系
【出 处】
:
吉林大学自然科学学报
【发表日期】
:
1996年3期
【关键词】
:
非单调逻辑
缺省逻辑
非音调推理
累积性
nonmonotonic logic
default theory
extension
【基金项目】
:
国家自然科学基金,博士点基金,“863”计划资助
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种改进缺省逻辑的方法,讨论了这种缺省理论的性质,证明了每个缺省都有扩充,具有半单调性和累积性,并讨论了处理多扩充问题的一种方法。
其他文献
积分微分系统概周期解存在性定理
采用上下解方法,给出了一个积分微分系统概周期解存在的一般性定理。
期刊
积分微分系统
概周期解
存在性定理
upper and lower solutions
integrodifferential systems
almost p
磷渣代替晶种配料煅烧水泥熟料技术
笔者经过大量地调查研究,反复试验、试产、较好地应用“磷渣代替晶种配料煅烧水泥熟料技术”,从而在生产中提质增产,节能降耗作用明显,取得良好的效果。
期刊
磷渣配料
晶种配料
水泥熟料
煅烧技术
机立窑
气流速度
汉语课文教学的思考与探索
期刊
课文教学
民族学生
汉语
阅读式教学
阅读能力
教师
阅读速度
词语
自学能力
语音
链条对回转窑产质量及热耗的影响
链条是湿法长窑和干法长窑的主要热交换装置之一。其任务是使窑的热气体和生料之间进行换热。湿法长窑内的链条除了传热外,还起到输送物料和防止结泥巴圈的作用。
期刊
链条
回转窑
生产量
产品质量
热交换装置
水泥生产
带有小剪切的弹性板有限变形边值问题
对非线性板采用与传统的von Karman板不同的变形假设,应用连续介质力学方法精确推证带有小剪切的弹性板有限变形边值问题的基本方程及边界条件,并对应变能函数作分解假设,使得有限变形边
期刊
弹性板
小剪切
变形
边值问题
elastic plate
small shear
finite deformation
continuum mechanics
场景·人物·语言——沙汀小说构成的地域要素分析
作为中国现代地域作家的典型代表,沙汀一方面是巴蜀地域的优秀表现者,另一方面也以左翼阶级斗争的架构反观与批判巴蜀大地的生存,从而使其小说创作呈现出独特的质地。这反映
期刊
巴蜀地域
场景
人物
语言
region of Ba shu
scene
character
language
武警指挥院校进行创新教学的研究与实践
借鉴国内外创新教学的研究成果,结合武警指挥院校的实际,进行创新教学的研究与实践,使得武警指挥院校培养的学员能够很好的平衡学习专业知识与满足"第一任职需要"的需求,为学员
期刊
创新教学
研究
实践
可持续发展
New teaching approaches
research
practice
sustainable develo
B—值随机变量序列尾和的重对数律
本文利用Ledoux和Talagrand的Isoperimetric方法,将尾和形式的Kolmogorov重对数律推广到B-值随机变量序列情形,进而得到一般形式B-值随机变量序列的尾和重对数律,同时对独立同分布B-值随机变量序列得到了配重尾和的重对数律。
期刊
重对数律
B-值
随机变量
尾和
law of iterated logarithm
B-valued random variables
tail sums
正方形环保地板首现巴蜀
这种地板规格为400毫米×400毫米,基材由亚麻油籽、天然树脂、软木、木粉和颜料组成,采用天然石质板材结构复合亚麻油地板研制而成。因独特的基材和生产工艺,这种地板除具有
期刊
正方形
环保地板
建筑材料
地板规格
技术性能
环的几个交换性定理
本文证明了环的几个交换性定理,推广了Asharf的结果。
期刊
环
半质环
交换性
ring
semi-prime ring
commutativity
与本文相关的学术论文