This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
en:dydaktyka:krr:start [2023/11/24 16:41] ligeza [Artificial Intelligence 2023/2024-winter [PSI+CS]] |
en:dydaktyka:krr:start [2024/04/25 10:56] (current) ligeza [Artificial Intelligence - 2022-2023 [AIDA]] |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ---- | ---- | ||
| + | |||
| + | ====== Artificial Intelligence - 2022-2023 [AIDA]====== | ||
| + | |||
| + | |||
| + | - **Introduction to Artificial Intelligence. Organization. Syllabus and how to pass the course.** [29.02.2024; Ali] {{{{ :en:dydaktyka:krr:artificial_intelligence_2024_based_on_2021_2022_i_krr_2020_.pdf |Introduction to AI'2024}}}} | ||
| + | - **Presentations: Gurobi. Grammatical Evolution.** [7.03.2024]. | ||
| + | - **Presentations: Grammatical Evolution. Definitions of AI. The AI-CI-ML Triangle. Knowledge Representation and Reasoning. Problem-Solving. Example problems. Japanese IQ Test. Generic Problem-Solving. SEND+MORE=MONEY ?** [14.03.2024; Ali] | ||
| + | - Presentations: **Military AI. On Edge: Neural Nets Devices.** [21.03.2024; Ali] | ||
| + | - <fc #ff00ff>Easter Holidays</fc> [28.03.2024] | ||
| + | - Presentation: **Fuzzy Logic. Deep Learning.** [4.04.2024; Ali] | ||
| + | - **AI Art. Prompt Engineering.** [11.04.2024; Ali] | ||
| + | - **Natural Language Processing (LLM). Generative AI.** [18.04.2024; Ali] | ||
| + | - <fc #00ff00>**Federated Learning. Introduction. Medical Data. **</fc> [25.04.2024; Ali] | ||
| + | - ... [9.05.2024; Ali] | ||
| + | - ... [16.05.2024; Ali] | ||
| + | - ... [23.05.2024; Ali] | ||
| + | - ... [28.05.2024; Ali] | ||
| + | - ... [6.06.2024; Ali] | ||
| + | - ... <fc #ff00ff>Exam 0.</fc> [13.06.2024; Ali] | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | ---- | ||
| + | |||
| + | __**Support 2024:**__ | ||
| + | |||
| + | * {{{{ :en:dydaktyka:krr:artificial_intelligence_2024_based_on_2021_2022_i_krr_2020_.pdf |Introduction to AI'2024}}}} | ||
| + | * {{ :en:dydaktyka:krr:selected_tools_for_grammatical_evolution_analysis_and_applications.pdf |Grammatical Evolution}} | ||
| + | * [[https://www.gurobi.com/|Gurobi]] | ||
| + | * [[https://www.tutorialspoint.com/artificial_intelligence/artificial_intelligence_fuzzy_logic_systems.htm|Fuzzy Logic in AI]] | ||
| + | * {{ :en:dydaktyka:krr:militaryai.pdf |Military AI}} | ||
| + | * [[https://docs.google.com/presentation/d/11pU-mv5sqPZknyeJhqN7ccwGudM4CpADGkEoiDeYwrM/edit#slide=id.g2c694239e83_1_66|Natural Language Processing]] | ||
| + | * [[ https://youtu.be/F_1TUdXoshY|Grammatical Evolution: Sztuczna Inteligencja nie musi być tajemnicza - on youtube by Jakub Skrzyński]] | ||
| + | * ... | ||
| + | |||
| + | |||
| + | See also links below... | ||
| + | |||
| + | |||
| ====== Artificial Intelligence 2023/2024-winter [PSI+CS] ====== | ====== Artificial Intelligence 2023/2024-winter [PSI+CS] ====== | ||
| Line 12: | Line 54: | ||
| - **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] | - **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] | ||
| - **<fc #ff00ff>E-learning PSI: 31.10.2023:</fc>** **Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. Deductive Data Bases.** {{ :pl:dydaktyka:pp:prolog_1_2021.pdf |Prolog-1: Syntax, Variables, Terms, Clauses}} [[https://www.metalevel.at/prolog|Book: Chapters 0,1,2,3 + videos]] [31.10.2023-PSI] Więcej na stronie: [[https://ai.ia.agh.edu.pl/pl:dydaktyka:pp:start#programowanie_w_jezyku_prolog_-_wyklady_2020_2021|Kursy Prologu]] | - **<fc #ff00ff>E-learning PSI: 31.10.2023:</fc>** **Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. Deductive Data Bases.** {{ :pl:dydaktyka:pp:prolog_1_2021.pdf |Prolog-1: Syntax, Variables, Terms, Clauses}} [[https://www.metalevel.at/prolog|Book: Chapters 0,1,2,3 + videos]] [31.10.2023-PSI] Więcej na stronie: [[https://ai.ia.agh.edu.pl/pl:dydaktyka:pp:start#programowanie_w_jezyku_prolog_-_wyklady_2020_2021|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] | + | - **Knowledge Representation and Reasoning in Prolog: syntax, terms, facts, clauses. Logical foundations, operation, examples. Cut and fail. Backtracking search. Deductive Data Bases.** [7.11.2023-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: terms vs. lists. Basic operations on lists. Member vs. Select. Append. Examples of applications.** [9.11.2023-CS;ali][14.11.2023-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] | + | - **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.2023-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] | + | - **Graph Search Algorithms in AI: Tree Search vs. Graph Search. Blind Search DFS Implementation in Prolog.**[23.11.2023-CS;ali][28.11.2023-PSI;ali] |
| - | - <fc #008000>A Review of Graph Search Algorithms in AI: DFS, BFS, UC vs. Dijkstra. Implementation in Prolog - Examples. Extensions and Modifications.</fc> [30.11.2023-CS;ali][5.12.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.2023-PSI;ali] |
| - | - ... [7.12.2023-CS;ali][12.12.2013-PSI;ali] | + | - **Graph Search: Heuristics and Heuristic Methods. Greedy Search. The A* Algorithm. Examples in Prolog.** [7.12.2023-CS;ali][12.12.2023-PSI;ali] |
| + | - **Automated Plan Generation. Robot Planning.** [14.12.2023-CS;ali][19.12.2023-PSI;ali] | ||
| + | - **Hierarchical Task Networks. AND-OR plans.** [21.12.2023-CS;ali] | ||
| + | - **<fc #9400d3>ChatGPT-3: prezentacja</fc>** [9.01.2024-PSI;gcz] | ||
| + | - **Partially ordered plans. Hierarchical plans, HTN.AND-OR plans. Knowledge Compilation. Rule-Based Systems. BPMN.** [4.01.2024-CS;ali] | ||
| + | - **Constraint Programming. MiniZinc.Prolog+clpfd.** [11.01.2024-CS;ali] | ||
| + | - **<fc #ff00ff>E-learning PSI. Przygotowanie do egzaminu. Constraint Programming. MiniZinc</fc>.** [16.01.2024-PSI;ali] | ||
| + | - Constraint Programming. [18.01.2024-CS;ali] | ||
| + | - **<fc #ff0000>Zero Exam</fc> AI/PSI** [24.01.2024-PSI;ali] | ||
| + | - **<fc #ff0000>Zero Exam</fc> AI/CS** [25.01.2024-CS;ali] | ||
| ---- | ---- | ||
| <fc #ff0000>New:</fc> | <fc #ff0000>New:</fc> | ||
| - | [[https://www.youtube.com/watch?v=R6lfzMjaU6A|Świetny i aktualny wykład o AI. Michał Kosiński, Stanford, 1.22h]] | + | * [[https://www.youtube.com/watch?v=R6lfzMjaU6A|Świetny i aktualny wykład o AI. Michał Kosiński, Stanford, 1.22h]] |
| - | + | * [[https://www.youtube.com/watch?v=ltHYWEGsDxY|LLM - a może krok dalej: sztuczny naukowiec? Dr Artur Dubrawski Carnegie Mellon University]] | |
| - | + | * [[https://www.youtube.com/watch?v=4RixMPF4xis|AI vs ML: a position statement]] | |
| - | + | * [[https://www.youtube.com/watch?v=5goKsiY7IXQ|9 AI Tools for Business]] | |
| - | ---- | + | * |
| + | * | ||
| + | * | ||
| + | * ---- | ||
| Problems Solved by Students: | Problems Solved by Students: | ||
| Line 39: | Line 93: | ||
| * [[https://plato.stanford.edu/entries/logic-ai/|Logic in AI seriously: Stanford Encyclopedia]] | * [[https://plato.stanford.edu/entries/logic-ai/|Logic in AI seriously: Stanford Encyclopedia]] | ||
| * [[https://tinyurl.com/yauhjepn|Logical Foundations for AI]] | * [[https://tinyurl.com/yauhjepn|Logical Foundations for AI]] | ||
| - | ===== Artificial Intelligence - 2022-2023 [AI-CSC-5 + PSI-ISI-3]===== | + | ===== Artificial Intelligence - 2022-2023 [AIDA]===== |
