The CIS 5210 Podcast

CIS 5210 - Module 6 - Knowledge-Based Agents and Logical Reasoning

13 min · 29. sept. 2024
episode CIS 5210 - Module 6 - Knowledge-Based Agents and Logical Reasoning cover

Description

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.

Comments

0

Be the first to comment

Sign up now and become a member of the The CIS 5210 Podcast community!

Get Started

1 month for 9 kr.

Then 99 kr. / month · Cancel anytime.

  • Podcasts kun på Podimo
  • 20 lydbogstimer pr. måned
  • Gratis podcasts

All episodes

8 episodes