dc.contributor.author |
Booth, R
|
|
dc.contributor.author |
Meyer, T
|
|
dc.contributor.author |
Varzinczak, I
|
|
dc.contributor.author |
Wassermann, R
|
|
dc.date.accessioned |
2010-07-13T09:13:38Z |
|
dc.date.available |
2010-07-13T09:13:38Z |
|
dc.date.issued |
2010-05 |
|
dc.identifier.citation |
Booth, R, Meyer, T, Varzinczak, I and Wassermann, R. 2010. 13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada, pp 7 |
en |
dc.identifier.uri |
http://hdl.handle.net/10204/4063
|
|
dc.description |
13th International Workshop on Non-Monotonic Reasoning (NMR). 14-16 May 2010, Toronto, Canada |
en |
dc.description.abstract |
In this paper the authors continue recent investigations into belief change for Horn logic. The main contribution is a result which shows that the construction method for Horn contraction for belief sets based on infraremainder sets, as recently proposed by Booth et al., corresponds exactly to Hansson’s classical kernel contraction for belief sets, when restricted to Horn logic. This result is obtained via a detour through Horn contraction for belief bases during which we prove that kernel contraction for Horn belief bases produces precisely the same results as the belief base version of the Booth et al. construction method. The use of belief bases to obtain the result provides evidence for the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. One of the consequences of the link with base contraction is the provision of a more elegant representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features. The paper focuses on Delgrande’s entailment-based contraction (e-contraction), but we also mention similar results for inconsistency-based contraction (i-contraction) and package contraction (p-contraction). |
en |
dc.language.iso |
en |
en |
dc.subject |
Non-Monotonic Reasoning |
en |
dc.subject |
Horn logic |
en |
dc.subject |
Horn contraction |
en |
dc.subject |
Entailment-based contraction |
en |
dc.subject |
e-contraction |
en |
dc.subject |
Inconsistency-based contraction |
en |
dc.subject |
i-contraction |
en |
dc.subject |
Package contraction |
en |
dc.subject |
p-contraction |
en |
dc.title |
Contraction core for horn belief change: preliminary report |
en |
dc.type |
Conference Presentation |
en |
dc.identifier.apacitation |
Booth, R., Meyer, T., Varzinczak, I., & Wassermann, R. (2010). Contraction core for horn belief change: preliminary report. http://hdl.handle.net/10204/4063 |
en_ZA |
dc.identifier.chicagocitation |
Booth, R, T Meyer, I Varzinczak, and R Wassermann. "Contraction core for horn belief change: preliminary report." (2010): http://hdl.handle.net/10204/4063 |
en_ZA |
dc.identifier.vancouvercitation |
Booth R, Meyer T, Varzinczak I, Wassermann R, Contraction core for horn belief change: preliminary report; 2010. http://hdl.handle.net/10204/4063 . |
en_ZA |
dc.identifier.ris |
TY - Conference Presentation
AU - Booth, R
AU - Meyer, T
AU - Varzinczak, I
AU - Wassermann, R
AB - In this paper the authors continue recent investigations into belief change for Horn logic. The main contribution is a result which shows that the construction method for Horn contraction for belief sets based on infraremainder sets, as recently proposed by Booth et al., corresponds exactly to Hansson’s classical kernel contraction for belief sets, when restricted to Horn logic. This result is obtained via a detour through Horn contraction for belief bases during which we prove that kernel contraction for Horn belief bases produces precisely the same results as the belief base version of the Booth et al. construction method. The use of belief bases to obtain the result provides evidence for the conjecture that Horn belief change is best viewed as a “hybrid” version of belief set change and belief base change. One of the consequences of the link with base contraction is the provision of a more elegant representation result for Horn contraction for belief sets in which a version of the Core-retainment postulate features. The paper focuses on Delgrande’s entailment-based contraction (e-contraction), but we also mention similar results for inconsistency-based contraction (i-contraction) and package contraction (p-contraction).
DA - 2010-05
DB - ResearchSpace
DP - CSIR
KW - Non-Monotonic Reasoning
KW - Horn logic
KW - Horn contraction
KW - Entailment-based contraction
KW - e-contraction
KW - Inconsistency-based contraction
KW - i-contraction
KW - Package contraction
KW - p-contraction
LK - https://researchspace.csir.co.za
PY - 2010
T1 - Contraction core for horn belief change: preliminary report
TI - Contraction core for horn belief change: preliminary report
UR - http://hdl.handle.net/10204/4063
ER -
|
en_ZA |