Seeking an experienced AI expert to provide hourly support (objective & subjective questions) on two key topics within AI: Search Algorithms and Logic. Required strong theoretical foundation and related concepts and implementations.
Scope of topics 1. Search Algorithms Understanding and implementing search algorithms, including Depth-First Search (DFS), Breadth-First Search (BFS), and Iterative Deepening. Estimating the size and complexity of searches performed by uninformed search algorithms. Designing heuristics for informed search algorithms. Applying informed search algorithms, including Greedy Best-First Search and A* Search.
2. Logic Representing scenarios in propositional logic and transforming logic sentences into conjunctive normal form (CNF). Applying reasoning algorithms for propositional logic with Horn clauses, including forward and backward chaining. Representing decision problems and logical entailment as propositional satisfiability. Solving satisfiability problems using reasoning algorithms in propositional logic.
> Solving Problems with Search – Uninformed Search Strategies Tree Search and Graph Search Uninformed Search Strategies Depth-first search and depth-limited search Iterative Deepening Search Breadth-First Search
> Solving problems with search - informed search strategies Informed Search Strategies Activity: Obstacles / Design of Heuristics
> Representing and reasoning with knowledge Principles of logic and propositional logic Inference in propositional logic Forward and backward chaining First-Order Logic The satisfiability problem in propositional logic Entailment with satisfiability A complete, backtracking algorithm for SAT An incomplete, randomised algorithm for SAT Executing DPLL and WalkSAT Scalability of SAT
