Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming

@inproceedings{Sileno2015CommitmentsEA,
  title={Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming},
  author={Giovanni Sileno and Alexander Boer and Tom M. van Engers},
  booktitle={PRIMA},
  year={2015}
}
The paper introduces an agent architecture centered around the notions of commitment, expectation, affordance, and susceptibility. These components are to a certain measure at the base of any agent system, however, inspired by research in explanation-based decision making, this contribution attempts to make explicit and start organizing under the same operationalization neglected figures as negative commitment, negative expectation, etc. 
Reading agendas between the lines, an exercise
TLDR
This work presents elements for an alternative operationalization of monitoring and diagnosis of multi-agent systems, developed in the context of compliance checking, and does not consider any commitment towards the individual unit of agency.
Revisiting Constitutive Rules
TLDR
The paper reconsiders the relation between constitutive rules and regulative rules, and introduces a proposal on the ontological status of constitution.
Modeling the Interpretation of Sources of Norms
TLDR
The authors present their work on the development of a formal method that preserves the original concepts in sources of norms described in natural language, and delivers a translation of these norms to formal computational models that can be used to support institutional reasoning.
Bridging Representations of Laws, of Implementations and of Behaviours
TLDR
This paper reports on work to define subsumption between positional models, based on the notion of position, building upon Petri nets.
1 Introduction : The Rule of Law in a New Brave World
  • Law
  • 2019
This chapter introduces the notions of meta-rule of law and socio-legal ecosystems to both foster and regulate linked democracy. It explores the way of stimulating innovative regulations and building
CALCULEMUS : Towards a Formal Language for the Interpretation of Normative Systems
TLDR
The authors show how to make formal interpretations of normative sources in natural language that result in a computational model, which includes explicit references to all sentences of sources of norms that are considered relevant by the interpreters to constitute a computational models.
Legal Linked Data Ecosystems and the Rule of Law
This chapter introduces the notions of meta-rule of law and socio-legal ecosystems to both foster and regulate linked democracy. It explores the way of stimulating innovative regulations and building
A Formal Method for Interpretation of Sources of Norms
TLDR
An overview of a research project that aims to create a standardized method for expressing the interpretation of normative texts in natural language into a formal representation in machine readable and executable form is given.
Institutional Metaphors for Designing Large-Scale Distributed AI versus AI Techniques for Running Institutions
TLDR
This chapter examines a number of relevant cross-cutting concerns, conceptualizations, modeling problems and design challenges in large-scale distributed Artificial Intelligence, as well as in institutional systems, and identifies potential grounds for novel advances.
Revisiting Constitutive Rules
The paper is an investigation on how behaviour relates to norms, i.e. on how a certain conduct acquires meaning in institutional terms. The simplest example of this phenomenon is given by the

References

SHOWING 1-10 OF 26 REFERENCES
A First-Order Formalization of Commitments and Goals for Planning
TLDR
A first-order representation and reasoning technique is proposed that accommodates templatic commitments and goals that may be applied repeatedly with differing bindings for domain objects, which leads to a more perspicuous modeling, and supports many practical patterns.
Satisfying Maintenance Goals
TLDR
It is argued that a mechanism which ensures the satisfaction of maintenance goals requires the agent to look ahead, in order to make sure that the execution of actions does not lead to a violation of a maintenance goal.
2APL: a practical agent programming language
  • M. Dastani
  • Computer Science
    Autonomous Agents and Multi-Agent Systems
  • 2008
TLDR
A BDI-based agent-oriented programming language that facilitates the implementation of multi-agent systems consisting of individual agents that may share and access external environments, called 2APL (A Practical Agent Programming Language).
An agent-based legal knowledge acquisition methodology for agile public administration
TLDR
An important thesis of this paper is that, in the interest of quick and simple domain analysis, agent roles, not intelligent agents, should be the focal object of simulation of complex social organizations.
On the Interactional Meaning of Fundamental Legal Concepts
TLDR
Investigating a simple sale transaction modeled with Petri Nets, it is argued that the concepts on the two Hohfeldian squares rely on the implicit reference to a "transcendental" collective entity, to which the two parties believe or are believed to belong.
AgentSpeak(L): BDI agents speak out in a logical computable language
TLDR
This paper provides an alternative formalization of BDI agents by providing an operational and proof-theoretic semantics of a language AgentSpeak(L), which can be viewed as an abstraction of one of the implemented BDI systems and allows agent programs to be written and interpreted in a manner similar to that of horn-clause logic programs.
Multi-Agent Programming: Languages, Platforms and Applications
This chapter describes Jason, an interpreter written in Java for an extended version of AgentSpeak, a logic-based agent-oriented programming language that is suitable for the implementation of
DALI: An Architecture for Intelligent Logical Agents
TLDR
The DALI multi-agent architecture is presented, a logic framework for defining intelligent agents and multi- agent models that are effective for reproducing “intelligent” behavior while staying within a rigorous formal setting.
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In this framework,
...
...