Codice sorgente Wiki di Research Themes and Activities

Hide last authors

version	line-number	content
3.1	1	= Research Themes and Activities =
1.1	2
3.1	3	== Agent-Oriented Computing - Agents and Multi-Agent Systems as a General-purpose Computer Programming Paradigm ==
1.1	4
2.1	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.
1.1	6
2.1	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.
1.1	8
	9	Specific contributions about this:
	10
7.1	11	* [[Agent-Oriented Programming>>Themes.AOP]] as a Programming Paradigm
6.1	12	* [[A&A>>AeA.WebHome]] (Agents and Artifacts) programming model
2.1	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
1.1	17
	18	Most recent (ongoing) work:
	19
2.1	20	* [[{{aloo/}}>>ALOO.WebHome]] - a Concurrent OOP language with agents as first-class abstraction
1.1	21
3.1	22	== Programming Autonomous Systems ==
1.1	23
2.1	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.
1.1	25
2.1	26	The reference case studies that we are taking for exploring this line are:
1.1	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
2.1	33	* JaCa (Jason+CArtAgO) programming model and platform
	34	* JaCaMo (Jason+CArtAgO+Moise) programming model and platform
1.1	35
3.1	36	== Artifact-Based Computational Models and Infrastructures for Multi-Agent Systems ==
1.1	37
2.1	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.
1.1	39
2.1	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.
1.1	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
4.1	48
	49	{{include reference="Environment" excludeFirstHeading="true"/}}