|
|
1 |
= Research Themes and Activities = |
|
|
2 |
|
|
|
3 |
== Agent-Oriented Computing - Agents and Multi-Agent Systems as a General-purpose Computer Programming Paradigm == |
|
|
4 |
|
|
|
5 |
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 |
|
|
|
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 programming models and languages to exploit current and next generation multi-core & Internet-based computing systems. |
|
|
8 |
|
|
|
9 |
Specific contributions about this: |
|
|
10 |
|
|
|
11 |
* **[[Agent-Oriented Programming>>Themes.AOP]]** as a Programming Paradigm |
|
|
12 |
* **[[A&A>>AeA.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 |
|
|
|
18 |
Most recent (ongoing) work: |
|
|
19 |
|
|
|
20 |
* **[[{{aloo/}}>>ALOO.WebHome]]** - a Concurrent OOP language with agents as first-class abstraction |
|
|
21 |
|
|
|
22 |
== Programming Autonomous Systems == |
|
|
23 |
|
|
|
24 |
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. |
|
|
25 |
|
|
|
26 |
The reference case studies that we are taking for exploring this line are: |
|
|
27 |
|
|
|
28 |
* Home robotics, so the design and programming of software controllers of robots |
|
|
29 |
* artificial players (BOT) in video games |
|
|
30 |
|
|
|
31 |
The programming model / plaftorm we are using for such explorations include: |
|
|
32 |
|
|
|
33 |
* **JaCa** (Jason+CArtAgO) programming model and platform |
|
|
34 |
* **JaCaMo** (Jason+CArtAgO+Moise) programming model and platform |
|
|
35 |
|
|
|
36 |
== Artifact-Based Computational Models and Infrastructures for Multi-Agent Systems == |
|
|
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. |
|
|
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>>CARTAGO.WebHome]]** is a concrete framework and infrastructure for programming and running artifact-based environments. |
|
|
41 |
|
|
|
42 |
Related research activities: |
|
|
43 |
|
|
|
44 |
* A Theory of Artifacts for Cognitive MAS |
|
|
45 |
** A&A and a theory of use for Cognitive MAS |
|
|
46 |
** Activity Theory for Cognitive MAS |
|
|
47 |
** Cognitive Stigmergy in MAS |
|
|
48 |
|
|
|
49 |
{{include reference="Environment" excludeFirstHeading="true"/}} |