Summary:

• Paraconsistent reasoning allows to collect assertions from various sources and “safely” infer new information

• Paraconsistent reasoning works well together with constraint languages (such as TMCL)

• Paraconsistent reasoning supports evolutionary approach to building large assertion systems

• We do not need to “fix all errors” before we can reason

Link: (PDF)