A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Contextual deliberation of cognitive agents in defeasible logic
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Contextual Agent Deliberation in Defeasible Logic
Agent Computing and Multi-Agent Systems
Revising defeasible autonomic computing system
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
A formal language for electronic contracts
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Optimal Tableaux for Conditional Logics with Cautious Monotonicity
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Hi-index | 0.00 |
Defeasible Logic is a rule-based non-monotonic logic with tractable reasoning services. In this paper we extend Defeasible Logic with nested rules. We consider a new Defeasible Logic, called DLns, where we allow one level of nested rules. A nested rule is a rule where the antecedent or the consequent of the rule are rules themselves. The inference conditions for DLns are based on reflection on the inference structures (rules) of the particular theory at hand. Accordingly DLns can be considered an amalgamated reflective system with implicit reflection mechanism. Finally we outline some possible applications of the logic.