Show last authors
1 = Research Themes and Activities =
3 == Agent-Oriented Computing - Agents and Multi-Agent Systems as a General-purpose Computer Programming Paradigm ==
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.
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>>]]), 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.
9 Specific contributions about this:
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
18 Most recent (ongoing) work:
20 * **[[{{aloo/}}>>ALOO.WebHome]]** - a Concurrent OOP language with agents as first-class abstraction
22 == Programming Autonomous Systems ==
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.
26 The reference case studies that we are taking for exploring this line are:
28 * Home robotics, so the design and programming of software controllers of robots
29 * artificial players (BOT) in video games
31 The programming model / plaftorm we are using for such explorations include:
33 * **JaCa** (Jason+CArtAgO) programming model and platform
34 * **JaCaMo** (Jason+CArtAgO+Moise) programming model and platform
36 == Artifact-Based Computational Models and Infrastructures for Multi-Agent Systems ==
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.
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.
42 Related research activities:
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
49 {{include reference="Environment" excludeFirstHeading="true"/}}
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY