Presentations: Ernest Davis

A First-Order Theory of Communicating First-Order Formulas, (Zipped directory with a .ppt and several .wav files). KR 2004.

Why Are Computers So Stupid, and What Can Be Done About It? Palladium Lecture, NYU, Feb. 2006.

Commonsense Physical Reasoning Research presentation, Feb. 2006

Commonsense Reasoning and Science Research presentation, Feb. 2007

The Expressivity of Quantifying over Regions Computational Topology, Algebra and Geometry Seminar, March 20, 2007.

Commonsense Physical Reasoning: Boxes and Pitchers IBM, May 16, 2007

Commonsense Reasoning about Chemistry Experiments: Ontology and Representation Commonsense Reasoning, June 2009.
Pre-2007 Powerpoint format

How does a Web Search Engine Work? CSplash, April 17, 2010.

Ontologies and Representations of Matter AAAI, July 14, 2010.

Metalogical Properties of First-Order Languages over Spatial Regions CUNY, October 8, 2010.

Qualitative Spatial Reasoning in Interpreting Text and Narrative. COSIT, September 14, 2011.

Why Are Computers So Stupid, and What Can Be Done About It? Science on Saturday, Princeton Plasma Physics Lab, March 3, 2012. Video

Radically Incomplete Reasoning: The Case of Containers. Advances in Cognitive Systems, December 14, 2013.

Evaluating Progress in Commonsense Reasoning AI Summit, February 24, 2014.

The Scope and Limits of Simulation in Automated Reasoning and Cognitive Models. Seminar on Concepts and Categories, NYU Psychology Dept. March 28, 2014.

Projective Geometry CSplash, April 26, 2014     PDF

Artificial Intelligence and Commonsense Reasoning, New York Amateur Computer Club, May 14, 2015.

How AI Programs Collect Concepts. Seminar on Concepts and Categories, NYU Psychology Dept. September 25, 2015.

How Strong is the Empirical Evidence for Bayesian Models of Cognition? with Gary Marcus. Presented at the Is the Brain Bayesian? symposium, NYU, December 4, 2015.

Automating the Foundations of Physics, Starting from the Experiments . Presented at Computationally Assisted Mathematical Discovery and Experimental Mathematics, May 14. 2016. PDF.

Collecting Commonsense Inferences from Text, Cognitum 2016 , July 11, 2016.

The Scope and Limits of Simulation in Automated Reasoning and Cognition, Northwestern University, January 10. 2017.

Reasoning about Containers Northwestern, January 11, 2017.

The Scope and Limits of Simulation in Automated Reasoning and Cognition, Cognitive AI Meetup, New York, February 23, 2017.

Avoiding Dangers of AI. SIROS-2, Brown University, March 30, 2017.

The Logical Depth of Reasoning about Other Minds , Advances in Cognitive Systems, May 13, 2017.

Proof Verification Technology and Physics In PDF Google, NY, December 2017

Four Challenges for Physical Reasoning Army Research Lab, January 18, 2018.

Building AIs with Common Sense Princeton chapter of the ACM, May 16, 2019.

Building AI We Can Trust Computers and Society, Columbia University, October 15, 2019.
Revised Version AI and Ethics, Columbia University, February 12, 2020.
Revised version MIT Task Force on the Work of the Future, MIT, May 7, 2020.
20 minute version Renaissance Numérique, February 23, 2021.

Time and Space in Knowledge Graphs   Ontology Summit 2020, May 6, 2020.

The Scope and Limits of Simulation in Automated Physical Reasoning. Argonne National Lab, March 3, 2021.

Natural Language Processing and Commonsense Reasoning, AI in Fiction and Fact, RPI, June 1, 2021.

Automating Common Sense: Where do we stand? Keynote address, Conference on Business Informatics, September 2, 2021. Video.

Commonsense Benchmarks and Datasets, Informal discussion, KR-2021, November 10, 2021

The Scope and Limits of Simulation in Automated Physical Reasoning, National Institute of Science and Technology, November 17, 2021.

Physical Reasoning in an Open World by Zhuoran Zeng and Ernest Davis, Advances in Cognitive Systems, November 17, 2021. PDF

Common Sense and Artificial Intelligence Cognitive Science Seminar, Rutgers University, March 1, 2022.

Artificial inteligence: Perceptions and Reality — Accomplishments, Challenges, Prospects, and Risks. Institute of International and European Affairs, October 24, 2022

Commonsense Physical Reasoning in Humans and Machines, guest lecture, "Mécanismes de l’intuition mathématique chez les êtres humains et les machines," Stanislas Dehaene, Collège de France, January 13, 2023. Video

Rebooting Reconsidered Invited short talk at Eine Uni — Eine Buch, University of Bamberg, May 15, 2023.

Experiemnts with GPT-4 plus plug-ins on physics/math problems, NSF Panel on Reliability of current Large Language Models, September 5, 2023

AI and Elementary Science amd Math Problems, IEEE Ubiquitous Computing, Electronics, & Mobile Communication Conference (UEMCON), October 12, 2023.

The Short term Risks of Artificial Intelligence, Ethics Breakfast series, Dirah, January 21, 2024.