Autonomous Systems 2020/2021

Main

Slides

Activities

Projects

— prologue
(A0) About the Course

— core
(C0) Why Autonomous Systems?
(C1) The Roots of Autonomy. Autonomy in Biological Systems
(C2) On Autonomy. Definitions & Acceptations
(C3) Artefacts for Agents. Function and Use in MAS
(C4) Automated Reasoning
(C5) Reasoning Agents
(C6) Automatic Planning for Autonomous Agents
(C7) Self-Organisation & Autonomy. An Introduction
(C8) Nature-Inspired Coordination & Self-Organisation
(C9) Interacting with Autonomous Systems. Conversational Informatics

— paradigms
(P1) Logic & Computation

— seminars
(S1) Sources of Scientific Literature for Autonomous & Intelligent Systems
(S2) Systematic Literature Review. A Methodology for Surveys
(S3) 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI
(S4) Defeasible Reasoning & Argumentation

— introduction
(L0) About the Lab

— technologies
(T1) Prolog
(T2) Programming Intentional Agents in AgentSpeak(L) & Jason
(T3) Organisation and Environment Oriented Programming in JaCaMo & CArtAgO
(T4) Programming Interaction with ReSpecT
(T5) Arg-tuProlog: An Introduction

— lab
(L1) Agents in tuProlog
(L2) Jason in Practice
(L3) Environment Oriented Programming in CArtAgO
(L4) Planning in STRIPS with Prolog