Artificial intelligence/Lecture aid

Problems in AI

 * AI02.A.Prob ([[Media:AI02.A.Prob.20141027.pdf |pdf]])

Problem Representation

 * AI03.A.Prob ([[Media:AI03.A.Desc.20141027.pdf |pdf]])

Search Algorithms

 * AI04.A.Search ([[Media:AI04.A.Search.20141027.pdf |pdf]])
 * AI05.A.AndOr ([[Media:AI04.A.AndOr.20141027.pdf |pdf]])

Overview

 * Logic Background ([[Media:AI.1.A.Logic.20190204-2.pdf |A.pdf]], [[Media:AI.1.B.Logic.20191007.pdf |B.pdf]], [[Media:AI.1.C.Logic.20191010.pdf |C.pdf]])
 * Logic in Prolog ([[Media:AI.Logic.2.A.Prolog.20180414.pdf |A.pdf]])
 * Satisfiability and Validity
 * First-Order Logic
 * Resolution Theorem Proving
 * - Propositional Logic
 * - First-Order Logic

Propositional Logic

 * Propositional Logic ([[Media:AI.2.A.Proposition.20151107.pdf |A.pdf]], [[Media:AI.2.B.Proposition.20151107.pdf |B.pdf]])
 * Syntax ([[Media:PL2.A.Syntax.20170320.pdf |A.pdf]])
 * Semantics ([[Media:PL3.A.Semantics.20170530.pdf |A.pdf]])
 * Implication ([[Media:PL4.A.Implication.20170421.pdf |A.pdf]])
 * Arguments ([[Media:PL5.A.Arguments.20170222.pdf |A.pdf]], [[Media:PL5.B.Arguments.20161129.pdf |B.pdf]])
 * Resolution ([[Media:PL6.A.Resolution.20161230.pdf |A.pdf]])

First-Order Logic

 * First Order Logic ([[Media:AI.3.A.1stOrder.20151029.pdf |A.pdf]], [[Media:AI.3.B.1stOrder.20151214.pdf |B.pdf]])
 * Syntax ([[Media:FOL2.A.Syntax.20170123.pdf |A.pdf]])
 * Semantics ([[Media:FOL3.A.Semantics.20170916.pdf |A.pdf]])
 * Implication ([[Media:FOL4.A.Implication.20170530.pdf |A.pdf]])
 * Arguments ([[Media:FOL5.A.Arguments.20170309.pdf |A.pdf]])
 * Resolution ([[Media:Plog.14.A.Resolution.20140815.pdf |A.pdf]])


 * MIT OCW
 * David Poole's book site

Functional Programming

 * SCIP
 * SCIM
 * Scheme
 * Haskell programming in plain view
 * Domain Coloring using Scheme
 * lifted domain coloring
 * domain-coloring.scm

Search Algorithm Java Implementation
Based on the Artificial Intelligence : Modern Approach go to [ Electrical_%26_Computer_Engineering_Studies ]
 * Directory Structure ([[Media:0.Directories.H1.20150331.pdf |pdf]])
 * Build.xml ([[Media:1.Build.xml.H1.20150324.pdf |pdf]])
 * BFS ([[Media:2.BreadthFirstSearch.java.H1.20150417.pdf |pdf]])
 * BFS Test ([[Media:2.BreadthFirstSearchTest.java.H1.20150414.pdf |pdf]])
 * Node ([[Media:4.Node.java.H1.20150414.pdf |pdf]])
 * NodeExpander ([[Media:5.NodeExpander.java.H1.20150406.pdf |pdf]])
 * NodeStore ([[Media:6.NodeStore.java.H1.20150415.pdf |pdf]])