This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs). We show that LFIs encode very naturally an extension of the notion of probability able to express sophisticated probabilistic reasoning under contradictions employing appropriate notions of conditional probability and paraconsistent updating, via ...

Cuba is a land of contradictions. People have no money, but no one goes hungry. Buildings are crumbling, yet Havana is one of the most beautiful cities in the world. It rains when the sun is shining, and the streets are full of antique cars that should have died years ago. Cubans continue to risk their lives at sea trying to reach Miami on handmade rafts, yet people on the island seem to surviv...

Within the scope of Computer Aided Innovation, it is commonly agreed that problem formulation remains in need of robust improvement. Prior to this, means of conducting and representing problems are needed, so as the way a software implementation would help designers, for instance, in decision making. Our approach presents the originality of including the use of a contradiction formalism associa...

This paper presents an analysis of contradictions in urban low carbon transitions as engines of change. Following Kojève’s reading of contradiction in Hegel’s oeuvre, I argue that contradiction is a constitutive feature of low carbon interventions. This is an alternative to conventional readings of contradiction as a provisional encounter of opposites in which one will eventually cancel out the...

Reasoning with ontologies is a challenging task specially for non-logic experts. When checking whether an ontology contains rules that contradict each other, current description logic reasoners can only provide a list of the unsatisfiable concepts. Figuring out why these concepts are unsatisfiable, which rules cause conflicts, and how to resolve these conflicts, is all left to the ontology mode...