Distance-based paraconsistent logics

• Autores: Ofer Arieli
• Localización: International journal of approximate reasoning, ISSN 0888-613X, Vol. 48, Nº 3, 2008, págs. 766-783
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We introduce a general framework that is based on distance semantics and investigate the main properties of the entailment relations that it induces. It is shown that such entailments are particularly useful for non-monotonic reasoning and for drawing rational conclusions from incomplete and inconsistent information. Some applications are considered in the context of belief revision, information integration systems, and consistent query answering for possibly inconsistent databases.