Description
ARTFCL INTELGNC & PHIL OF SCI
** available as of 06/30/2021
This course investigates the problem of mechanizing reasoning. For the case of deductive inference, it draws on work in symbolic logic and computation theory. For the case of inductive inference, it draws on work in confirmation theory from philosophy of science and learning theory.
Details
Grading Basis
LG/SNC Elective Basis
Units
3
Component
Lecture - Required
Offering
Course
HPS 1616
Academic Group
Dietrich Sch Arts and Sciences
Academic Organization
History & Philosophy of Sci
Campus
Pittsburgh Campus
Enrollment Requirements
LVL: So, Jr, or Sr
Typically Offered
Fall