A Knowledge Base With Dependencies

摘要：

　　Traditionally,knowledge is defined as justified true belief(JTB).However,Gettier Problem showed that JTB is not sufficient for knowledge.This paper argues that validity of knowledge has to depend on justifications of knowledge.Therefore,justifications of knowledge have to be stored in knowledge base also.Based on Truth Maintenance Systems,this paper presents a novel knowledge representation system,i.e.knowledge bases with dependencies.This paper applies this idea to propositional logic program.Given a logic program,consequences together with their dependencies are computed and recorded.For updating consequences set with dependencies,this paper proposes an algorithm of rule addition and two algorithms of rule deletion.The second algorithm of rule deletion can handle the problem of circular dependency.Knowledge bases with dependencies can provide a new foundation for belief revision and argument.

关键词： knowledge base dependencies logic program nonmonotonic reasoning

作者: Chaohui Zhuang

作者单位: Department of Computer Science,Xiamen University,Xiamen,P.R.China

会议类型: 国际会议

会议名称: The 2014 10th International Conference on Natural Computation (ICNC 2014) and the 2014 11th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2014)(第十届自然计算和第十一届模糊系统与知识发现国际会议)

会议地点: 厦门

会议语种:英文

页码: 411-415

在线出版日期: 2014-08-19（万方平台首次上网日期，不代表论文的发表时间）