QQ客服 官方微博 反馈留言

	A knowledge base with dependencies
	Zhuang, Chaohui ; Zhuang CH(庄朝晖)
	2014
关键词	Artificial intelligence Formal logic Knowledge based systems Knowledge representation
英文摘要	Conference Name:2014 11th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2014. Conference Address: Xiamen, China. Time:August 19, 2014 - August 21, 2014.; 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. ? 2014 IEEE.
语种	英语
出处	http://dx.doi.org/10.1109/FSKD.2014.6980868
出版者	Institute of Electrical and Electronics Engineers Inc.
内容类型	其他
源URL	[http://dspace.xmu.edu.cn/handle/2288/86907]
专题	信息技术－会议论文
推荐引用方式 GB/T 7714	Zhuang, Chaohui,Zhuang CH. A knowledge base with dependencies. 2014-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。