Using active connection graphs for reasoning with recursive rules

Abstract

Raouralva r u l e s, such as "Your paren ts ' ancestors are your ances tors " , a l though vary uaafu l f o r theorem p rov ing, na tu ra l languaga understanding, quest ion-answering and In fo rmat ion r e t r i e v a l systems, present problems f o r many such