1 / 23

Workpackage 2: Norms

Workpackage 2: Norms. www.agreement-technologies.org. WP2 (Norms): The Problem. How to specify normative systems to regulate MAS, so that they may be properly implemented and one may reason about them. WP2: The problem. Regulated MAS

erek
Download Presentation

Workpackage 2: Norms

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Workpackage 2: Norms www.agreement-technologies.org

  2. WP2 (Norms): The Problem How to specify normative systems to regulate MAS, so that they may be properly implemented and one may reason about them

  3. WP2: The problem • Regulated MAS • Declarative vs. procedural specification of conventions • Higher level abstraction • Richer governance models • Dynamic conventions • Reason about the norms • Designer of the MAS / individual participant • Offline / Online • Language: • Expressiveness • Computational model (proof thy.) • Implementation

  4. WP 2 Norms: Tasks • T2.1Computable Language for Normative Systems (Carles Sierra) Dedication 40-20-9 • T2.2 Individual Reasoning about a Normative System (Pablo Noriega) Dedication 40-6-9 • T2.3 Declarative specification of Electronic Institutions (Marc Esteva) Dedication 40-6-9

  5. T2.1: Objective Design and implement a practical machine executable language for specifyingnorm regulated MAS that may be used by MAS designers as well as participating agents to reason about the normative system itself.

  6. Task 2.1: Content A Computable Language for Normative Systems • Expressiveness • Typical norms: facts, deontic modalities, conditions, associated actions, temporal features,... • Other normative features: authority, jurisdiction, hierarchy, conflict resolution policies, ... • Practical to implement and use • Reason about norms • Convenient semantics & proof theory

  7. Task 2.1 Activities • A study of normative temporal logics • Formal properties • Operational semantics • NTL-based language for normative systems • Model checking and other proof theoretic tools for NTL-languages • Reasoning about norms • Examples of normative systems

  8. T2.1 Workplan • Phase 1: Identify needs and available technologies. Choose best features for a computable NTL-based language • Study of NTLs and relevant proof-theoretic mechanisms • Expressiveness requirements for normative systems • Desiderata for a system that supports reasoning about norms D2.1.1 A NTL primer (18 R) • Phase 2: Design and implementation of a normative language D2.1.2 A machine readable language for norms (24 R) • Phase 3: Construction and use of actual normative systems D2.1.3 Implementation of actual normative systems (40; 54 R&S)

  9. T2.2: Objective Propose an agent architecture for agents that deliberate about their normaware behaviour within a norm regulated social system

  10. T2.2 Content Individual Reasoning About a Normative System • Individual reasoning perspectives Introspective outlook (adopting, breaking a norm) vs pro-social outlook (social conformance, negotiation, group deliberation) • Agent architectures to deliberate about norms • Individuals reasoning off-line How to know what one is supposed to do and not to do. Criteria for norm compliance. Adapting behaviour to comply with rules. • Individuals reasoning on-line Deciding when to infringe or comply with a norm. Adapting to the social environment Adoptingevolving normative requirements

  11. T2.2: Activities • An agent architecture to reason about norms and actions. • BDI+Commit (context logics)+T2.1 language • Evaluating norm adoption and compliance from an individual agent’s perspective: • Graded commitments. • Values, preferences and motivation • Coherence, cognitive dissonance. • Reasoning about norms within society (adapting, conforming, defaulting and transgressing) • Peer-pressure and individual profiling • Argumentation, persuasive actions, sanctions • Collective decision-making (Game-theoretic models-judgement aggregation) • Prototyping and deployment of agent populations in EIs

  12. T2.2 Workplan • Phase 1: An architecture for morally enabled agents. • Study and choice of relevant modalities, inference and coherence-maintenance mechanisms • Public and private moral-reasoning features (values, preferences, moral awareness,...) • Normative state • D2.2.1 A BDI+C agent architecture (18 R) • Phase 2: Introspective reasoning about norms (adoption, compliance and infringement) D2.2.2 Norm adoption models from a subjective perspective (24 R) • Phase 3: Morally enabled agents in a norm-regulated EI. D2.2.3 An implementation of BDI+C agent societies in EIs (40; 54 R&SW)

  13. T2.3 Objective Executable Norm-regulated Electronic Institutions

  14. T2.3 Content (1) Commitment Management • Commitment consistency. Can commitments be fulfilled? • Reasoning at design and at run-time. • Dynamic and concurrent commitment acquisition and fulfilment. • Centralised versus distributed commitment management • Global (institution) and local (agent) fulfilment.

  15. T2.3 Content (2) Declarative language • Expressiveness requirements for interaction conventions specification • Mapping of the current EI procedural specification into the declarative language. • More flexible specification, control and enforcement of the institutional rules.

  16. T2.3 Content (3) Declarative language Integration • Consistency between the declarative and procedural specifications. • Realisability of a declarative specification. • Updating of conventions at run-time. (Related to Autonomic Electronic Institutions) • Reasoning about conventions at design and run-time.

  17. T2.3 Activities • Dynamic commitment management model • Integration of the declarative language with the current procedural specification of institutions. • Extension of EIDE platform.

  18. T2.3 Workplan Phase 1: A dynamic commitment management model • Analysis of how commitments propagate • Commitment conflict management D2.1A dynamic commitment management model (12 R) Phase 2: Integration between procedural and declarative specifications D2.3.2 A norm-based extended EI model. Month (24 R) Phase 3: Extension of EIDE to support the commitment models and declarative-procedural specifications. D2.3.3 Declarative-procedural specification of EIs. (40 R&S)

  19. WP2: T-Relationships T2.1 Language for Norms T2.3 Declarative EIs T2.2 Normative Agents

  20. WP6 Tool Suite WP7. Infrastructure WP8. Real Case Studies WP2: T-Relationships T2.1 Language for Norms T2.3 Declarative EIs T2.2 Normative Agents

  21. T3.4 3·D EIs T3.2 Group Planning T3.1 Autonomic EIs T3.3 Deliberative Agreement T3.5 Mechanisms for Teamwork WP2: T-Relationships T2.1 Language for Norms T2.3 Declarative EIs T2.2 Normative Agents

  22. T4.1 Agreement Logics T4.2 Real-time Agreements T4.3 CBR Mediating T4.4 Planning & scheduling T5.1 Dynamic Trust Alignment WP2: T-Relationships T2.1 Language for Norms T2.3 Declarative EIs T2.2 Normative Agents

  23. WP6 Tool Suite WP7. Infrastructure WP8. Real Case Studies T5.1 Dynamic Trust Alignment WP2: T-Relationships T4.1 Agreement Logics T4.2 Real-time Agreements T4.3 CBR Mediating T2.1 Language for Norms T4.4 Planning & scheduling T2.3 Declarative EIs T2.2 Normative Agents T3.4 3·D EIs T3.2 Group Planning T3.1 Autonomic EIs T3.3 Deliberative Agreement T3.5 Mechanisms for Teamwork

More Related