Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
Integration of weighted knowledge bases
Artificial Intelligence
Fusing Cooperative Technical-Specification Knowledge Components
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Hi-index | 0.00 |
In the full paper, the problem of fusing various sources of legal knowledge is addressed. It is shown that standard logic-based approaches to knowledge fusion can unfortunately transform necessary conditions for a rule to apply into sufficient ones. A transformation schema that solves this problem is then proposed and analyzed.