The Center for Analysis & Design of Intelligent Agents at Reykjavik University and the Icelandic Institute for Intelligent Machines offer a lecture by Pei Wang (Temple University) 

Lecture Abstract
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 fundamental problems in artificial intelligence and cognitive science.

Pei Wang – 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.

Brought to you by the Icelandic Institute for Intelligent Machines and
the Center for Analysis & Design of Intelligent Agents