AI Lecture 6: A Modular Approach to Datalog Reasoning
Artificial Intelligence Lecture 6- Speaker: Dr. Pan Hu (Shanghai Jiao Tong University)
- Host: Yisong Wang (Guizhou University)
- Time: May 6, 2023 (Saturday), 15:00–16:00
- Venue: Room 402, Administration Building No. 2, Guizhou University
Abstract
The talk presents a modular Datalog reasoning framework that combines standard and customized algorithms through rule modules, including transitivity, symmetry-transitivity, chain rules, and cyclic bodies.
Speaker biography
Dr. Hu is a lecturer and master’s supervisor at Shanghai Jiao Tong University. His research focuses on knowledge representation and reasoning.
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．