We report on a method of automated hypothesis generation, called f-resolution, which is derived from deductive resolution techniques. The method is inductive in character, in the sense that given input statement E, it generates hypotheses H, such that E is a deductive consequence of E. The method is extended by a generalized unification algorithm which introduces appropriate identity assumption...

This essay examines the proposal that psychological essentialism re s u l t s f rom a history of natural selection acting on human re p resentation and inference systems. It has been argued that the features that distinguish essentialist re p resentational systems are especially well suited for re p resenting natural kinds. If the evolved function of essentialism is to exploit the rich inductiv...

We evaluate inductive logic programming (ILP) methods for predicting fault density in C++ classes. In this problem, each training example is a C++ class deenition, represented as a calling tree, and labeled as \pos-itive" ii faults (i.e., errors) were discovered in its implementation. We compare two ILP systems, FOIL and FLIPPER, and explore the reasons for their diiering performance, using bot...

In TREC-7, we participated in the ad-hoc task (main task) and the ltering track (sub task). In the adhoc task, we adopted a scoring method that used co-occurrence term relations in a document and speci c processing in order to determine which conceptual parts of the documents should be targeted for query expansion. In ltering, we adopted a machine-readable dictionary for detecting idioms and an...