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

来源 :江苏科技大学学报(自然科学版) | 被引量 : 0次 | 上传用户:jiangyuchao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于命题理论的信念修正是知识工程领域研究的重要内容,AGM公设是目前普遍认可的最为基本与直观的信念修正形式系统的假设.分析了命题运算的基本性质以及相关模型基本特点,以基于有穷命题变元的命题逻辑的模型集合为论域,定义了一种模型选择算子,并证明了由该算子导出的基于知识基的信念修正算子满足AGM公设.
其他文献
员工条形码通过阅读器,可快速进入追溯系统输入数据,记录操作流程每个步骤。员工条形码均自己保管,常有易掉、易污染、易烂、条码模糊等发生。我们改进了条形码的保存方式,克服了
背景患者尤先生,72岁,因糖尿病半年前曾在我院住院治疗.住院期间参加了糖尿病教育课程2次学习,基本掌握了糖尿病自我保健的一般常识.住院期间血糖控制在7.2?7.5mmol/L.出院前
随着经济全球化与信息化的到来,企业的生存环境日趋复杂多变.在此背景下,国内外许多企业纷纷采取了一种灵活的组织形式——多功能型团队.文中在提炼多功能型团队生命周期各阶
我国工业化发展在带动经济不断向前推进的前提下也带来了生态环境的不断恶化。为加强生态环境的治理力度,退耕还林已成为我国改善生态环境的基本国策。如何实现林业建设一直
新闻从业人员对于我国新闻事业的发展具有重要意义。但新闻从业人员的权益保障问题日益突出,新闻从业人员被暴力侵权、被抓捕、起诉,采访时遭到拒绝等现象时有发生,虽然国家
“林尽水源,便得一山,山有小口,仿佛若有光……复行数十步,豁然开朗。土地平旷,屋舍俨然,有良田美池桑竹之属。阡陌交通,鸡犬相闻。”中学时每每读到这段《桃花源记》,总会在
在局部凸拓扑向量空间中,建立了弧连通凸映射向量优化问题关于基的Henig真有效解的标量化定理、Kuhn—Tucker条件、对偶性定理以及鞍点定理。
盐酸米诺环素(美满霉素),抗菌谱广作用强,引起眩晕者少见,现将我院遇到1例报道如下。 患者男,27岁。因咽痛4天来诊。查体:T36.4℃,咽部充血,偏桃体Ⅱ°肿大。查血常规示W
目的:探讨益气养阴通络汤对2型糖尿病视网膜病变患者炎症因子水平及视力的影响。方法:选取2015年3月~2016年3月我院收治的2型糖尿病视网膜病变患者90例,随机分为观察组和对照