16 Search Results for "Dastani, Mehdi"


Document
Normative Multi-Agent Systems (Dagstuhl Seminar 18171)

Authors: Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata

Published in: Dagstuhl Reports, Volume 8, Issue 4 (2018)


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18171 "Normative Multi-Agent Systems". Normative multi-agent systems combine models for multi-agent systems with normative concepts, like obligations, permissions, and prohibitions. As such, they promise to be a suitable model, for example for (regulated) multiagent societies, organizations, electronic institutions, autonomous agent cooperation (with humans-in-the-loop) and much more. The aim of this seminar was to bring together researchers from various scientific disciplines, such as computer science, artificial intelligence, philosophy, law, cognitive science and social sciences to discuss the emerging topic concerning the responsibility of autonomous systems. Autonomous software systems and multi-agent systems in open environments require methodologies, models and tools to analyse and develop flexible control and coordination mechanisms. Without them, it is not possible to steer the behaviour and interaction of such systems and to ensure important overall properties. Normative multi-agent systems is an established area focussing on how norms can be used to control and coordinate autonomous systems and multi-agents systems without restricting the autonomy of the involved systems. Such control and coordination systems allow autonomous systems to violate norms, but respond to norm violations by means of various sanctioning mechanisms. Therefore it is crucial to determine which agents or agent groups are accountable for norm violations. The focus of this seminar laid on how the responsibility of autonomous systems can be defined, modelled, analysed and computed.

Cite as

Mehdi Dastani, Jürgen Dix, Harkp Verhagen, and Serena Villata. Normative Multi-Agent Systems (Dagstuhl Seminar 18171). In Dagstuhl Reports, Volume 8, Issue 4, pp. 72-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{dastani_et_al:DagRep.8.4.72,
  author =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  title =	{{Normative Multi-Agent Systems (Dagstuhl Seminar 18171)}},
  pages =	{72--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{4},
  editor =	{Dastani, Mehdi and Dix, J\"{u}rgen and Verhagen, Harkp and Villata, Serena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.4.72},
  URN =		{urn:nbn:de:0030-drops-97612},
  doi =		{10.4230/DagRep.8.4.72},
  annote =	{Keywords: autonomous systems, control and coordination, norm-based systems, responsibility}
}
Document
Computational Models for Normative Multi-Agent Systems

Authors: Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)


Abstract
This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided.

Cite as

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. Computational Models for Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 71-92, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@InCollection{alechina_et_al:DFU.Vol4.12111.71,
  author =	{Alechina, Natasha and Bassiliades, Nick and Dastani, Mehdi and De Vos, Marina and Logan, Brian and Mera, Sergio and Morris-Martin, Andreasa and Schapachnik, Fernando},
  title =	{{Computational Models for Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{71--92},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.71},
  URN =		{urn:nbn:de:0030-drops-40001},
  doi =		{10.4230/DFU.Vol4.12111.71},
  annote =	{Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems}
}
Document
Normative Multi-Agent Programs and Their Logics

Authors: Mehdi Dastani, Davide Grossi, John-Jules Meyer, and Nick Tinnemeier

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)


Abstract
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

Cite as

Mehdi Dastani, Davide Grossi, John-Jules Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.09121.23,
  author =	{Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules and Tinnemeier, Nick},
  title =	{{Normative Multi-Agent Programs and Their Logics}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.23},
  URN =		{urn:nbn:de:0030-drops-19079},
  doi =		{10.4230/DagSemProc.09121.23},
  annote =	{Keywords: Normative Multi-Agent Systems, Programming Multi-Agent Systems}
}
Document
08361 Abstracts Collection – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
From 31th August to 5th September, the Dagstuhl Seminar 08361 ``Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Abstracts Collection – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.1,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Abstracts Collection – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.1},
  URN =		{urn:nbn:de:0030-drops-16470},
  doi =		{10.4230/DagSemProc.08361.1},
  annote =	{Keywords: Agency, agent-oriented programming, programming multi-agent systems}
}
Document
08361 Executive Summary – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Intelligent agents and multi-agent systems (MAS) play an important role in today’s software development. In fact, they constitute a new and interesting paradigm to implement complex systems, by offering relevant abstractions for the engineering of such intricate type of software. Several application domains, some at industrial level, take benefit from MAS technology. For almost two decades, the MAS community has developed and offers a large and rich set of concepts, architectures, interaction techniques, and general approaches to the analysis and the specification of MAS.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Executive Summary – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.2,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Executive Summary – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.2},
  URN =		{urn:nbn:de:0030-drops-16463},
  doi =		{10.4230/DagSemProc.08361.2},
  annote =	{Keywords: Multi-agent systems programming}
}
Document
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects

Authors: Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
When constructing a formal model of emotions for intelligent agents, two types of aspects have to be taken into account. First, qualitative aspects pertain to the conditions that elicit emotions. Second, quantitative aspects pertain to the actual experience and intensity of elicited emotions. In this presentation, we show how the qualitative aspects of a well-known psychological model of human emotions can be formalized in an agent specification language and how its quantitative aspects can be integrated into this model. Furthermore, we discuss several unspecified details and implicit assumptions in the psychological model that are explicated by this effort.

Cite as

Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{steunebrink_et_al:DagSemProc.08361.3,
  author =	{Steunebrink, Bas R. and Meyer, John-Jules Ch. and Dastani, Mehdi},
  title =	{{A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.3},
  URN =		{urn:nbn:de:0030-drops-16447},
  doi =		{10.4230/DagSemProc.08361.3},
  annote =	{Keywords: Emotions, Intelligent Agents}
}
Document
Adding Organizations and Roles as Primitives to the JADE Framework

Authors: Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class.

Cite as

Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese. Adding Organizations and Roles as Primitives to the JADE Framework. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{grenna_et_al:DagSemProc.08361.4,
  author =	{Grenna, Roberto and Baldoni, Matteo and Boella, Guido and van der Torre, Leendert and Dorni, Mauro and Mugnaini, Andrea and Genovese, Valerio},
  title =	{{Adding Organizations and Roles as Primitives to the JADE Framework}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.4},
  URN =		{urn:nbn:de:0030-drops-16396},
  doi =		{10.4230/DagSemProc.08361.4},
  annote =	{Keywords: Roles, Organizations, JADE}
}
Document
Belief Update in AgentSpeak-DL

Authors: Álvaro F. Moreira and Renata Vieira

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
In previous work (Moreira et al, DALT 2005) we proposed an extension for the belief base of AgentSpeak agents based on Description Logic (DL), aiming at enabling agent oriented programming to cope with recently proposed technologies for the Semantic Web. In such an extension an agent belief base contains the definition of complex concepts, besides specific factual knowledge. The foreseen advantages are: (i) more expressive queries to the belief base; (ii) a refined notion of belief update, which considers consistency of a belief addition; (iii) flexibility in plan searching allowed by subsumption relation between concepts; and (iv) knowledge sharing in a semantic web context (based on OWL). Following this proposal an extension of the well know Agent Speak interpreter, Jason, was presented by K lapiscak and Bordini in DALT 2008. Among the interesting open issues is how to deal with the addition of beliefs which violates ontology consistency. In this work discuss this problem related to ABox updating in the context of AgentSpeak-DL.

Cite as

Álvaro F. Moreira and Renata Vieira. Belief Update in AgentSpeak-DL. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{moreira_et_al:DagSemProc.08361.5,
  author =	{Moreira, \'{A}lvaro F. and Vieira, Renata},
  title =	{{Belief Update in AgentSpeak-DL}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.5},
  URN =		{urn:nbn:de:0030-drops-16418},
  doi =		{10.4230/DagSemProc.08361.5},
  annote =	{Keywords: Belief Update, Ontology, Agent Oriented Programming Languages}
}
Document
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS

Authors: Michele Piunti and Alessandro Ricci

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Recent approaches in Multi-Agent Systems are focusing on providing models and methodologies for the design of environments and special purpose tools supposed to scale up complexities. Among others, the Agents and Artifacts (A&A) approach introduced the notion af artifact as first class abstraction providing agents with external facilities, services and coordination medium explicitely conceived for easing their activities. In this paper we analyse A&A systems by focusing on the functional roles played by artifacts. In particular, we here investigate the function of artifacts once they are employed in the context of societies of cognitve agents, i.e. agents capable to reason about their epistemic and motivational states. In this context, a twofold kind of interactions is envisaged. On the one side, artifact rapresentational function allows agent to improve epistemic states, i.e., by representing and sharing strategic knowledge in the overall system (doxastic use ). On the other side, artifacts operational function allows agents to improve the repertoire of actions, i.e., by providing additional means which can be purposively triggered by agents to achieve goals (operational use ). Some of the outcomes of this approach are discussed along with test cases showing agents engaged in goal-oriented activities relying on the transmission of relevant knowledge and the operations provided by artifacts.

Cite as

Michele Piunti and Alessandro Ricci. From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{piunti_et_al:DagSemProc.08361.6,
  author =	{Piunti, Michele and Ricci, Alessandro},
  title =	{{From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.6},
  URN =		{urn:nbn:de:0030-drops-16423},
  doi =		{10.4230/DagSemProc.08361.6},
  annote =	{Keywords: MAS, Cognitive Agent, Agents and Artifacts, Interaction, Reasoning, Environments}
}
Document
GOAL Agents Instantiate Intention Logic

Authors: Koen Hindriks and Wiebe van der Hoek

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used to prove properties of GOAL agents. The work reported is an important step towards the application of standard tools from modal logic for e.g. model checking agent programs. Our results also prove useful for extending the expressiveness of the GOAL agent language. This is illustrated by incorporating temporally extended goals into GOAL agents.

Cite as

Koen Hindriks and Wiebe van der Hoek. GOAL Agents Instantiate Intention Logic. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{hindriks_et_al:DagSemProc.08361.7,
  author =	{Hindriks, Koen and van der Hoek, Wiebe},
  title =	{{GOAL Agents Instantiate Intention Logic}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.7},
  URN =		{urn:nbn:de:0030-drops-16458},
  doi =		{10.4230/DagSemProc.08361.7},
  annote =	{Keywords: Agents, programs, constructs, logics, operational semantics, model-theoretic semantics}
}
Document
Non-Markovian Agent Evolution with EVOLP

Authors: José J. Alferes, Gabaldon Alfredo, and João A. Leite

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (facts) as well as intentional knowledge (rules) may change over time due to updates, with important application Multi-Agent Systems (MAS). Despite their generality, these languages do not provide means to directly access past states of the evolving knowledge. They only allow for so-called Markovian changes i.e. changes determined entirely by the current state. This is a drawback in several situation. In this paper, after motivating the need for non-Markovian changes, we extend EVOLP – The Logic Programming Update Language at the heart of an existing MAS – with LTL-like temporal operators that allow referring to the history of the evolving agent. We then show that with a suitable introduction of new propositional variables it is possible to embed the extended EVOLP into the original one, thus demonstrating that EVOLP itself can already be used for non-Markovian changes. While showing how to use EVOLP for encoding non-Markovian changes, this embedding sheds light into the relationship between Logic Programming Update Languages and Modal Temporal Logics, of particular importance in MAS.

Cite as

José J. Alferes, Gabaldon Alfredo, and João A. Leite. Non-Markovian Agent Evolution with EVOLP. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{alferes_et_al:DagSemProc.08361.8,
  author =	{Alferes, Jos\'{e} J. and Gabaldon Alfredo and Leite, Jo\~{a}o A.},
  title =	{{Non-Markovian Agent Evolution with EVOLP}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.8},
  URN =		{urn:nbn:de:0030-drops-16402},
  doi =		{10.4230/DagSemProc.08361.8},
  annote =	{Keywords: EVOLP, Evolution, Logic Programming}
}
Document
Normative Multi-Agent Programs and Their Logics

Authors: Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

Cite as

Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.08361.9,
  author =	{Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules Ch. and Tinnemeier, Nick},
  title =	{{Normative Multi-Agent Programs and Their Logics}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.9},
  URN =		{urn:nbn:de:0030-drops-16374},
  doi =		{10.4230/DagSemProc.08361.9},
  annote =	{Keywords: Multi-agent systems, norms, agent-oriented programming}
}
Document
Task Suspension in Agent Systems

Authors: Berndt Farwer

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
We discuss the similarity of a recent approach to task suspension in agent programming languages with an earlier approach to formalising preemption using a class of Petri nets, called M-nets. We argue that the theory of agent programming would benefit from adopting certain features of the Petri-net approach, and thus making further results for Petri nets applicable in the agent domain.

Cite as

Berndt Farwer. Task Suspension in Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{farwer:DagSemProc.08361.10,
  author =	{Farwer, Berndt},
  title =	{{Task Suspension in Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.10},
  URN =		{urn:nbn:de:0030-drops-16385},
  doi =		{10.4230/DagSemProc.08361.10},
  annote =	{Keywords: Agent programming, Petri nets, suspension, preemption}
}
Document
Ten Challenges for Normative Multiagent Systems

Authors: Guido Boella, Leendert van der Torre, and Harko Verhagen

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
In this paper we discuss the shift from a legal to an interactionist view on normative multiagent systems, examples, and ten new challenges in this more dynamic setting.

Cite as

Guido Boella, Leendert van der Torre, and Harko Verhagen. Ten Challenges for Normative Multiagent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.08361.11,
  author =	{Boella, Guido and van der Torre, Leendert and Verhagen, Harko},
  title =	{{Ten Challenges  for Normative Multiagent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.11},
  URN =		{urn:nbn:de:0030-drops-16367},
  doi =		{10.4230/DagSemProc.08361.11},
  annote =	{Keywords: Normative multiagent systems, normative systems, deontic logic, multiagent systems}
}
Document
06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.1,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.1},
  URN =		{urn:nbn:de:0030-drops-8477},
  doi =		{10.4230/DagSemProc.06261.1},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
  • Refine by Author
  • 9 Dastani, Mehdi
  • 4 Meyer, John-Jules Ch.
  • 3 Dix, Jürgen
  • 2 Boella, Guido
  • 2 Bordini, Rafael
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Agent development tools and platforms
  • 2 Agent-oriented programming
  • 2 Agent-oriented software engineering
  • 2 Multi-agent implementation languages
  • 2 Semantics of agent-oriented languages
  • Show More...

  • Refine by Type
  • 16 document

  • Refine by Publication Year
  • 11 2008
  • 2 2007
  • 1 2009
  • 1 2013
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail