C4.5: programs for machine learning
C4.5: programs for machine learning
Neural networks and open texture
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Knowledge discovery in the Split Up project
Proceedings of the 6th international conference on Artificial intelligence and law
Fast algorithms for mining association rules
Readings in database systems (3rd ed.)
Toward adding knowledge to learning algorithms for indexing legal cases
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Mining frequent patterns without candidate generation
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
A Flexible Framework for Defeasible Logics
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
An Experiment in Discovering Association Rules in the Legal Domain
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Induction of defeasible logic theories in the legal domain
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Exploiting Rough Argumentation in an Online Dispute Resolution Mediator
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Propositional Clausal Defeasible Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Structured argumentation in a mediator for online dispute resolution
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A defeasible logic for clauses
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasible logic, it is desirable to automatically induce a theory of the logic from a training set of precedent data. Empirical evidence suggests that minimal theories that describe the training set tend to be more faithful representations of reality. We show via transformation from the hitting set problem that this global minimization problem is intractable, belonging to the class of NP optimisation problems. Given the inherent difficulty of finding the optimal solution, we instead use heuristics and demonstrate that a best-first, greedy, branch and bound algorithm can be used to find good theories in short time. This approach displays significant improvements in both accuracy and theory size as compared to recent work in the area that post-processed the output of an Apriori association rule-mining algorithm, with comparable execution times.