A New Computational Logic Approach to Reason with Conditionals

From International Center for Computational Logic

Toggle side column

A New Computational Logic Approach to Reason with Conditionals

Emmanuelle-Anna DietzEmmanuelle-Anna Dietz,  Steffen HölldoblerSteffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals


Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals
In F. Calimeri, G.I., Truszczynski, M., eds., 13th International Conference on Logic Programming and Non-monotonic Reasoning, volume 9345 of Lecture Notes in Artificial Intelligence, 2015. Springer
  • KurzfassungAbstract
    We present a new approach to evaluate conditionals in human reasoning. This approach is based on the weak completion semantics which has been successfully applied to adequately model various other human reasoning tasks in the past. The main idea is to explicitly consider the case, where the condition of a conditional is unknown with respect to some background knowledge, and to evaluate it with minimal revision followed by abduction. We formally compare our approach to a recent approach by Schulz and demonstrate that our proposal is superior in that it can handle more human reasoning tasks.
  • Weitere Informationen unter:Further Information: Link
  • Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
The final publication is available at Springer.
@inproceedings{DH2015,
  author    = {Emmanuelle-Anna Dietz and Steffen H{\"{o}}lldobler},
  title     = {A New Computational Logic Approach to Reason with Conditionals},
  editor    = {F. Calimeri and {G.I.} and Truszczynski and M.},
  booktitle = {13th International Conference on Logic Programming and
               Non-monotonic Reasoning},
  series    = {Lecture Notes in Artificial Intelligence},
  volume    = {9345},
  publisher = {Springer},
  year      = {2015}
}