TítolLogics for approximate entailment in ordered universes of discourse
Publication TypeJournal Article
Year of Publication2016
AuthorsVetterlein T, Esteva F, Godo L
JournalInternational Journal of Approximate Reasoning
Volume71
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.

URLhttp://dx.doi.org/10.1016/j.ijar.2016.02.001
DOI10.1016/j.ijar.2016.02.001