On the Automated Discovery of Scientific Theories

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

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1992
Accession Number
ADA247046

Entities

People

  • Daniel Osherson
  • Scott Weinstein

Organizations

  • University of Pennsylvania

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Accuracy
  • Algorithms
  • Detection
  • Formal Languages
  • Igneous Rocks
  • Language
  • Learning
  • Models
  • Personality
  • Probability
  • Probability Distributions
  • Quadrants
  • Reasoning
  • Recursive Functions
  • Reliability
  • Scientific Theories
  • Theorems

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering
  • Systems Analysis and Design