Introduction to Artificial Intelligence

  1. Knowledge Representation and Reasoning
    1. Logic Foundations
      1. Propositional Logic
        1. Syntax and Grammar
          1. Semantics and Truth Tables
            1. Logical Connectives
              1. Tautologies and Contradictions
                1. Logical Equivalence
                  1. Normal Forms
                    1. Conjunctive Normal Form
                      1. Disjunctive Normal Form
                    2. Inference in Propositional Logic
                      1. Natural Deduction
                        1. Modus Ponens
                          1. Modus Tollens
                            1. Resolution Theorem Proving
                              1. Horn Clauses
                                1. Forward and Backward Chaining
                                2. First-Order Logic
                                  1. Syntax and Semantics
                                    1. Terms and Formulas
                                      1. Quantifiers
                                        1. Universal Quantification
                                          1. Existential Quantification
                                            1. Nested Quantifiers
                                            2. Equality and Functions
                                              1. Skolemization
                                              2. Inference in First-Order Logic
                                                1. Unification Algorithm
                                                  1. Resolution in FOL
                                                    1. Generalized Modus Ponens
                                                      1. Completeness and Decidability
                                                    2. Knowledge Representation Schemes
                                                      1. Semantic Networks
                                                        1. IS-A Hierarchies
                                                          1. Inheritance
                                                            1. Multiple Inheritance Issues
                                                            2. Frames and Scripts
                                                              1. Frame Structure
                                                                1. Slots and Fillers
                                                                  1. Default Values
                                                                    1. Procedural Attachment
                                                                      1. Script-Based Reasoning
                                                                      2. Ontologies
                                                                        1. Conceptual Modeling
                                                                          1. Taxonomies
                                                                            1. Relationships and Properties
                                                                              1. Ontology Languages
                                                                                1. Description Logics
                                                                                2. Production Systems
                                                                                  1. Rule-Based Architecture
                                                                                    1. Working Memory
                                                                                      1. Conflict Resolution
                                                                                        1. Rete Algorithm
                                                                                      2. Automated Reasoning
                                                                                        1. Theorem Proving
                                                                                          1. Resolution Method
                                                                                            1. Tableau Methods
                                                                                              1. Natural Deduction Systems
                                                                                              2. Model Checking
                                                                                                1. Satisfiability Testing
                                                                                                  1. Binary Decision Diagrams
                                                                                                    1. Temporal Logic
                                                                                                    2. Nonmonotonic Reasoning
                                                                                                      1. Default Logic
                                                                                                        1. Circumscription
                                                                                                          1. Autoepistemic Logic
                                                                                                          2. Probabilistic Reasoning
                                                                                                            1. Bayesian Networks
                                                                                                              1. Markov Networks
                                                                                                                1. Inference Algorithms
                                                                                                              2. Planning and Acting
                                                                                                                1. Classical Planning
                                                                                                                  1. STRIPS Representation
                                                                                                                    1. State-Space Planning
                                                                                                                      1. Plan-Space Planning
                                                                                                                        1. Partial-Order Planning
                                                                                                                        2. Planning Algorithms
                                                                                                                          1. Partial-Order Planners
                                                                                                                            1. GraphPlan Algorithm
                                                                                                                            2. Planning with Time and Resources
                                                                                                                              1. Temporal Planning
                                                                                                                                1. Resource Constraints
                                                                                                                                  1. Scheduling
                                                                                                                                  2. Hierarchical Planning
                                                                                                                                    1. Task Networks
                                                                                                                                      1. Hierarchical Task Networks
                                                                                                                                        1. Abstraction Levels
                                                                                                                                        2. Planning and Acting in Real World
                                                                                                                                          1. Conditional Planning
                                                                                                                                            1. Monitoring and Replanning
                                                                                                                                              1. Multi-Agent Planning

                                                                                                                                          Previous

                                                                                                                                          2. Problem Solving and Search

                                                                                                                                          Go to top

                                                                                                                                          Next

                                                                                                                                          4. Machine Learning Fundamentals