Ian Pratt-Hartmann
Ian Pratt-Hartmann studied mathematics and philosophy at Brasenose College, Oxford, and philosophy at Princeton and Stanford Universities, gaining his PhD. from Princeton in 1987. He is currently a Professor of Mathematical Sciences in the Institute of Computer Science at the University of Opole, Poland, and Senior Lecturer in the Department of Computer Science at the University of Manchester, UK. Dr. Pratt-Hartmann's research interests range widely over the fields of mathematical logic, artificial intelligence and the semantics of natural language.
Sessions auxquelles Ian Pratt-Hartmann participe
Lundi 8 Juin, 2026
Thème : Computational perspectives: logic, ontologies, reasoning and decision-making.
For most of recorded history, logic was seen as an attempt to systematize the entailment patterns observed in natural---that is to say, human---languages. Only with the rise of quantification theory and the emergence of mathematical logic at the end of the nineteenth century did the syntactic structure of natural language lose its pre-eminence. Recently, however, there has been a resurgence of interest in natural language reasoning, as a result of two very different developments. ...