AI Expert for hourly support (key topics - Search & Logic)

Description

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 topics1. Search AlgorithmsUnderstanding 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. LogicRepresenting 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 StrategiesTree Search and Graph SearchUninformed Search StrategiesDepth-first search and depth-limited searchIterative Deepening SearchBreadth-First Search
> Solving problems with search - informed search strategiesInformed Search StrategiesActivity: Obstacles / Design of Heuristics
> Representing and reasoning with knowledgePrinciples of logic and propositional logicInference in propositional logicForward and backward chainingFirst-Order LogicThe satisfiability problem in propositional logicEntailment with satisfiabilityA complete, backtracking algorithm for SATAn incomplete, randomised algorithm for SATExecuting DPLL and WalkSATScalability of SAT