Títol | Logics for approximate entailment in ordered universes of discourse |

Publication Type | Journal Article |

Year of Publication | 2016 |

Authors | Vetterlein T [1], Esteva F [2], Godo L [3] |

Journal | International Journal of Approximate Reasoning |

Volume | 71 |

Paginació | 50-63 |

Resum | The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is achieved by equipping the underlying set of possible worlds with a similarity relation. When using this logic in applications, however, a disadvantage must be accepted; namely, in LAE it is not possible to combine conclusions in a conjunctive way. In order to overcome this drawback, we propose in this paper a modification of LAE where, at the semantic level, the underlying set of worlds is moreover endowed with an order structure. The chosen framework is designed in view of possible applications. |

URL | http://dx.doi.org/10.1016/j.ijar.2016.02.001 [4] |

DOI | 10.1016/j.ijar.2016.02.001 [4] |