首页   按字顺浏览 期刊浏览 卷期浏览 Belief, provability, and logic programs
Belief, provability, and logic programs

 

作者: JoséJúlio Alferes,   LuísMoniz Pereira,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1995)
卷期: Volume 5, issue 1  

页码: 31-50

 

ISSN:1166-3081

 

年代: 1995

 

DOI:10.1080/11663081.1995.10510842

 

出版商: Taylor & Francis Group

 

数据来源: Taylor

 

摘要:

The main goal of this paper is to establish a nonmonotonic epistemic logic ϵβ with two modalities—provability and belief—capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify their meaning. In particular we present here, for the first time, embeddings into epistemic logic of logic programs extended with a second kind of negation under the well-founded semantics, and contrast them to the recent embeddings into autoepistemic logics of such programs under stable models based semantics. Because of the newly established relationship between our epistemic logic ϵβ and extended program semantics, the former benefits from the procedures and implementations of the latter, and can be applied to at least the same class of AI problems that the latter can. Moreover, one issue of epistemic logic introduced here, belief revision, can profit from adapting techniques employed by the latter for contradiction removal. Furthermore, the language of the epistemic logic presented here being more general than that of extended programs, it offers a basic tool for further generalizations of the latter, for instance regarding disjunction and modal operators.

 

点击下载:  PDF (995KB)



返 回