| Field |
Value |
Language |
|
dc.contributor.author |
Aravanis, T |
|
|
dc.contributor.author |
Peppas, P |
|
|
dc.contributor.author |
Williams, M-A |
|
|
dc.date.accessioned |
2021-06-07T01:27:46Z |
|
|
dc.date.available |
2021-06-07T01:27:46Z |
|
|
dc.date.issued |
2020-07-01 |
|
|
dc.identifier.citation |
Journal of Logic and Computation, 2020, 30, (5), pp. 1125-1142 |
|
|
dc.identifier.issn |
0955-792X |
|
|
dc.identifier.issn |
1465-363X |
|
|
dc.identifier.uri |
http://hdl.handle.net/10453/149434
|
|
|
dc.description.abstract |
<jats:title>Abstract</jats:title>
<jats:p>Parikh’s relevance-sensitive axiom (P) for belief revision is open to two different interpretations, i.e. the weak and the strong version of (P), both of which are plausible depending on the context. Given that strong (P) has not received the attention it deserves, in this article, an extended examination of it is conducted. In particular, we point out interesting properties of the semantic characterization of the strong version of (P), as well as a vital feature of it that, potentially, results in a significant drop on the resources required for an implementation of a belief-revision system. Lastly, we shed light on the natural connection between global and local revision functions, via their corresponding semantic characterization, hence, a means for constructing global revision functions from local ones, and vice versa, is provided.</jats:p> |
|
|
dc.language |
English |
|
|
dc.publisher |
Oxford University Press |
|
|
dc.relation.ispartof |
Journal of Logic and Computation |
|
|
dc.relation.isbasedon |
10.1093/logcom/exaa029 |
|
|
dc.rights |
info:eu-repo/semantics/closedAccess |
|
|
dc.subject |
01 Mathematical Sciences, 08 Information and Computing Sciences, 22 Philosophy and Religious Studies |
|
|
dc.subject.classification |
Computation Theory & Mathematics |
|
|
dc.title |
A study of possible-worlds semantics of relevance-sensitive belief revision |
|
|
dc.type |
Journal Article |
|
|
utslib.citation.volume |
30 |
|
|
utslib.for |
01 Mathematical Sciences |
|
|
utslib.for |
08 Information and Computing Sciences |
|
|
utslib.for |
22 Philosophy and Religious Studies |
|
|
pubs.organisational-group |
/University of Technology Sydney |
|
|
pubs.organisational-group |
/University of Technology Sydney/Faculty of Engineering and Information Technology |
|
|
pubs.organisational-group |
/University of Technology Sydney/Strength - AAII - Australian Artificial Intelligence Institute |
|
|
pubs.organisational-group |
/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Computer Science |
|
|
utslib.copyright.status |
closed_access |
* |
|
pubs.consider-herdc |
true |
|
|
dc.date.updated |
2021-06-07T01:27:45Z |
|
|
pubs.issue |
5 |
|
|
pubs.publication-status |
Published |
|
|
pubs.volume |
30 |
|
|
utslib.citation.issue |
5 |
|
