Brewka’s framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a de...Brewka’s framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a default theory is given. From this characterization the algorithms for main reasoning tasks in default logic with case reasoning are derived.展开更多
G.Brewka presented a modified default logic (CDL) and obtained some properties of CDL,such as the existence of extensions,semimonotonicity,which the Reiters normal default logic shares.The Reiter’s default has been g...G.Brewka presented a modified default logic (CDL) and obtained some properties of CDL,such as the existence of extensions,semimonotonicity,which the Reiters normal default logic shares.The Reiter’s default has been generalized,a default logic about assertion’s has been obtained,and the assertion that the Brewka’s CDL is a special normal default logic of the new version has been proved.展开更多
On the basis of Reiter’s default theory and Zhang Mingyi’s auto compatible default theory, a research on the characters of clausal default theory, especially the closed auto compatible default theory, is carried out...On the basis of Reiter’s default theory and Zhang Mingyi’s auto compatible default theory, a research on the characters of clausal default theory, especially the closed auto compatible default theory, is carried out. First, the theorem of monotonicity with extension number is presented. Second, the proof theory of normal default theory on auto compatible default theory is extended. Some important results are proposed.展开更多
讨论统计缺省理论的扩充,它是经典缺省逻辑(R e iter缺省)的推广,它借助错误参数ε,允许我们在标准的推理统计中模型化普遍的推理模式。由于统计缺省扩充不具备封闭性,在其对应的R e iter扩充存在时,它的扩充可能不存在;甚至可能出现正...讨论统计缺省理论的扩充,它是经典缺省逻辑(R e iter缺省)的推广,它借助错误参数ε,允许我们在标准的推理统计中模型化普遍的推理模式。由于统计缺省扩充不具备封闭性,在其对应的R e iter扩充存在时,它的扩充可能不存在;甚至可能出现正规的统计缺省理论没有扩充的情形。但是如果给出一定的限制条件,就可以克服这一缺陷。本文给出了在这种限制条件下,统计缺省理论扩充的两种计算方法。展开更多
文摘Brewka’s framework for default logic is extended such that this new framework is possessed of more powerful expressivity when reasoning by cases. Under this extended framework a characterization of extensions of a default theory is given. From this characterization the algorithms for main reasoning tasks in default logic with case reasoning are derived.
基金Project supported by the High Technology Research and Development Program of China.
文摘G.Brewka presented a modified default logic (CDL) and obtained some properties of CDL,such as the existence of extensions,semimonotonicity,which the Reiters normal default logic shares.The Reiter’s default has been generalized,a default logic about assertion’s has been obtained,and the assertion that the Brewka’s CDL is a special normal default logic of the new version has been proved.
文摘On the basis of Reiter’s default theory and Zhang Mingyi’s auto compatible default theory, a research on the characters of clausal default theory, especially the closed auto compatible default theory, is carried out. First, the theorem of monotonicity with extension number is presented. Second, the proof theory of normal default theory on auto compatible default theory is extended. Some important results are proposed.
文摘讨论统计缺省理论的扩充,它是经典缺省逻辑(R e iter缺省)的推广,它借助错误参数ε,允许我们在标准的推理统计中模型化普遍的推理模式。由于统计缺省扩充不具备封闭性,在其对应的R e iter扩充存在时,它的扩充可能不存在;甚至可能出现正规的统计缺省理论没有扩充的情形。但是如果给出一定的限制条件,就可以克服这一缺陷。本文给出了在这种限制条件下,统计缺省理论扩充的两种计算方法。
