项目名称: 基于分离的局部信念修正研究及其软件诊断应用

项目编号: No.61262029

项目类型: 地区科学基金项目

立项/批准年度: 2013

项目学科: 自动化技术、计算机技术

项目作者: 吴茂念

作者单位: 贵州大学

项目金额: 47万元

中文摘要: 信念修正是人工智能、数据库理论以及哲学逻辑研究的热点问题。寻找高速有效的算法一直是信念修正研究及其应用的重点。降低信念修正计算复杂性的最有效的方法之一是将计算问题局部化。近年来,基于分离的局部化技术受到研究者们高度重视。通过对命题公式的最细划分, 信念集中非相关原子可被有效的分离出去,从而实现信念修正操作的局部化。该方法亦成功应用于其它相关知识库维护领域。本项目从Horn子句集的最细分离出发,提出一整套基于Horn逻辑的局部信念修正理论,进而将这一理论从命题逻辑推广到一阶Horn逻辑,并探讨一阶逻辑公式集最细分离的存在唯一性,以及计算一阶逻辑及部分特殊公式集最细分离算法。基于这一系统化研究成果,将在Reiter诊断理论中引入基于分离的局部化技术,以实现诊断推理的局部化,从而降低诊断推理过程中几乎无法避免的组合爆炸,以便为解决Reiter一阶诊断理论中的计算复杂性问题提供一种全新的解决途径。

中文关键词: 信念修正;局部化技术;机器人知识库更新;策略推理;协商机制

英文摘要: Belief revision is one of the most important research areas in Artificial Intelligence, Databases and Philosophical Logic. Developing highly effective and efficient algorithms for belief revision operations is a key issue in the research of belief revision and its applications. One of the most efficient approach to reduce computational complexity of belief revision operations is computational localisation. In recent years, the techniques of splitting-based localisation have received considerable attention from the researchers in Artificial Intelligence. Through a process of finest splitting on propositional formulas, irrelevant atoms in a belief set can be effectively separated from the belief set. As a consequence, the computation of belief revision operations can be localised. This approach has been successfully applied to other domains of knowledge base maintenance. This project aims to develop a systematic theory of computational localisation in first-order logic. We will first establish a theory of splitting in Horn belief revision based on the finest splitting technique on Horn clauses. We then extend the theory to the first-order Horn logic. We will investigate the existence and uniqueness of finest splitting on first-order formulas and develop algorithms to calculate the finest splitting of first-order

英文关键词: belief revision;localization methods;update on knowledge of robotics;strategy reasoning;negotiation mechanism

成为VIP会员查看完整内容
0

相关内容

【2022新书】熵和多样性公理化方法,452页pdf
专知会员服务
43+阅读 · 2022年5月11日
人工智能技术在口腔正畸诊疗中的应用研究进展
专知会员服务
13+阅读 · 2022年5月1日
专知会员服务
33+阅读 · 2021年7月17日
专知会员服务
132+阅读 · 2021年2月17日
专知会员服务
143+阅读 · 2021年2月3日
专知会员服务
23+阅读 · 2021年1月30日
专知会员服务
30+阅读 · 2020年12月21日
专知会员服务
107+阅读 · 2020年10月27日
大规模时间序列分析框架的研究与实现,计算机学报
专知会员服务
58+阅读 · 2020年7月13日
机器学习相关资源(框架、库、软件)大列表
专知会员服务
39+阅读 · 2019年10月9日
论文浅尝 - ACL2022 | 面向推理阅读理解的神经符号方法
开放知识图谱
1+阅读 · 2022年3月21日
KoPL: 面向知识的推理问答编程语言
学术头条
1+阅读 · 2021年11月10日
观点:AI与自动化是矛盾的
学术头条
1+阅读 · 2021年10月17日
赛尔笔记 | 可解释的自然语言处理方法简介
哈工大SCIR
3+阅读 · 2021年5月28日
ACL 2019 | 面向远程监督关系抽取的模式诊断技术
AAAI 2019 | 基于分层强化学习的关系抽取
PaperWeekly
20+阅读 · 2019年3月27日
浅谈贝叶斯和MCMC
AI100
14+阅读 · 2018年6月11日
国家自然科学基金
8+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
3+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
More Recent Advances in (Hyper)Graph Partitioning
Arxiv
0+阅读 · 2022年5月26日
Arxiv
0+阅读 · 2022年5月25日
Arxiv
23+阅读 · 2021年10月11日
Arxiv
110+阅读 · 2020年2月5日
AutoML: A Survey of the State-of-the-Art
Arxiv
69+阅读 · 2019年8月14日
小贴士
相关VIP内容
【2022新书】熵和多样性公理化方法,452页pdf
专知会员服务
43+阅读 · 2022年5月11日
人工智能技术在口腔正畸诊疗中的应用研究进展
专知会员服务
13+阅读 · 2022年5月1日
专知会员服务
33+阅读 · 2021年7月17日
专知会员服务
132+阅读 · 2021年2月17日
专知会员服务
143+阅读 · 2021年2月3日
专知会员服务
23+阅读 · 2021年1月30日
专知会员服务
30+阅读 · 2020年12月21日
专知会员服务
107+阅读 · 2020年10月27日
大规模时间序列分析框架的研究与实现,计算机学报
专知会员服务
58+阅读 · 2020年7月13日
机器学习相关资源(框架、库、软件)大列表
专知会员服务
39+阅读 · 2019年10月9日
相关资讯
论文浅尝 - ACL2022 | 面向推理阅读理解的神经符号方法
开放知识图谱
1+阅读 · 2022年3月21日
KoPL: 面向知识的推理问答编程语言
学术头条
1+阅读 · 2021年11月10日
观点:AI与自动化是矛盾的
学术头条
1+阅读 · 2021年10月17日
赛尔笔记 | 可解释的自然语言处理方法简介
哈工大SCIR
3+阅读 · 2021年5月28日
ACL 2019 | 面向远程监督关系抽取的模式诊断技术
AAAI 2019 | 基于分层强化学习的关系抽取
PaperWeekly
20+阅读 · 2019年3月27日
浅谈贝叶斯和MCMC
AI100
14+阅读 · 2018年6月11日
相关基金
国家自然科学基金
8+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
3+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员