Bc: a First-order Bayesian Classiier

In this paper we present 1BC, a rst-order Bayesian Classi-er. Our approach is to view individuals as structured terms, and to distinguish between structural predicates referring to subterms (e.g. atoms from molecules), and properties applying to one or several of these sub-terms (e.g. a bond between two atoms). We describe an individual in terms of elementary features consisting of zero or more structural predicates and one property; these features are considered conditionally independent following the usual naive Bayes assumption. 1BC has been implemented in the context of the rst-order descriptive learner Tertius, and we describe several experiments demonstrating the viability of our approach.