Modelling semi-structured documents with hedges for deduction and induction

Abstract

Semi-structured documents are now commonly used for exchanging information. The aim of this research is to apply deductive and inductive reasoning to semi-structured documents. From our observation that first-order terms are inadequate for modelling semi-structured documents, we model them with hedges. After defining semi-structured documents and hedges so that they can contain logical variables, we introduce hedge logic programs, in which every argument of an atom is a hedge. We give a method for transforming hedge logic programs into original logic programs. We also give an algorithm for computing minimal common anti-unifications of hedges, with aiming inductive reasoning of hedge logic programs from sets of semi-structured data.