Belief, provability, and logic programs
Autor(a) principal: | |
---|---|
Data de Publicação: | 1995 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | https://doi.org/10.1080/11663081.1995.10510842 |
Resumo: | The main goal of this paper is to establish a nonmonotonic epistemic logic Ej3 with two modalities -provability and belief capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify thxeir 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 Ej3 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. |
id |
RCAP_5eb66c86d5a0f6ac1e8da85be5c41d69 |
---|---|
oai_identifier_str |
oai:run.unl.pt:10362/60342 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
|
spelling |
Belief, provability, and logic programsPhilosophyLogicThe main goal of this paper is to establish a nonmonotonic epistemic logic Ej3 with two modalities -provability and belief capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify thxeir 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 Ej3 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.DI - Departamento de InformáticaUNINOVA-Instituto de Desenvolvimento de Novas TecnologiasRUNAlferes, José JúlioPereira, Luís Moniz2019-02-12T23:16:15Z19951995-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article20application/pdfhttps://doi.org/10.1080/11663081.1995.10510842eng1166-3081PURE: 1111248http://www.scopus.com/inward/record.url?scp=84947859951&partnerID=8YFLogxKhttps://doi.org/10.1080/11663081.1995.10510842info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-10T15:47:39ZPortal AgregadorONG |
dc.title.none.fl_str_mv |
Belief, provability, and logic programs |
title |
Belief, provability, and logic programs |
spellingShingle |
Belief, provability, and logic programs Alferes, José Júlio Philosophy Logic |
title_short |
Belief, provability, and logic programs |
title_full |
Belief, provability, and logic programs |
title_fullStr |
Belief, provability, and logic programs |
title_full_unstemmed |
Belief, provability, and logic programs |
title_sort |
Belief, provability, and logic programs |
author |
Alferes, José Júlio |
author_facet |
Alferes, José Júlio Pereira, Luís Moniz |
author_role |
author |
author2 |
Pereira, Luís Moniz |
author2_role |
author |
dc.contributor.none.fl_str_mv |
DI - Departamento de Informática UNINOVA-Instituto de Desenvolvimento de Novas Tecnologias RUN |
dc.contributor.author.fl_str_mv |
Alferes, José Júlio Pereira, Luís Moniz |
dc.subject.por.fl_str_mv |
Philosophy Logic |
topic |
Philosophy Logic |
description |
The main goal of this paper is to establish a nonmonotonic epistemic logic Ej3 with two modalities -provability and belief capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify thxeir 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 Ej3 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. |
publishDate |
1995 |
dc.date.none.fl_str_mv |
1995 1995-01-01T00:00:00Z 2019-02-12T23:16:15Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://doi.org/10.1080/11663081.1995.10510842 |
url |
https://doi.org/10.1080/11663081.1995.10510842 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
1166-3081 PURE: 1111248 http://www.scopus.com/inward/record.url?scp=84947859951&partnerID=8YFLogxK https://doi.org/10.1080/11663081.1995.10510842 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
20 application/pdf |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
|
repository.mail.fl_str_mv |
|
_version_ |
1777302979600187392 |