主 题: Cognitive Logic vs. Mathematical Logic and the Way to Artificial General Intelligence
报告人: Pei Wang (（美国 Temple 大学）)
时 间: 2011-09-23 15:00-17:00
地 点: 理科一号楼1493
When applying mathematical logic to explain and reproduce cognition and
intelligence, many challenges are encountered. These challenges all have a
common nature, that is, they all exist outside mathematics, the domain for
which mathematical logic was designed. This suggests that the logic of
cognition and the logic of mathematics may be fundamentally different, and
the former cannot be obtained by partially revising or extending the latter.
In this talk a new cognitive logic is introduced. The logic uses a
categorical language which is close to natural languages, and an
experience-grounded semantics which covers several types of uncertainty. The
logic has inference rules for deduction, induction, abduction, revision,
analogy, etc., all within the same framework. When implemented in a
reasoning system, such a cognitive logic provides unified solutions to many
problems in artificial intelligence and cognitive science.
BIO: Dr. Pei Wang is an Associate Professor at Temple University. He
received his Ph.D. in Computer Science and Cognitive Science from Indiana
University, and his M.S. and B.S. in Computer Science, both from Peking
University. His research interests include artificial intelligence and
cognitive science, especially on unified theories of intelligence, formal
models of rationality, reasoning under uncertainty, learning and adaptation,
knowledge representation, and real-time decision making. Dr. Wang is the
Chief Executive Editor of the Journal of Artificial General Intelligence.
