Professor John Licato
John Licato, Ph.D.
is an Assistant Professor in the Computer Science and Engineering
department of the University of South Florida (USF), and the
founder/director of the Advancing Machine and Human Reasoning (AMHR)
Lab.
John is an artificial intelligence researcher primarily interested in
human-level and logical reasoning; particularly, the kind of reasoning
that we normally refer to as cognitive. This encompasses the following
topics: Computational modeling of cognitive reasoning; cognitive science
and robotics; computational cognitive architectures; automated theorem
provers; artificially intelligent reasoners; analogical, deductive, and
hypothetico-deductive reasoning; and artificial reasoning with
highly-expressive (e.g. second-order, modal, etc.) logics.
In August 2015, he started as an Assistant Professor of Computer
Science at Indiana University-Purdue University Fort Wayne (IPFW) and
founding director of the Analogical Constructivism and Reasoning Lab
(ACoRL). Later that year, he was awarded the 2015 AFOSR Young
Investigator’s Program award. In 2017, he moved to the USF CSE
department, and established the AMHR lab.
His papers include
Real robots that pass human tests of self-consciousness,
Psychometric artificial general intelligence: the Piaget-MacGuyver room,
Nuclear deterrence and the logic of deliberative mindreading,
Analogico-Deductive Generation of Gödel’s First Incompleteness Theorem from the Liar Paradox,
Structural representation and reasoning in a hybrid cognitive architecture, and
On logicist agent-based economics.
John earned his Ph.D. in Computer Science from Rensselaer Polytechnic
Institute (RPI) in May 2015, working under Professor Selmer Bringsjord
and specializing in the computational modeling of analogical reasoning.
He earned his BSc in Computer Science (Magna Cum Laude), University of
South Alabama in 2010.
Watch
AGI-13 John Licato — On Deep Computational Formalization of Natural Language.
Read his
Google Scholar profile and his
LinkedIn profile.
Follow his
Twitter feed.