AI Lecture 7: Using Language Models for Knowledge Acquisition in Natural Language Reasoning Problems

Yisong Wang
Jun 9, 2023 1 min read
Artificial Intelligence Lecture 7
  • Speaker: Prof. Fangzhen Lin (HKUST)
  • Host: Yisong Wang (Guizhou University)
  • Time: June 9, 2023 (Friday), 10:00–11:00
  • Venue: Room 402, Zhishan Building, Guizhou University

Abstract

The talk compares asking an LLM to solve natural-language reasoning problems directly with using the model to extract facts before passing them to a theorem prover.

Speaker biography

Prof. Lin earned his PhD in Computer Science from Stanford University in 1991 and is an AAAI Fellow. His research includes nonmonotonic reasoning, autonomous agents, logic programming, and reasoning about action.

Artificial Intelligence Academic Lectures
Yisong Wang
Yisong Wang
Professor

Professor at the College of Computer Science and Technology, Guizhou University． His main research interests include knowledge representation andreasoning,machine learning and artificial intelligence．