Efficient Reasoning with Inconsistent Information
Prof. Ofer Arieli / School of Computer Science
Professor Arieli’s research will complete the work of surveying, unifying, and further developing the theory of effective propositional paraconsistent
logics. It will cover all the main approaches to reasoning with inconsistent data: truth
functionality, non-determinism, constructively, fuzziness, and relevance. Particular emphasis will be put on providing proof systems that can serve as the basis of associated automated deduction systems, as well as concrete semantics that can be used for decision problems to different logics. Properties such as maximality and minimality will
also be further investigated. Funded by Israeli Science Foundation.