Learning to reason.

We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and suggests that learning and reasoning should be studied together.The Learning to Reason framework combines the interfaces...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Journal of the ACM 44, 5 (1997).
Tác giả chính:	Khardon, Roni
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Computing methodologies. Artificial intelligence. Deduction and theorem proving. Deduction (e.g., natural, rule-based). Learning. Knowledge acquisition. Algorithms. Theory.