Loading...
Please wait, while we are loading the content...
Belief, provability, and logic programs
| Content Provider | Scilit |
|---|---|
| Author | Alferes, José Júlio Pereira, Luis Moniz |
| Copyright Year | 1995 |
| Description | 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. |
| Related Links | http://centria.fct.unl.pt/~jja/page3/assets/jncl.pdf |
| Ending Page | 50 |
| Page Count | 20 |
| Starting Page | 31 |
| ISSN | 11663081 |
| e-ISSN | 19585780 |
| DOI | 10.1080/11663081.1995.10510842 |
| Journal | Journal of Applied Non-classical Logics |
| Issue Number | 1 |
| Volume Number | 5 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Journal: Journal of Applied Non-classical Logics History and Philosophy of Science Belief Provability Logic Programs |
| Content Type | Text |
| Resource Type | Article |
| Subject | Philosophy Logic |
