QQ客服 官方微博 反馈留言

	Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach
	Zhang, Zhihu ; Lin, Zuoquan ; Ren, Shuang
	2009
关键词	Quasi-classical logic paraconsistent semantics disjunctive logic program fixpoint semantics
英文摘要	We present a new paraconsistent approach to logic programming, called Quasi-classical (QC for short) model semantics. The basic idea is the following. We define the QC base as a set of all atoms and their complements; which decouples the link between an atom and its complement at the level of interpretation. Then we define QC models for positive logic programs. The QC model semantics actually effecting on disjunctive programs imposes the link between each disjunction occurring in the head of a rule and its complement disjunct. This enhances the ability of paraconsistent reasoning. We also define weak satisfaction to perform reasoning under our approach. The fixpoint semantics with respect to the QC model semantics is also presented in the paper.; Computer Science, Artificial Intelligence; EI; CPCI-S(ISTP); 0
语种	英语
出处	SCI ; EI
内容类型	其他
源URL	[http://hdl.handle.net/20.500.11897/315404]
专题	数学科学学院
推荐引用方式 GB/T 7714	Zhang, Zhihu,Lin, Zuoquan,Ren, Shuang. Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. 2009-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

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