On Indicative Conditionals

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column
On Indicative Conditionals


Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Indicative Conditionals
In Hölldobler, S., Liang, Y, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
  • KurzfassungAbstract
    In this paper we present a new approach to evaluate indicative conditionals with respect to some background information specified by a logic program. Because the weak completion of a logic program admits a least model under the three-valued Lukasiewicz semantics and this semantics has been successfully applied to other human reasoning tasks, conditionals are evaluated under these least L-models. If such a model maps the condition of a conditional to unknown, then abduction and revision are applied in order to satisfy the condition. Different strategies in applying abduction and revision might lead to different evaluations of a given conditional. Based on these findings we outline an experiment to better understand how humans handle those cases.
  • Weitere Informationen unter:Further Information: Link
  • Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{DHP2015,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler and
               Lu{\'{\i}}s Moniz Pereira},
  title     = {On Indicative Conditionals},
  editor    = {H{\"{o}}lldobler and S. and Liang and Y},
  booktitle = {Proceedings of the First International Workshop on Semantic
               Technologies},
  series    = {CEUR Workshop Proceedings},
  volume    = {1339},
  publisher = {CEUR-WS.org},
  year      = {2015},
  pages     = {19-30}
}