| 相信逻辑的某些性质和定理 |
| |
| 引用本文： | 吴茂康,缪潍扣.相信逻辑的某些性质和定理[J].上海大学学报(自然科学版),1996,2(5):556-560. |
| |
| 作者姓名： | 吴茂康 缪潍扣 |
| |
| 作者单位： | 上海大学计算机工程与科学学院计算机科学系 |
| |
| 基金项目： | 国家自然科学基金,高科技863资助 |
| |
| 摘 要： | 本文研究了相信逻辑在相信蕴涵下的某些性质．在相信蕴涵的定义下，相信逻辑是非单调的．本文给出了几个相信逻辑的单调性的充分且必要条件．还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体．从而给默认理论的延伸以一个较为直观、简洁的表述．
|
| 关 键 词： | 默认理论 延伸 相信逻辑 非单调推理 |
Some Properties and Theorems of Belief Logic |
| |
| Wu Maokang,Tong Fu,Miao Huaikou.Some Properties and Theorems of Belief Logic[J].Journal of Shanghai University(Natural Science),1996,2(5):556-560. |
| |
| Authors: | Wu Maokang Tong Fu Miao Huaikou |
| |
| Abstract: | In this paper some properties of belief logic have been studied. Under a definition of belief entail the belief logic is nonmonotonic. Several necessary and sufficient conditions of monotony for a belief logic are given. A default theory can correspond to a belief theory by using a belief operator. It has been proved that an extension for a default theory is exactly a set of all entailments of a belief formula in the corresponding belief theory. This is a simple and intuitive explanation for an extension for a default theory. |
| |
| Keywords: | default theory extension belief logic nonmonotonic reasoning |
| 本文献已被 CNKI 维普 等数据库收录！ |
