This is an old revision of the document!
Artificial Intelligence
Artificial Intelligence 2023/2024-winter [PSI+CS]
Introduction to the course. Syllabus and how to pass the course. Introduction to AI. Intelligence and Artificial Intelligence. Example Problems. SEND+MORE=MONEY. [3.10.2023;ali-PSI][5.10.2023;ali-CS]
Japanese IQ Test. Generic Problem Solving. SEND+MORE=MONEY ? Introduction to AI. Example Problems Core techniuqes. On Methods of Problem-Solving. The AI-ML-CI Triangle. [10.10.2023;ali-PSI][12.10.2023;ali-CS]
ABCD * 4 = DCBA. Introduction to Artificial Intelligence. Tools and examples of problem-solving. Logical Knowledge Representation and Reasoning. Towards a Taxonomy. [17.10.2023;ali-PSI][19.10.2023;ali-CS]
-
Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. Deductive Data Bases. [26.10.2023-CS;ali]
E-learning PSI: 31.10.2023: Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. Deductive Data Bases. Prolog-1: Syntax, Variables, Terms, Clauses Book: Chapters 0,1,2,3 + videos [31.10.2023-PSI] Więcej na stronie:
Kursy Prologu
Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. Deductive Data Bases. [7.11.2013-PSI;ali]
Prolog: terms vs. lists. Basic operations on lists. Member vs. Select. Append. Examples of applications. [9.11.2023-CS;ali][14.11.2013-PSI;ali]
Prolog: advanced list operations. Lists Ordering. Applications.Recursion, Iteration and Loops. Assert and Retract. Metapredicates; findall/3 and maplist/1/2/3. [16.11.2023-CS;ali][21.11.2013-PSI;ali]
Graph Search Algorithms in AI: Tree Search vs. Graph Search. Blind Search DFS Implementation in Prolog.</fc>[23.11.2023-CS;ali][28.11.2013-PSI;ali]
A Review of Graph Search Algorithms in AI: DFS, BFS, UC vs. Dijkstra. Implementation in Prolog - Examples. Extensions and Modifications. [30.11.2023-CS;ali][5.12.2013-PSI;ali]
… [7.12.2023-CS;ali][12.12.2013-PSI;ali]
New:
Świetny i aktualny wykład o AI. Michał Kosiński, Stanford, 1.22h
Problems Solved by Students:
Artificial Intelligence - 2022-2023 [AI-CSC-5 + PSI-ISI-3]
E-Learning: Introduction to AI. [2.03.2023]
-
Introduction to Artificial Intelligence. Tools and examples of problem-solving. Logical Knowledge Representation and Reasoning. Introduction to Prolog; First (3) examples. [16.03.2023]
Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. [23.03.2023]
Prolog: terms vs. lists. Basic operations on lists. Member vs. Select. Append. Examples of applications.[30.03.2023]
Easter Holidays [6.04.2023]
Prolog - continued; advanced operations of lists. Applications of lists. Examples. [13.04.2023]
Intro to KRR in Prolog. Graph Search: Blind Methods. Modeling in Prolog. [20.04.2023]
Intro to KRR in Prolog. Graph Search: Blind Methods. DFS as a basic method. Backtracking. Improving efficiency. Modeling in Prolog. [27.04.2023]
Intro to KRR in Prolog. Graph Search: Heuristic Methods. Modeling in Prolog. [4.05.2023]
KRR continued. Graph Search: Heuristics and Heuristic Methods. The A* Algorithm. [11.05.2023]
Constraint Programming; on-line UPEL[18.05.2023]
Automated Design of Algorithms by Thomas Stutzle. Place: Room 3.27B D17 (Informatyka) [11:00 25.05.2023]
2 student presentations. MiniZinc for CP. [1.06.2023]
[14-15.06.2023 - exam zero. Info by/on Upel/Moolde]
Support:
Problog - a quick intro
Lectures 2022-2023 Winter [CSC/PSI]
Inauguracja Roku Akademickiego [4.10.2022] [CSC/PSI]
-
Introduction to Artificial Intelligence. Knowledge Representation and Reasoning. Problem-Solving. Problems Taxonomy and Problem-Solving Methods and Tools. [13.10.2022-CSC][18.10.2022-ISI]
Introduction to Artificial Intelligence. Tools and examples of problem-solving. Logical Knowledge Representation and Reasoning. Introduction to Prolog; First (3) examples. [20.10.2022-CSC][25.10.2022-ISI]
Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. [27.10.2022 - CSC][15.11.2022-ISI]
Prolog: terms vs. lists. Basic operations on lists. Member vs. Select. Examples of applications.[3.11.2022-CSC][22.11.2022-ISI]
E-Learning:[10.11.2022-CSC] and [8.11.2022-ISI]
Prolog: advanced list operations. Append. Recursion vs. iteration. Examples of applications. [17.11.2022-CSC][29.11.2022]
Prolog: advanced list operations. Ordering. Applications. [24.11.2022-CSC][6.12.2022-ISI]
Graph Search: Blind Methods. Modeling in Prolog. [1.12.2022][6.12.2022]
Graph Search: Heuristic Methods. Modeling in Prolog. [8.12.2022] [13.12.2022]
Rule-Based Systems and Decision Trees. Expert Systems. DSS. [15.12.2022][20.12.2022 - planned: on-line]
Automated Planning. Modeling in Prolog. [5.01.2023][3.01.2023]
Constraint Programming. [12.01.2023][10.01.2023]
Constraint Programming. MiniZinc. Constraint Logic Programming. SWI-Prolog+clp(fd). Picat [19.01.2023][17.01.2023 ISI Exam 0 (na UPEL)]
[26.01.2023] Exam 0 (on UPEL)
Support for Prolog: Lectures on Prolog [slides 2021/2022] + Sets of Examples + interesting links
With Best Christmas Wishes 2022 - just for fun:
Artificial Intelligence - 2021-2022 [AIDA]
Introduction to AI and CSP/CP. A first note on MiniZinc [2.03.2022; ALi]
Introduction to CP and MiniZinc [9.03.2022; ALi
AI: 16.03.2022: E-lerning:
MiniZinc - continuation[23.03.2022;ALi] AWARIA UPEL –> zajęcia były na Teams.
MiniZinc: final examples. Practical applications: TSP, Nurse Rostering. [30.03.2022;ALi]
Constraint Programming: Theoretical Foundations. Constraint Propagation Algorithms. [6.04.2022;ALi]
Logical Foundations of AI. Introduction to Logic Programming and Prolog. [13.04.2022; ALi]
Easter Holidays - no break in lectures.
20.04.2022
27.04.2022
4.05.2022
11.05.2022
18.05.2022
25.05.2022
1.06.2022
8.06.2022 - Last meeting!
—
Support for Lectures
Artificial Intelligence - 2021-2022 [AI-CS-5 + PSI-ISI-3]
Lectures 2021
Introduction to Artificial Intelligence. Knowledge Representation and Reasoning. Problem-Solving. Info on Local Search Methods for Heuristic Optimization. [5.10.2021; ALi]
Introduction to Artificial Intelligence
Introduction to Artificial Intelligence. Knowledge Representation and Reasoning. Problem-Solving. Problems Taxonomy and Problem-Solving Methods and Tools. [12.10.2021; ALi]
Introduction to Artificial Intelligence. Tools and examples of problem-solving. Introduction to Prolog; 3 examples. [19.10.2021; ALi]
Prolog: syntax, terms, logical foundations, operation, examples. Cut and fail. Backtracking search. [26.10.2021; ALi]
Prolog: basic operations on lists. Recursion vs. iteration. Examples of applications. [2.11.2021; ALi]
Prolog: advanced list operations. Examples of applications. [9.11.2021; ALi]
Graph Search: blind strategies. Implementation in Prolog. [16.11.2021;ALi]
-
E-learning:Search: heuristic strategies. Implementation in Prolog. [30.11.2021; ALi]
E-Learning: Knowledge Engineering. Rule-Based Systems, Automated Planning, Deductive Databasases (Q&A). [7.12.2021; ALi]
Planned in Room 429/C-2: Knowledge Engineering. Graph Search and Automated Planning [14.12.2021; ALi]
On-line via Moodle VC: Graph Search: heuristic strategies. Implementation in Prolog. [21.12.2021; ALi]
On-line via Moodle VC: Introduction to Constraint Programming. [4.01.2022; ALi]
Constraint Programming: Introduction to MiniZinc. [11.01.2022;ALi] Room 429/C-2
Rule-Based Systems and Decision Trees. Machine Learning. Model-Based Reasoning. [18.01.2022; ALi] Room 429/C-2
Exam Zero [25.01.2022; planned on Moodle via Internet]
-
-
-
-
-
-
-
-
-
-
Introduction to AI 2021 - Selected labs
Podstawy Sztucznej Inteligencji 2021 - Wybrane laboratoria
Lectures - 2021 - Summer [closed]
-
Introduction to Constraint Programming. Building simple CP models in MiniZinc. Abduction/Constructive Abduction. CP/CSP/SAT vs. Constrained Optimization. MiniZinc by examples: map coloring, SendMoreMoney, SendMostMoney. Constraint Satisfaction vs. Optimization with Constraints. MiniZinc vs. Python and Prolog examples. [11.03.2021; ALi]
MiniZinc Examples - 11.04.2021 Python+Prolog-examples-11-03-2021
Backtracking Search and Linear Programming Models; CSP vs COpt. Production planning; using external data sets. Real numbers: loan and laplace. Simple production planning: sets, sets, arrays, program parametrization. Aggregation and quantification. [18.03.2021; ALi]
Modeling in MiniZinc: Sudoku, symmetry braking, knapsack, jobshop, cumulative and other applications in MiniZinc. [25.03.2021; ALi]
MiniZinc Examples - 25.03.2021
Happy Easter! [1.04.2021]
Real-World Examples of Constraint Programming. Introduction to Theory of CP. Constraint Propagation. [8.04.2021;ALi]
Constraint Programming. Backtracking Search and Constraint Propagation. Forward Checking. Arc Consistency. Tree-Structured Problems. Problem Decomposition. Nurse Rostering Problem. [15.04.2021;ALi]
Constraint Programming
AI- a Big Picture. Graph Search as a Model of Problem Solving. Blind Search. [22.04.2021;ALi]
AI - Heuristic Search Methods. Heuristics and their Properties. Greedy Search and the A* Algorithm. Automated Planning. State-Space Modeling. Hill Climbing and Genetic Algorithms. [29.04.2021;ALi
AI - Introduction to Rule-Based Systems. Foundations, Technologies, Tools and Applications. [6.05.2021; KKl]
AI - Semantic Web and Description Logics. Concepts, Ontologies, Technologies and Application Areas. [13.05.2021; WTA]
AI - [20.05.2021; MAD]
AI - [27.05.2021; MSL]
Holidays [3.06.2021]
AI - [10.06.2021; ALi]
Basic reference handbook:
—-
Lecture slides + supporting materials
Knowledge Representation and Reasoning
Systems Modelling and Data Analysis + Engineering of Intelligent Systems
Lectures - 2020
Introduction to Knowledge Representation and Reasoning. Basic Practical Introduction to Constraint Programming and MiniZinc: 3 simple examples. [25.02.2020; ALi]
Introduction to Constraint Programming. Building simple CP models in MiniZinc. Abduction/Constructive Abduction. CP/CSP/SAT vs. Constrained Optimization. MiniZinc by examples: map coloring, sendMoreMoney, SendMostMoney,production planning; using external data sets. [3.03.2020; ALi]
Backtracking Search and Linear Programming Models; cryptoarithmetic examples vs. linear programming optimization. MiniZinc and Python examples. Modeling Sudoku, production optimization, knapsack, jobshop and other applications in MiniZinc.[10.03.2020; ALi]
Uwaga: Zajęcia odwołane 11.03.2020 godz. 10:00 do 24-czy-25(?).03.2020! Attention: Lectures/classes cancelled until March 24-or-25-th(?), 2020! See: AGH - Decision/Decycja
Constraint Programming Tools: MiniZinc. Examples of application. [17.03.2020; Online class (use slides 2 below; start from page 47 and continue untill the end; Also lin 3 below); ALi]
Logical background for Knowledge Representation and Reasoning. Syntax and Semantics of Propositional Calculus. [24.03.2020;ALi]
Logical background for Knowledge Representation and Reasoning. Inference Tasks and Theorem Proving. [31.03.2020; ALi]
Logical background for Knowledge Representation and Reasoning. Principles of Propositional Calculus. Syntax, Semantics, Logical Implication. Truth Tables. Functionally Complete Systems; NAND, NOR. [On-Line via UPEL; 7.04.2020;ALi]
Logical background for Knowledge Representation and Reasoning. Logical Equivalent Transformation Rules. Implicants and Implicents. CNF and DNF. [On-Line via UPEL; 21.04.2020;ALi]
Logical Inference Rules. Theorem Proving. Resolution and Dual Resolution. Semantic Tableau. Fitch System. Unicorn again. [On-Line via UPEL; 28.04.2020;ALi]
In Search for Models: Satisfiability Verification. Decision Trees, Ordered Binary Decision Diagrams. The SAT Problem and SAT Sovers. [On-Line via UPEL; 5.05.2020; ALi]
First-Order Predicate Calculus and Resolution Theorem Proving: Towards Logic Programming and Prolog [On-Line via UPEL; 12.05.2020; ALi]
Logic Programming and Prolog. Constraint Programming, Rule-Based System and Automated Planning in Prolog. [On-Line via UPEL; 19.05.2020; ALi]
Decision Trees, Decision Tables, Rule-Based Systems
Graph-Search and Planning
Constraint Problem Solving; Constraint Logic Programming
Abduction, Abductive Reasoning, Model-Based Reasoning, Consistency-Based Reasoning, Diagnostic Systems.
Fuzzy Sets, Fuzzy Logic and Fuzzy Rule-Based Systems vs. Probabilistic Models
Invited presentations…
Final Examination.
Basic reference handbook:
—-
Support materials/Lecture slides:
-
-
-
-
-
-
-
-
-
-
-
-
-
-
New: Screencast from on-line lectures: video+sound (Use Google Chrome or try your browser):
Auxiliary support and internet sources:
Lectures 2018
Introduction to Knowledge Representation and Reasoning. Basic Practical Introduction to Constraint Programming and MiniZinc: 3 simple examples. [27.02.2018; ALi]
Introduction to Constraint Programming. Building simple CP models in MiniZinc.* [6.03.2018; ALi]
Backtracking Search and Linear Programming Models; cryptoarithmetic examples vs. linear programming optimization. MiniZinc and Python examples. [13.03.2018]
Examples of model building in MiniZinc. Arrays, conditional expressions, Boolean constraints and higher-order programming. Job shop model. [20.03.2018; Ali]
Knapsack model and Cumulative constraints. Practical applications of Constraint Programming. Some theory: Constraint propagation. [27.03.2018; Ali]
[3.04.2018 - Easter breake]
Techniques for Constraint Propagation [10.04.2018; ALi]
Knowledge Representation with Logic. Propositional Calculus. [17.04.2018; ALi]
Reasoning in Propositional Calculus. Resolution Method. Introduction to SAT. [24.04.2018; ALi]
[1.05.2018 - Holidays]
SAT: problems, techniques, tools and example applications. [8.05.2018; invited presentation]
Knowledge Representation with Logic. First-Order Predicate Calculus. [15.05.2018; ALi]
Logic Programming and Prolog. [22.05.2018; ALi]
Rule-Based Systems and Planning. [29.05.2018; ALi]
Individual work: Preparation for the exam. [5.06.2018; ALi]
Exam - zero 15:30-17:00 [12.06.2018; ALi]
Exams: 27.06.2018 - 11:00, and 4.07.2018- 14:00 Room 429/322 C-2 [ALi]
Lectures: Tuesdays, C-2, Room 429, 15:30-17:00
Preparation for exam 2018 - main focus List of topics
Lecture slides + supporting materials
Useful links
Knowledge Representation and Reasoning. Edition 2016/2017
Introduction to Knowledge Representation and Reasoning. Abduction. Basic Introduction to Constraint Programming [1.03.2017; ALi]
Constraint Programming Tools. Introduction to MiniZinc. Building a Model: Einstein Puzzle [8.03.2017; ALi]
Constraint Programming Tools. Introduction to MiniZinc. Simple example models. [15.03.2017; ALi]
Constraint Programming Tools. Introduction to MiniZinc. Sets and arrays. Aggregation functions. Logical constraints. Production planning example. Job-Shop example. [22.03.2017; ALi]
MiniZinc: selected predicates and application examples. Introduction to Constraint Propagation. [29.03.2017; ALi]
Introduction to Knowledge Representation. The role of logic. Rule-Based Systems. [5.04.2017;ALi]
-
E-Learning: Fuzzy Sets, Fuzzy Logic, Fuzzy Rules. [19.04.2017]
Planning. Situation Calculus. STRIPS. Block World Examples. [26.04.2017; ALi]
Advanced Planning. Hierarchical Planning. AND/OR Graphs search. Decomposition. Discrete-Even Systems. [10.05.2017]
E-Learning: Causal Networks and Probabilistic Models. Bayes Networks. [17.05.2017]
E-Learning: Problog: Probabilistic Logic Programming Models. [24.05.2017]
E-Learning: ASP - Answer Set Programming. [31.05.2017]
Recapitulation: Knowledge Representation and Reasoning. Test Problems. Exam 0. [7.06.2017]
E-Learning: Description Logics. [14.06.2017]
Attention: new location: Building C-3, Room 101.
Time: Wednesdays, 12:30-14:00
Lecture Slides
Useful Links
Background Material
New: Preparation for Exam
There is some background material indication: Exam focus
Permanently under construction
Laboratories
Constraint Satisfaction and Discrete Optimization
The following classes will focus on modelling of discrete optimization and constraint satisfaction problems. Student will learn how to represent correctly different problems using constraint programming techniques.
Automated Planning
The following classes will cover automated planning problems. Student will learn how to represent planning problems using constraint programming and dedicated tools.
-
-
-
Probabilistic Programming
This part of the course will present probabilistic programming — a new programming paradigm meant to model domains uncertainty and imperfect knowledge.
-
-
-
Projects
There are three projects to choose from:
fox-geese-corn — simple planning problem.
gangs-wars — problem about optimal ordering of tasks. Quite simple, but it's very difficult to find the optimal solution.
port-scheduling — almost real-life problem about scheduling coal deliveries in an Australian port.
All the project are available via gitlab.
The test assignment is an obligatory project, that everyone has o finish before starting working on the one real projects.
Instructions, how to do the projects are included in the README.md
files.
The deadline is simply last class in the semester.
While grading I will check:
if the model is correct;
if the model allows to quickly find a good solution;
if the model is comprehensible;
what was your work hygiene (how often did you commit, did you contact in case of a problem, etc.)
PS yes, you can do projects in pairs.