Simon Dobnik from King¿s College London will give a talk on: Logic in neural networks.
Logic in neural networks
Abstract. I will present a paper by Garcez and Lamb (2011) that discusses recent advances in representing logics (with emphasis on modal and temporal logic) in artificial neural networks (ANNs). Logics have clear semantics, automated proof methods, and proof histories which provide an explanation of the reasoning process. On the other hand ANNs are very efficient and robust in learning from examples by capturing the statistical properties of a dataset. Applying the models that have been learned in classification provides deduction. The joint properties of both are very attractive for representating and reasoning about language and perception which has been my interest. I will conclude by sketching some examples.
Garcez, Artur S. d'Avila and Lamb, Luis C. 2011. Cognitive Algorithms and Systems: Reasoning and Knowledge Representation. In Perception-Action Cycle, edited by Vassilis Cutsuridis, Amir Hussain, and John G. Taylor. Springer Series in Cognitive and Neural Systems. 573-600. http://dx.doi.org/10.1007/978-1-4419-1452-1_18
Time: 10:15 AM - 12:00 PM
Location: T116 Olof Wijksgatan 6 at the Department of Philosophy, Linguistics and Philosophy of Science , Olof Wijksgatan 6
Contact person: Claes Strannegård