Implementing Euler-Venn Reasoning Systems

Nikolaus G. Swoboda

This paper proposes an implementation of a Euler/Venn reasoning system using directed acyclic graphs and shows that this implementation is correct with respect to a modified Shin/Hammer mathematical model of Euler/Venn Reasoning. In proving its correctness it will also be shown that the proposed implementation preserves or inherits the soundness and completeness properties of the mathematical model of the Euler/Venn system.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.