Section outline

  • - Propositional logic, First-order logic
    - Production rules

            - Semantic networks, Ontologies…