Accession Number:

ADA247046

Title:

On the Automated Discovery of Scientific Theories

Descriptive Note:

Final rept. 1 Jul 1989-31 Dec 1991

Corporate Author:

PENNSYLVANIA UNIV PHILADELPHIA

Personal Author(s):

• Osherson, Daniel
• Weinstein, Scott

Report Date:

1992-01-01

Pagination or Media Count:

19.0

Abstract:

This paper summarizes recent research results on applications of computational learning theory to problems involving rich systems of knowledge representation, in particular, first-order logic and extensions thereof

Descriptors:

• *LEARNING MACHINES
• *LOGIC
• *LEARNING
• AUTOMATION
• MODELS
• APPROXIMATION(MATHEMATICS)
• MACHINES
• THEORY
• PROBABILITY

Subject Categories:

• Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE