Looking for Logic in Vision
This paper presents how the axioms of equivalence can be induced from visual observation without assuming background knowledge. The present research was conducted upon a system that combines computer vision with inductive logic programming that was first designed to learn protocol behaviour from observation.