论文部分内容阅读
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先，得到了若干关于缺省理论等价的性质。其次，证明有具配对不相容扩充的缺省理论可由（无前提）（半）正规缺省理论表示。此外，提出了一些用于说明所得结果的例子。
人工智能中缺省逻辑的可表示性
【摘 要】
：
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先，得到了若干关于缺省理论等价的性质。其次，证明有具配对不相容扩充的缺省理论可由（无前提）（半）正规缺省理论表示。此外
【机 构】
：
青海民族学院数学系,陕西师范大学数学与信息科学学院
【出 处】
：
工程数学学报
【发表日期】
：
2006年5期
【基金项目】
：
The National Natural Science Foundation of China（10331010）, Qinghai NationalityCollege Doctor Scientific Research （06D003）.
其他文献
本文在Poisson流形（p，π）的1-形式空间∧^1（p）上定义了组合算符η，给出了由1-形式诱导的向量场是辛向量场的充要条件，同时还得到了有关组合算符η和Poisson张量的一些恒等式。
论述了技术管理与电解槽寿命的关系，提出了加强盐水系统和离子膜电槽的运行工艺技术管理，可以尽可能的延长电解槽寿命，充分发挥离子膜的性能和降低生产成本。
<正> 我厂的液氯装置采用的是氨法工艺,已投产运行了近三十年,工艺路线落后、设备陈旧、能耗高、环境污染严重。急需更新旧的装置,采用节能、环保的先进技术。现我厂采用从西
<正> 为了保护环境,降低Ⅲ效二次蒸汽带碱,减少碱损,通过实测,总结经验,我认为在效体液位正常,加热室不漏,除沫装置和碱沫捕集器运行良好的情况下,Ⅲ效冷凝水带碱应当很微小,
图的L（2，1）-标号问题是由频率分配问题归结而来，本文研究作为L（2，1）-标号问题的推广的L（d1，42）-标号问题。首先定义了顶点2-着色，2．色数及其它有关概念，给出T2-色数的上界。然后得出了λd1
本文考虑具有多重延误休假的单部件可修系统。假定部件的寿命、修理时间和修理工的休假时间均服从一般连续型分布，修理工的延误休假时间服从指数分布，通过使用补充变量法和广义
讨论一类高维的具无穷时滞的中立型泛函微分方程的概周期解问题.利用Ch空间,矩阵测度和Krasnoselskii不动点定理获得了其概周期的存在性与唯一性定理.同时给出了模包含关系,
<正> 株化集团公司烧碱厂具有10万t/a烧碱生产能力,全公司年用电接近4亿kWh,单烧碱生产用电量达2.4亿～2.5亿kWh/a。由于每度电价从1993年的0.202元攀升到1997年的0.46元,尽管
提出了适应于更一般情况的基于小波域隐Markov树(HMT)模型信号降噪的改进算法.通常算法以数个零均值高斯函数加权之和描述信号小波系数统计分布,在有些情况下可能带来严重失
<正>东丽官网3月7日宣布,针对航空航天市场推出号称世界上性能最好的新一代碳纤维预浸料,其拉伸强度和抗冲击性能比上一代产品均提升了30%。该产品解决了长久以来高模量和高
期刊