> ## Documentation Index
> Fetch the complete documentation index at: https://aegean.ai/llms.txt
> Use this file to discover all available pages before exploring further.

# Logical Reasoning

> Knowledge-based agents, propositional logic, the Wumpus world, and theorem proving.

<CardGroup cols={2}>
  <Card title="Introduction to Logical Reasoning" icon="play" href="https://www.youtube.com/watch?v=naFnZLh5DBE">
    Foundations of knowledge-based agents
  </Card>

  <Card title="Syntax and Semantics" icon="play" href="https://www.youtube.com/watch?v=E4pEBbF9CkU">
    Propositional logic syntax and truth tables
  </Card>

  <Card title="The Wumpus World" icon="play" href="https://www.youtube.com/watch?v=5co9RMnYiLU">
    A classic AI reasoning environment
  </Card>

  <Card title="Knowledge Base Operations" icon="play" href="https://www.youtube.com/watch?v=-Pi5tn54mP0">
    Inference rules and knowledge base manipulation
  </Card>

  <Card title="Model Checking" icon="play" href="https://www.youtube.com/watch?v=mhk6IM0nI4s">
    Verifying logical entailment through enumeration
  </Card>

  <Card title="Theorem Proving" icon="play" href="https://www.youtube.com/watch?v=RuhyOrjYRL8">
    Resolution-based theorem proving
  </Card>
</CardGroup>

***

<Callout icon="pen-to-square" iconType="regular">
  [Edit this page on GitHub](https://github.com/aegean-ai/eaia/edit/main/src/media/reasoning/logical-reasoning.mdx) or [file an issue](https://github.com/aegean-ai/eaia/issues/new/choose).
</Callout>