Episode 6
CIS 5210 - Module 6 - Knowledge-Based Agents and Logical Reasoning
September 29, 202413m 45s
Audio is streamed directly from the publisher (mcdn.podbean.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
This episode explores knowledge-based agents in AI, covering knowledge bases, inference, propositional logic, theorem proving, logical equivalence, resolution, conjunctive normal form (CNF), proof by contradiction, and distributed knowledge representation and reasoning.
Disclosure: This episode was generated using NotebookLM by uploading Professor Chris Callison-Burch's lecture notes and slides.