This is a podcast for the University of Pennsylvania’s Artificial Intelligence Course (CIS 5210). The episodes are automatically generated using NotebookLM by uploading Prof. Chris Callison-Burch’s lecture notes and lecture slides.
All content for The CIS 5210 Podcast is the property of Chris Callison-Burch and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
This is a podcast for the University of Pennsylvania’s Artificial Intelligence Course (CIS 5210). The episodes are automatically generated using NotebookLM by uploading Prof. Chris Callison-Burch’s lecture notes and lecture slides.
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.
The CIS 5210 Podcast
This is a podcast for the University of Pennsylvania’s Artificial Intelligence Course (CIS 5210). The episodes are automatically generated using NotebookLM by uploading Prof. Chris Callison-Burch’s lecture notes and lecture slides.
