Logical tool of knowledge engineering: using entailment logic rather than mathematical logic
CSC '91 Proceedings of the 19th annual conference on Computer Science
Deontic relevant logic as the logical basis for legal information systems
Proceedings of the 2006 ACM symposium on Applied computing
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Towards Agent-Oriented Relevant Information
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Deontic Relevant Logic in Knowledge-based Requirements Engineering
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
| Hi-index | 0.00 |
In this paper, we propose a strong relevant logic approach to solve the problems of deontic logic paradoxes. Since the paradoxes in deontic logic have the same form as the paradoxes in traditional (weak) relevant logic, which have been rejected by our strong relevant logic, we show that a new family of logic, named deontic relevant logics, can be established by introducing deontic operators and relative axioms and inference rules into strong relevant logics such that those deontic logic paradoxes are rejected by deontic relevant logics.