Razonamiento basado en la tolerancia a la inconsistencia

En los últimos 20 años se ha dado un gran incremento en la proliferación masiva de datos originado por la aplicación de nuevas tecnologías. Estas cantidades de información se almacenan en grandes repositorios de datos que quedan disponibles para su uso cotidiano como bases de conocimiento (KB), por ejemplo para utilizar como soporte en la toma de decisiones. En este contexto la presencia de información conflictiva (inconsistencia) es ubicua; dada la cantidad y variedad de procesos y aplicaciones que modelan situaciones del mundo real, las actualizaciones de los mismos producen inevitablemente inconsistencias que se almacenan en las KB. Por lo tanto, la inconsistencia es ineludible y esperable en KBs del mundo real. Dependiendo del dominio de aplicación pueden aparecer inconsistencias que necesitan ser resueltas pero la decisión de resolverlas, el enfoque de la resolución y cuando deben ser resueltas deberían ser procesos sensibles al contexto. Por ejemplo, ciertos tipos de conflictos en los datos puede ser visto como aceptable y hasta deseable en un sistema con razonamiento utilizado para detectar fraudes; en otros escenarios la resolución inmediata de inconsistencias puede resultar en pérdida de información valiosa. Esta línea de investigación propone explorar el área de razonamiento basado en tolerancia a la inconsistencia en Inteligencia Artificial y en Teoría de Base de Datos. Esta tarea consiste en realizar la recolección, análisis y critica de los diferentes métodos propuestos en la literatura sobre el manejo de inconsistencias en el proceso de razonamiento y respuesta a consultas y su consolidación en un trabajo que relacione estas perspectivas diferentes.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A

Razonamiento basado en la tolerancia a la inconsistencia

En los últimos 20 años se ha dado un gran incremento en la proliferación masiva de datos originado por la aplicación de nuevas tecnologías. Estas cantidades de información se almacenan en grandes repositorios de datos que quedan disponibles para su uso cotidiano como bases de conocimiento (KB), por ejemplo para utilizar como soporte en la toma de decisiones. En este contexto la presencia de información conflictiva (inconsistencia) es ubicua; dada la cantidad y variedad de procesos y aplicaciones que modelan situaciones del mundo real, las actualizaciones de los mismos producen inevitablemente inconsistencias que se almacenan en las KB. Por lo tanto, la inconsistencia es ineludible y esperable en KBs del mundo real. Dependiendo del dominio de aplicación pueden aparecer inconsistencias que necesitan ser resueltas pero la decisión de resolverlas, el enfoque de la resolución y cuando deben ser resueltas deberían ser procesos sensibles al contexto. Por ejemplo, ciertos tipos de conflictos en los datos puede ser visto como aceptable y hasta deseable en un sistema con razonamiento utilizado para detectar fraudes; en otros escenarios la resolución inmediata de inconsistencias puede resultar en pérdida de información valiosa. Esta línea de investigación propone explorar el área de razonamiento basado en tolerancia a la inconsistencia en Inteligencia Artificial y en Teoría de Base de Datos. Esta tarea consiste en realizar la recolección, análisis y critica de los diferentes métodos propuestos en la literatura sobre el manejo de inconsistencias en el proceso de razonamiento y respuesta a consultas y su consolidación en un trabajo que relacione estas perspectivas diferentes.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Razonamiento basado en la tolerancia a la inconsistencia

En los últimos 20 años se ha dado un gran incremento en la proliferación masiva de datos originado por la aplicación de nuevas tecnologías. Estas cantidades de información se almacenan en grandes repositorios de datos que quedan disponibles para su uso cotidiano como bases de conocimiento (KB), por ejemplo para utilizar como soporte en la toma de decisiones. En este contexto la presencia de información conflictiva (inconsistencia) es ubicua; dada la cantidad y variedad de procesos y aplicaciones que modelan situaciones del mundo real, las actualizaciones de los mismos producen inevitablemente inconsistencias que se almacenan en las KB. Por lo tanto, la inconsistencia es ineludible y esperable en KBs del mundo real. Dependiendo del dominio de aplicación pueden aparecer inconsistencias que necesitan ser resueltas pero la decisión de resolverlas, el enfoque de la resolución y cuando deben ser resueltas deberían ser procesos sensibles al contexto. Por ejemplo, ciertos tipos de conflictos en los datos puede ser visto como aceptable y hasta deseable en un sistema con razonamiento utilizado para detectar fraudes; en otros escenarios la resolución inmediata de inconsistencias puede resultar en pérdida de información valiosa. Esta línea de investigación propone explorar el área de razonamiento basado en tolerancia a la inconsistencia en Inteligencia Artificial y en Teoría de Base de Datos. Esta tarea consiste en realizar la recolección, análisis y critica de los diferentes métodos propuestos en la literatura sobre el manejo de inconsistencias en el proceso de razonamiento y respuesta a consultas y su consolidación en un trabajo que relacione estas perspectivas diferentes.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Consistency, paraconsistency and truth: logic, the whole logic and nothing but 'the' logic

After examining some components of a framework articulated in terms of general remarks on logic (in which two inadequate views of it are critically investigated), we present some arguments to the effect that a fallibilist, pluralist, though certaínly not relativist, proposal might be interestingly pursued. Based on this proposal, we argüe for a comprehensive agnosticism in connection to some issues raised by paraconsistency (in particular with regard to the existence of true contradictions). Such an agnosticism, not being phiiosophically committed to any particular "interpretative" claims surroundíng paraconsistency, seems to be at the moment more adequate than the alternative proposals

Towards a philosophical understanding of the logics of formal inconsistency

AbstractIn this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence

Paraconsistência em lógica híbrida

Mestrado em Matemática e AplicaçõesThe use of hybrid logics allows the description of relational structures, at the same time that allows establishing accessibility relations between states and, furthermore, nominating and making mention to what happens at speci c states. However, the information we collect is subject to inconsistencies, namely, the search for di erent information sources can lead us to pick up contradictions. Nowadays, by having so many means of dissemination available, that happens frequently. The aim of this work is to develop tools capable of dealing with contradictory information that can be described as hybrid logics' formulas. To build models, to compare inconsistency in di erent databases, and to see the applicability of this method in day-to-day life are the basis for the development of this dissertation.O uso de lógicas híbridas permite a descrição de estruturas relacionais, ao mesmo tempo que permite estabelecer relações de acessibilidade entre estados, e, para além disso, nomear e fazer referência ao que acontece em estados específicos. No entanto, a informação que recolhemos está sujeita a inconsistências, isto é, a procura de diferentes fontes de informação pode levar a recolha de contradições. O que nos dias de hoje, com tantos meios de divulgação disponíveis, acontece frequentemente. O objetivo deste trabalho e desenvolver ferramentas capazes de lidar com informação contraditória que possa ser descrita através de fórmulas de lógicas híbridas. Construir modelos e comparar a inconsistência de diferentes bases de dados e ver a aplicabilidade deste método no dia-a-dia são a base para o desenvolvimento desta dissertação

Investigations in Belnap's Logic of Inconsistent and Unknown Information

Nuel Belnap schlug 1977 eine vierwertige Logik vor, die -- im Gegensatz zur klassischen Logik -- die Faehigkeit haben sollte, sowohl mit widerspruechlicher als auch mit fehlender Information umzugehen. Diese Logik hat jedoch den Nachteil, dass sie Saetze der Form 'wenn ..., dann ...' nicht ausdruecken kann. Ausgehend von dieser Beobachtung analysieren wir die beiden nichtklassischen Aspekte, Widerspruechlichkeit und fehlende Information, indem wir eine dreiwertige Logik entwickeln, die mit widerspruechlicher Information umgehen kann und eine Modallogik, die mit fehlender Information umgehen kann. Beide Logiken sind nicht monoton. Wir untersuchen Eigenschaften, wie z.B. Kompaktheit, Entscheidbarkeit, Deduktionstheoreme und Berechnungkomplexitaet dieser Logiken. Es stellt sich heraus, dass die dreiwertige Logik, nicht kompakt und ihre Folgerungsmenge im Allgemeinen nicht rekursiv aufzaehlbar ist. Beschraenkt man sich hingegen auf endliche Formelmengen, so ist die Folgerungsmenge rekursiv entscheidbar, liegt in der Klasse $\Sigma_2^P$ der polynomiellen Zeithierarchie und ist DIFFP-schwer. Wir geben ein auf semantischen Tableaux basierendes, korrektes und vollstaendiges Berechnungsverfahren fuer endliche Praemissenmengen an. Darueberhinaus untersuchen wir Abschwaechungen der Kompaktheitseigenschaft. Die nichtmonotone auf S5-Modellen basierende Modallogik stellt sich als nicht minder komplex heraus. Auch hier untersuchen wir eine sinnvolle Abschwaechung der Kompaktheitseigenschaft. Desweiteren studieren wir den Zusammenhang zu anderen nichtmonotonen Modallogiken wie Moores autoepistemischer Logik (AEL) und McDermotts NML-2. Wir zeigen, dass unsere Logik zwischen AEL und NML-2 liegt. Schliesslich koppeln wir die entworfene Modallogik mit der dreiwertigen Logik. Die dabei enstehende Logik MKT ist eine Erweiterung des nichtmonotonen Fragments von Belnaps Logik. Wir schliessen unsere Betrachtungen mit einem Vergleich von MKT und verschiedenen informationstheoretischen Logiken, wie z.B. Nelsons N und Heytings intuitionistischer Logik ab