Using the event calculus for tracking the normative state of contracts

In this work, we have been principally concerned with the representation of contracts so that their normative state may be tracked in an automated fashion over their deployment lifetime. The normative state of a contract, at a particular time, is the aggregation of instances of normative relations that hold between contract parties at that time, plus the current values of contract variables. The effects of contract events on the normative state of a contract are specified using an XML formalisation of the Event Calculus, called ecXML. We use an example mail service agreement from the domain of web services to ground the discussion of our work. We give a characterisation of the agreement according to the normative concepts of: obligation, power and permission, and show how the ecXML representation may be used to track the state of the agreement, according to a narrative of contract events. We also give a description of a state tracking architecture, and a contract deployment tool, both of which have been implemented in the course of our work.

Contract related agents

Imperial Users onl

Computational Models for Normative Multi-Agent Systems

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

Multi-Agent Systems

A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve. Agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. Multi-agent systems have been brought up and used in several application domains

Modularity in answer set programs

Answer set programming (ASP) is an approach to rule-based constraint programming allowing flexible knowledge representation in variety of application areas. The declarative nature of ASP is reflected in problem solving. First, a programmer writes down a logic program the answer sets of which correspond to the solutions of the problem. The answer sets of the program are then computed using a special purpose search engine, an ASP solver. The development of efficient ASP solvers has enabled the use of answer set programming in various application domains such as planning, product configuration, computer aided verification, and bioinformatics. The topic of this thesis is modularity in answer set programming. While modern programming languages typically provide means to exploit modularity in a number of ways to govern the complexity of programs and their development process, relatively little attention has been paid to modularity in ASP. When designing a module architecture for ASP, it is essential to establish full compositionality of the semantics with respect to the module system. A balance is sought between introducing restrictions that guarantee the compositionality of the semantics and enforce a good programming style in ASP, and avoiding restrictions on the module hierarchy for the sake of flexibility of knowledge representation. To justify a replacement of a module with another, that is, to be able to guarantee that changes made on the level of modules do not alter the semantics of the program when seen as an entity, a notion of equivalence for modules is provided. In close connection with the development of the compositional module architecture, a transformation from verification of equivalence to search for answer sets is developed. The translation-based approach makes it unnecessary to develop a dedicated tool for the equivalence verification task by allowing the direct use of existing ASP solvers. Translations and transformations between different problems, program classes, and formalisms are another central theme in the thesis. To guarantee efficiency and soundness of the translation-based approach, certain syntactical and semantical properties of transformations are desirable, in terms of translation time, solution correspondence between the original and the transformed problem, and locality/globality of a particular transformation. In certain cases a more refined notion of minimality than that inherent in ASP can make program encodings more intuitive. Lifschitz' parallel and prioritized circumscription offer a solution in which certain atoms are allowed to vary or to have fixed values while others are falsified as far as possible according to priority classes. In this thesis a linear and faithful transformation embedding parallel and prioritized circumscription into ASP is provided. This enhances the knowledge representation capabilities of answer set programming by allowing the use of existing ASP solvers for computing parallel and prioritized circumscription

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

http://ceur-ws.org/Vol-627/allproceedings.pdfInternational audienceMALLOW-2010 is a third edition of a series initiated in 2007 in Durham, and pursued in 2009 in Turin. The objective, as initially stated, is to "provide a venue where: the cost of participation was minimum; participants were able to attend various workshops, so fostering collaboration and cross-fertilization; there was a friendly atmosphere and plenty of time for networking, by maximizing the time participants spent together"

Three essays on urban freight transport: models and tools for effective city logistics projects

The main purpose of these three years of research, summarized in this thesis, was to investigate the obstacles to the development of the city logistics initiatives by seeking solutions to overcome them through model and framework coming from management and transportation engineering. In particular, following a first analysis of a collection of European projects and a systematic analysis of scientific literature, three main gaps in city logistics have been identified: the lack of the stakeholders’ involvement, the need for data sharing platforms to overcome the current lack of data and the need to define city logistics solutions within the urban ecosystem, making consistent design choices coherently with what is already existing in terms of infrastructures, rules and stakeholders in the context. From these three gaps, three main research questions have arisen: (RQ1) Is it possible to support stakeholders in analysing CL solutions fitting their necessities applying some already existing and consolidate decision-making methods? (RQ2) Is it possible to define a database platform in which it is possible to collect, consult and update as many existing data as possible regarding urban freight transport? (RQ3) How is it possible to optimize city logistics infrastructures in a harmonious and coherent way with respect to the entire city logistics ecosystem? To answers to the research questions, a collection of articles is illustrated in this thesis work. From time to time different methodologies are used and illustrated, derived from the field of management and transport engineering, these different methodologies, such as the Systematic Literature Review, the House of Quality, a framework for building a data sharing platform, the city logistics Ecosystem and a decision-making support model (based on both a covering model and a Monte Carlo simulation) are described in detail in the various chapters of the thesis. In this dissertation work for the first time, the main obstacles to the development of city logistics initiatives, that are the lack of involvement of stakeholders, the lack of data, and the lack of an ecosystem vision of urban transport, have been identified and addressed at the same time. Even if literature sometimes offers some possible solutions to these gaps, few are simple to understand for those who work in the urban freight transport industry, easy to apply and replicable. Both in identifying the gap and in seeking solutions, the solutions showed in this thesis sought to address to those who work in the industry, mainly carriers, retailers, shop owners and public administration representatives, trying to combine scientific research with the search for solutions that can be implemented in practice as requested by such a practical research topic. For this reason, each proposed solution and methodology in this thesis has been implemented and experimented using as a case study the city of Bergamo (and testing its replicability in other European cities such as Saint-Etienne, Luxemburg and Amsterdam). In particular, the initial experience in the “Bergamo Logistica” project, part of the Bergamo 2.035 smart city research program, gave me the opportunity to understand the main critical issues found by the main actors who work in this field (i.e., carriers, couriers, retailers and institutions), to confirm some evidences that I found in the theory (i.e., main research gaps which originates the research questions) and to search for solutions that could both solve research gaps and optimize the daily logistics activities of the operators.The main purpose of these three years of research, summarized in this thesis, was to investigate the obstacles to the development of the city logistics initiatives by seeking solutions to overcome them through model and framework coming from management and transportation engineering. In particular, following a first analysis of a collection of European projects and a systematic analysis of scientific literature, three main gaps in city logistics have been identified: the lack of the stakeholders’ involvement, the need for data sharing platforms to overcome the current lack of data and the need to define city logistics solutions within the urban ecosystem, making consistent design choices coherently with what is already existing in terms of infrastructures, rules and stakeholders in the context. From these three gaps, three main research questions have arisen: (RQ1) Is it possible to support stakeholders in analysing CL solutions fitting their necessities applying some already existing and consolidate decision-making methods? (RQ2) Is it possible to define a database platform in which it is possible to collect, consult and update as many existing data as possible regarding urban freight transport? (RQ3) How is it possible to optimize city logistics infrastructures in a harmonious and coherent way with respect to the entire city logistics ecosystem? To answers to the research questions, a collection of articles is illustrated in this thesis work. From time to time different methodologies are used and illustrated, derived from the field of management and transport engineering, these different methodologies, such as the Systematic Literature Review, the House of Quality, a framework for building a data sharing platform, the city logistics Ecosystem and a decision-making support model (based on both a covering model and a Monte Carlo simulation) are described in detail in the various chapters of the thesis. In this dissertation work for the first time, the main obstacles to the development of city logistics initiatives, that are the lack of involvement of stakeholders, the lack of data, and the lack of an ecosystem vision of urban transport, have been identified and addressed at the same time. Even if literature sometimes offers some possible solutions to these gaps, few are simple to understand for those who work in the urban freight transport industry, easy to apply and replicable. Both in identifying the gap and in seeking solutions, the solutions showed in this thesis sought to address to those who work in the industry, mainly carriers, retailers, shop owners and public administration representatives, trying to combine scientific research with the search for solutions that can be implemented in practice as requested by such a practical research topic. For this reason, each proposed solution and methodology in this thesis has been implemented and experimented using as a case study the city of Bergamo (and testing its replicability in other European cities such as Saint-Etienne, Luxemburg and Amsterdam). In particular, the initial experience in the “Bergamo Logistica” project, part of the Bergamo 2.035 smart city research program, gave me the opportunity to understand the main critical issues found by the main actors who work in this field (i.e., carriers, couriers, retailers and institutions), to confirm some evidences that I found in the theory (i.e., main research gaps which originates the research questions) and to search for solutions that could both solve research gaps and optimize the daily logistics activities of the operators

Socio-Cognitive and Affective Computing

Social cognition focuses on how people process, store, and apply information about other people and social situations. It focuses on the role that cognitive processes play in social interactions. On the other hand, the term cognitive computing is generally used to refer to new hardware and/or software that mimics the functioning of the human brain and helps to improve human decision-making. In this sense, it is a type of computing with the goal of discovering more accurate models of how the human brain/mind senses, reasons, and responds to stimuli. Socio-Cognitive Computing should be understood as a set of theoretical interdisciplinary frameworks, methodologies, methods and hardware/software tools to model how the human brain mediates social interactions. In addition, Affective Computing is the study and development of systems and devices that can recognize, interpret, process, and simulate human affects, a fundamental aspect of socio-cognitive neuroscience. It is an interdisciplinary field spanning computer science, electrical engineering, psychology, and cognitive science. Physiological Computing is a category of technology in which electrophysiological data recorded directly from human activity are used to interface with a computing device. This technology becomes even more relevant when computing can be integrated pervasively in everyday life environments. Thus, Socio-Cognitive and Affective Computing systems should be able to adapt their behavior according to the Physiological Computing paradigm. This book integrates proposals from researchers who use signals from the brain and/or body to infer people's intentions and psychological state in smart computing systems. The design of this kind of systems combines knowledge and methods of ubiquitous and pervasive computing, as well as physiological data measurement and processing, with those of socio-cognitive and affective computing