论文部分内容阅读
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先，得到了若干关于缺省理论等价的性质。其次，证明有具配对不相容扩充的缺省理论可由（无前提）（半）正规缺省理论表示。此外，提出了一些用于说明所得结果的例子。
人工智能中缺省逻辑的可表示性
【摘 要】
：
本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先，得到了若干关于缺省理论等价的性质。其次，证明有具配对不相容扩充的缺省理论可由（无前提）（半）正规缺省理论表示。此外
【机 构】
：
青海民族学院数学系,陕西师范大学数学与信息科学学院
【出 处】
：
工程数学学报
【发表日期】
：
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不动点定理获得了其概周期的存在性与唯一性定理.同时给出了模包含关系,
提出了适应于更一般情况的基于小波域隐Markov树(HMT)模型信号降噪的改进算法.通常算法以数个零均值高斯函数加权之和描述信号小波系数统计分布,在有些情况下可能带来严重失