基于命题模型集的信念修正描述

来源 :江苏科技大学学报(自然科学版) | 被引量 : 0次 | 上传用户：jiangyuchao

【摘要】

：

基于命题理论的信念修正是知识工程领域研究的重要内容，AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设．分析了命题运算的基本性质以及相关模型基本特点，以基

【作者】

：

张晓如张再跃

【机构】

：

江苏科技大学计算机科学与工程学院

【出处】

：

江苏科技大学学报(自然科学版)

【发表日期】

：

2008年6期

【关键词】

：

信念修正 AGM公设命题逻辑模型集 belief revision AGM postulates propositional logic model

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于命题理论的信念修正是知识工程领域研究的重要内容，AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设．分析了命题运算的基本性质以及相关模型基本特点，以基于有穷命题变元的命题逻辑的模型集合为论域，定义了一种模型选择算子，并证明了由该算子导出的基于知识基的信念修正算子满足AGM公设．

其他文献

员工条形码保存方式的改进与应用

员工条形码通过阅读器，可快速进入追溯系统输入数据，记录操作流程每个步骤。员工条形码均自己保管，常有易掉、易污染、易烂、条码模糊等发生。我们改进了条形码的保存方式，克服了

期刊

员工条形码保存方式Employee bar code Preservation method

基于模糊识别的团队生命周期判定研究

随着经济全球化与信息化的到来,企业的生存环境日趋复杂多变.在此背景下,国内外许多企业纷纷采取了一种灵活的组织形式——多功能型团队.文中在提炼多功能型团队生命周期各阶

期刊

团队生命周期判定模糊识别cross-functional team lifecycle determination fuzzy identificati

新闻从业人员的权益保障研究

新闻从业人员对于我国新闻事业的发展具有重要意义。但新闻从业人员的权益保障问题日益突出,新闻从业人员被暴力侵权、被抓捕、起诉,采访时遭到拒绝等现象时有发生,虽然国家

学位

新闻从业人员采访权权益保障

弧连通凸映射向量优化问题的Henig真有效性

在局部凸拓扑向量空间中，建立了弧连通凸映射向量优化问题关于基的Henig真有效解的标量化定理、Kuhn—Tucker条件、对偶性定理以及鞍点定理。

期刊

弧连通凸标量化Kuhn—Tucker条件对偶鞍点arcwise connected convex scalarization Kuhn-Tucker

酸度计法测定牛奶的酸度

期刊

滴定法酸度计法

益气养阴通络汤对2型糖尿病视网膜病变患者炎症因子水平及视力的影响

目的:探讨益气养阴通络汤对2型糖尿病视网膜病变患者炎症因子水平及视力的影响。方法:选取2015年3月~2016年3月我院收治的2型糖尿病视网膜病变患者90例,随机分为观察组和对照

期刊

2型糖尿病视网膜病变益气养阴通络汤视力炎症因子

基于命题模型集的信念修正描述

其他学术论文