Paraconsistency and Paracompleteness in AI: Review Paper

The authors analyse the contribution of the logical treatment of the concepts of inconsistency and paracompleteness to better understand AI’s current state of development. In particular, the relationship between Artificial Intelligence and a new type of logic, called Paraconsistent Annotated Logic, which effectively manipulates the above concepts, both computationally and in its use in Hardware, is considered.