Changes for page Research Themes and Activities
To version 3.1
edited by Andrea Omicini
on 30/12/2021 16:12
on 30/12/2021 16:12
Change comment:
There is no comment for this version
Summary
-
Page properties (4 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,1 +1,0 @@ 1 -Research Themes - Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki.A Ricci1 +XWiki.AndreaOmicini - Syntax
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki 1.01 +XWiki 2.1 - Content
-
... ... @@ -1,43 +1,43 @@ 1 - 1.1Research Themes and Activities1 += Research Themes and Activities = 2 2 3 - 1.1.1Agent-Oriented Computing - Agents and Multi-Agent Systems as a General-purpose Computer Programming Paradigm3 +== Agent-Oriented Computing - Agents and Multi-Agent Systems as a General-purpose Computer Programming Paradigm == 4 4 5 -Currently my main research interest ~~agent-oriented abstractions~~for the design and development of5 +Currently my main research interest concerns **agent-oriented computing**, which is about the definition of general-purpose high-level programming models and languages based on //agent-oriented abstractions// for the design and development of concurrent / multi-core / distributed programs and systems. The notion of "agent" here is explicitly inspired to existing work in AI/DAI (agents and MAS, agent-oriented programming) and specifically forged and shaped so as to be effective as a first-class abstraction in concurrent programming. 6 6 7 -The objective is to explore agent-oriented computing as a suitable novel mainstream paradigm for the so-called *Concurrency Revolution* (see for instance [here |http://www.acmqueue.com/modules.php?name=Content&pa=showpage&pid=332]), which refers to the fundamental turn towards concurrency in mainstream programming7 +The objective is to explore agent-oriented computing as a suitable novel mainstream paradigm for the so-called **Concurrency Revolution** (see for instance [[here>>http://www.acmqueue.com/modules.php?name=Content&pa=showpage&pid=332]]), which refers to the fundamental turn towards concurrency in mainstream programming models and languages to exploit current and next generation multi-core & Internet-based computing systems. 8 8 9 9 Specific contributions about this: 10 10 11 -* *[Agent-Oriented Programming |AOP.WebHome]* as a Programming Paradigm12 -* *[A&A |A&A.WebHome]* (Agents and Artifacts) programming model13 -* *JaCa* (Jason+CArtAgO) programming model and platform 14 -* *JaCaMo* (Jason+CArtAgO+Moise) programming model and platform 15 -* *simpAL* agent-oriented programming language and platform 16 -* *[simpA |SimpA.WebHome]* Java-based agent programming framework11 +* **[[Agent-Oriented Programming>>AOP.WebHome]]** as a Programming Paradigm 12 +* **[[A&A>>A&A.WebHome]]** (Agents and Artifacts) programming model 13 +* **JaCa** (Jason+CArtAgO) programming model and platform 14 +* **JaCaMo** (Jason+CArtAgO+Moise) programming model and platform 15 +* **simpAL** agent-oriented programming language and platform 16 +* **[[simpA>>SimpA.WebHome]]** Java-based agent programming framework 17 17 18 18 Most recent (ongoing) work: 19 19 20 -* *[ALOO |ALOO.WebHome]* - a Concurrent OOP language with agents as first-class abstraction20 +* **[[{{aloo/}}>>ALOO.WebHome]]** - a Concurrent OOP language with agents as first-class abstraction 21 21 22 +== Programming Autonomous Systems == 22 22 23 - 1.1.1ProgrammingAutonomousSystems24 +This research line - which is strongly related to the previous one - aims at exploring programming models, languages and technologies for developing //autonomous// (software) systems, i.e. reactive software systems that are capable to fullfil tasks in some environment autonomously, without the human intervention, so deciding what actions to do and how to manage environment inputs. These autonomous systems can be individual //software agents// or //teams// of interacting agents. 24 24 25 -This research line - which is strongly related to the previous one - aims at exploring programming models, languages and technologies for developing ~~autonomous~~ (software) systems, i.e. reactive software systems that are capable to fullfil tasks in some environment autonomously, without the human intervention, so deciding what actions to do and how to manage environment inputs. These autonomous systems can be individual ~~software agents~~ or ~~teams~~ of interacting agents. 26 - 27 27 The reference case studies that we are taking for exploring this line are: 27 + 28 28 * Home robotics, so the design and programming of software controllers of robots 29 29 * artificial players (BOT) in video games 30 30 31 31 The programming model / plaftorm we are using for such explorations include: 32 -* *JaCa* (Jason+CArtAgO) programming model and platform 33 -* *JaCaMo* (Jason+CArtAgO+Moise) programming model and platform 34 34 33 +* **JaCa** (Jason+CArtAgO) programming model and platform 34 +* **JaCaMo** (Jason+CArtAgO+Moise) programming model and platform 35 35 36 - 1.1.1Artifact-Based Computational Models and Infrastructures for Multi-Agent Systems36 +== Artifact-Based Computational Models and Infrastructures for Multi-Agent Systems == 37 37 38 - This research line starts from the idea that the notion of environment can be used as a first-class abstraction for designing and programming Multi-agent Systems, being the suitable designable/programmable place where to encapsulate functionalities to be used exploited by agents. 38 + This research line starts from the idea that the notion of environment can be used as a first-class abstraction for designing and programming Multi-agent Systems, being the suitable designable/programmable place where to encapsulate functionalities to be used exploited by agents. 39 39 40 -To this end, we introduced a conceptual model called A&A, where the environment can be conceived in terms of basic modules called ~~artifacts~~, which are programmed by the MAS designers and that are the basic bricks that agents can instantiate, share, use, and compose at runtime.|CARTAGO.WebHome]* is a concrete framework and infrastructure for programming and running artifact-based environments.40 +To this end, we introduced a conceptual model called A&A, where the environment can be conceived in terms of basic modules called //artifacts//, which are programmed by the MAS designers and that are the basic bricks that agents can instantiate, share, use, and compose at runtime. **[[CArtAgO>>CARTAGO.WebHome]]** is a concrete framework and infrastructure for programming and running artifact-based environments. 41 41 42 42 Related research activities: 43 43 ... ... @@ -45,8 +45,3 @@ 45 45 ** A&A and a theory of use for Cognitive MAS 46 46 ** Activity Theory for Cognitive MAS 47 47 ** Cognitive Stigmergy in MAS 48 - 49 - 50 - 51 - 52 -