The scope of human learning and development poses a radical challenge for cognitive
science. We propose that developmental theories can address this challenge by adopting …

There has been a great deal of theoretical and experimental work in computer science on
inductive inference systems, that is, systems that try to infer general rules from examples …

本书共16 章. 第1~ 6 章讨论人工智能的认知问题和逻辑基础, 论述约束推理, 定性推理,
基于范例推理, 概率推理. 第7~ 13 章重点讨论机器学习, 包括归纳学习, 支持向量机, 解释学习 …

The classical formulation of the program-synthesis problem is to find a program that meets a
correctness specification given as a logical formula. Recent work on program synthesis and …

Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

An intelligent agent interacting with the real world will encounter individual people, courses,
test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of …

Locating bugs is important, difficult, and expensive, particularly for large-scale systems. To
address this, natural language information retrieval techniques are increasingly being used …

The problem of identifying an unknown regular set from examples of its members and
nonmembers is addressed. It is assumed that the regular set is presented by a minimally …

We consider the problem of using queries to learn an unknown concept. Several types of
queries are described and studied: membership, equivalence, subset, superset …

In the two and a half years since the frrst edition of this book was published, the field of logic
programming has grown rapidly. Consequently, it seemed advisable to try to expand the …