References of "Dastani, Mehdi"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailCommitments and interaction norms in organisations
Dastani, Mehdi; van der Torre, Leon UL; Yorke-Smith, Neil

in Autonomous Agents & Multi-Agent Systems (2017), 31(2), 207-249

In an organisational setting such as an online marketplace, an entity called the ‘organisation’ or ‘institution’ defines interaction protocols, monitors agent interaction, and intervenes to enforce the ... [more ▼]

In an organisational setting such as an online marketplace, an entity called the ‘organisation’ or ‘institution’ defines interaction protocols, monitors agent interaction, and intervenes to enforce the interaction protocols. The organisation might be a software system that thus regulates the marketplace, for example. In this article we abstract over application-specific protocols and consider commitment lifecycles as generic interaction protocols. We model interaction protocols by explicitly-represented norms, such that we can operationalise the enforcement of protocols by means of norm enforcement, and we can analyse the protocols by a logical analysis of the norms. We adopt insights and methods from commitment-based approaches to agent interaction as well as from norm-based approaches to agent behaviour governance. First, we show how to use explicitly-represented norms to model commitment dynamics (lifecycles). Second, we introduce an operational semantics to operationalise norm enforcement. Third, we show how to logically analyse interaction protocols by means of commitment dynamics and norm enforcement. The model, semantics, and analysis are illustrated by a running example from a vehicle insurance domain. [less ▲]

Detailed reference viewed: 79 (2 UL)
Full Text
Peer Reviewed
See detailRetalis Language for Information Engineering in Autonomous Robot Software
Ziafati, Pouyan UL; dastani, mehdi; meyer, john-jules et al

in IfCoLog Journal of Logics and their Applications (2015), 2(2), 85

Detailed reference viewed: 74 (12 UL)
Full Text
Peer Reviewed
See detailConsistency Conditions for Beliefs and Intentions
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

Scientific Conference (2015)

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show ... [more ▼]

Icard et al. introduce a semantics for actions over time, provide an axiomatization for this logic, and use this logic to define coherence conditions for a belief- intention database. First, we show incompleteness of their axiomatization and we adapt their semantics and provide a complete axiomatization for it. Second, we show that Icard et al.’s definition of coherence is too weak, and we define a stronger notion of coherence us- ing our new logic [less ▲]

Detailed reference viewed: 105 (6 UL)
Full Text
Peer Reviewed
See detailAGM Revision of Beliefs about Action and Time
Van Zee, Marc UL; Doder, Dragan UL; Dastani, Mehdi et al

in Proceedings of the International Joint Conference on Artificial Intelligence (2015)

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to ... [more ▼]

The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, contain- ing expressions about temporal propositions (to- morrow it will rain), possibility (it may rain tomor- row), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl repre- sentation theorems by restricting the logic to for- mulas representing beliefs up to certain time. We illustrate our belief change model through several examples [less ▲]

Detailed reference viewed: 109 (9 UL)
Full Text
Peer Reviewed
See detailReasoning on Robot Knowledge from Discrete and Asynchronous Observations
Ziafati, Pouyan UL; Elrakaiby, Yehia UL; van der Torre, Leon UL et al

in AAAI Spring Symposium 2014: Knowledge Representation and Reasoning in Robotics, Stanford, USA, 2015 (2014, March)

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use ... [more ▼]

Robot knowledge of the world is created from discrete and asynchronous events received from its perception components. Proper representation and maintenance of robot knowledge is crucial to enable the use of robot knowledge for planning, user-interaction, etc. This paper identifies some of the main issues related to the representation, maintenance and querying of robot knowledge based on discrete asynchronous events such as event-history management and synchronization, and introduces a language for simplifying developers’ job at making a suitable representation of robot knowledge. [less ▲]

Detailed reference viewed: 321 (41 UL)
Full Text
Peer Reviewed
See detailCollective Intention Revision from a Database Perspective
Van Zee, Marc UL; Dastani, Mehdi; van der Torre, Leon UL

Scientific Conference (2014)

Detailed reference viewed: 101 (3 UL)
Full Text
Peer Reviewed
See detailA Library for Event-Processing and Adaptable Component Interactions in Autonomous Robot Software
Ziafati, Pouyan UL; Voos, Holger UL; van der Torre, Leon UL et al

Poster (2013, May 06)

A light-weight framework-independent software library is introduced to facilitate a modular and systematic development of sensory management components for an autonomous robot. Such components are used to ... [more ▼]

A light-weight framework-independent software library is introduced to facilitate a modular and systematic development of sensory management components for an autonomous robot. Such components are used to implement complex eventprocessing tasks such as content-based filtering, integration and transformation of sensory data. In addition, they can be used as mediators to provide a number of high-level interaction mechanisms among a robot’s software components. To this end, they enable components with subscription to their events of interest, asynchronous reception of events, maintaining necessary histories of events and querying of the histories at runtime. [less ▲]

Detailed reference viewed: 127 (5 UL)
Full Text
Peer Reviewed
See detailBelief Caching in 2APL
Van Zee, Marc UL; Dastani, Mehdi

Scientific Conference (2013)

Detailed reference viewed: 44 (4 UL)
Full Text
Peer Reviewed
See detailEvent-processing in Autonomous Robot Programming
Ziafati, Pouyan UL; Dastani, Mehdi; Meyer, John-Jules et al

in Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems (2013)

When implementing the high-level control component of an autonomous robot, one needs to process events, generated by sensory components, to extract the information relevant to the control component. This ... [more ▼]

When implementing the high-level control component of an autonomous robot, one needs to process events, generated by sensory components, to extract the information relevant to the control component. This paper discusses the lack of support for event-processing when current agent programming languages (APLs) are used to implement the control component of autonomous robots. To address this issue, the use of information flow processing (IFP) systems is proposed to support the development of event-processing components (EPCs) for an autonomous robot. The necessary interaction mechanisms between a control component and EPCs are defined. These mechanisms allow run-time subscription to events of interest, asynchronous reception of events, maintaining necessary histories of events and run-time querying of the histories. Several implementation-related concerns for these interaction mechanisms are discussed. [less ▲]

Detailed reference viewed: 94 (11 UL)
Peer Reviewed
See detailAgent Programming Languages Requirements for Programming Autonomous Robots
Ziafati, Pouyan UL; Dastani, Mehdi; Meyer, John-Jules et al

in Dastani, Mehdi; Hübner, Jomif; Logan, Brian (Eds.) Programming Multi-Agent Systems (2013)

Detailed reference viewed: 114 (5 UL)
Full Text
Peer Reviewed
See detailMulti-Cycle Query Caching in Agent Programming
Behrens, Tristan; Dastani, Mehdi; Hindriks, Koen et al

Scientific Conference (2013)

Detailed reference viewed: 42 (2 UL)
Full Text
Peer Reviewed
See detailComputational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII
Fisher, Michael; van der Torre, Leon UL; Dastani, Mehdi et al

in Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII (2012)

Detailed reference viewed: 27 (0 UL)
Full Text
Peer Reviewed
See detailMonitoring Interaction in Organisations
Dastani, Mehdi; van der Torre, Leon UL; York-Smith, Neil

in Proceedings of the 14th International Workshop on Coordination, Organisations, Institutions and Norms (COIN@AAMAS 2012) (2012)

Detailed reference viewed: 60 (1 UL)
Full Text
Peer Reviewed
See detailA programming approach to monitoring communication in an organisational environment
Dastani, Mehdi; van der Torre, Leon UL; Yorke-Smith, Neil

in AAMAS 2012 (2012)

Agreement technologies [1] achieve coordination among autonomous computational entities, by combining technologies for norms, semantics, organisations, argumentation, negotiation, and trust. We consider ... [more ▼]

Agreement technologies [1] achieve coordination among autonomous computational entities, by combining technologies for norms, semantics, organisations, argumentation, negotiation, and trust. We consider how an organisational programming language, such as 2OPL [2], can be extended to monitor communication. Such an extended programming language can be used to facilitate the development of electronic institutions, organisations, or marketplaces that aim at monitoring agent interaction (including both communication and non-communication actions), checking compliance with norms, and enforcing norms by means of sanctions. This abstract reports on specifying an operational semantics for agent interactions within such a setting, distinguishing constitutive norms for monitoring and sanction rules for enforcement of norms. [less ▲]

Detailed reference viewed: 35 (0 UL)
Peer Reviewed
See detailAgent Programming Languages Requirements for Programming Cognitive Robots (extended abstract)
Ziafati, Pouyan UL; Dastani, Mehdi; Meyer, John-Jules et al

Scientific Conference (2012)

This paper presents various requirements for BDI-based agent programming languages to provide better support for implementing autonomous robotic control systems. Examples of such requirements are: 1 ... [more ▼]

This paper presents various requirements for BDI-based agent programming languages to provide better support for implementing autonomous robotic control systems. Examples of such requirements are: 1- Built-in support for integration with existing robotic frameworks such as ROS, 2- Real-time reactivity to events, 3- Management of heterogeneous sensory data and reasoning on complex events, and 4- Representation of complex plans and coordination of the parallel execution of plans. [less ▲]

Detailed reference viewed: 97 (5 UL)
Full Text
Peer Reviewed
See detailReasoning about Strategies of Multi-Agent Programs
Dastani, Mehdi; Jamroga, Wojciech UL

in Proceedings of AAMAS2010 (2010)

Detailed reference viewed: 15 (0 UL)