Computational Logic in Multi-Agent Systems

Name: Computational Logic in Multi-Agent Systems | 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings

Joao Leite Paolo Torroni Thomas Agotnes Guido Boella Leon van der Torre(Herausgeber*in)

Springer (Verlag)

Erschienen am 18. September 2011

XV, 383 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-22359-4 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title Page
Preface
Organization
CLIMA Publications
Table of Contents
Secrets and Trust
Some Thoughts on Using Argumentation to Handle Trust
Why Trust Is Important
The Setting for OurWork
HowWe Use Argumentation in Handling Trust
How Argumentation Can Help
Our Contribution so Far
Current and FutureWork
Conclusions
References
Transitivity and Propagation of Trust in Information Sources: An Analysis in Modal Logic
Introduction
Informal Trust Definitions
Logical Framework
Formal Trust Definitions
From Case Studies to Generalization
Trust in Information Sources Propagation
Related Works
Conclusion
References
The Functional Dependence Relation on Hypergraphs of Secrets
Introduction
Hypergraphs
Protocol: A Formal Definition
Language of Secrets
Axioms
Examples of Proofs
Soundness
Completeness
Protocol P0
Main Result
Conclusion
References
Knowledge and Beliefs
Three Steps
Knowledge-Based Protocols for Card Players
Logical Preliminaries
There Is No Two-Step Protocol for (4, 4, 2)
A Safe and Informative Announcement
The Model before and after the First Announcement
A Three Step Protocol for (4, 4, 2)
A Probabilistic Protocol
Conclusion
References
A Modal Framework for Relating Belief and Signed Information
Introduction
Setting the Framework
Representing Signed Statements
Preferences over Information Sources
Representing Tell Statements
Formal Framework
Axiomatics
Semantics
Linking Signatures and Beliefs
Ranking Agents
Careful Aggregation
A More Confident Aggregation
Acquiring Information
Example
Conclusion
References
On the Definability of Simulability and Bisimilarity by Finite Epistemic Models
Introduction
Epistemic Logic
Simulation and Bisimulation
Undefinability
Definability
Conclusion and Further Research
References
Logics for Games and Social Choice
Applications of Logic in Social Choice Theory
Social Choice Theory
Applications of Logic
Representation of Preferences
Characterisation and Impossibility Results
Automated Reasoning in Social Choice Theory
Judgment Aggregation
References
A Geometric Look at Manipulation
Introduction
Geometry of Voting: The Saari Triangle
A 'Geometric' Proof of the Gibbard Satterthwaite Theorem
Some Other Properties of Resolute Voting Rules
Reflections on Manipulation
Conclusion
References
Alternating-Time Temporal Announcement Logic
Introduction
Formalizing Conflicting Actions
The Logic
Syntax
Semantics
The Next-Fragment of ATAL
Adding Always and Until
Applications
Related Work
Conclusion
References
Synthesizing Strategies for Homogenous Multi-Agent Systems with Incomplete Information
Introduction
Formal Model
Modular Models
Logical Formalism
Synthesis of All Maximal Homogenous Strategies
Naive Solution
Incremental solution
Complexity and Comparison
Conclusion
References
Reasoning about Joint Action and Coalitional Ability in $K_n$ with Intersection
Introduction
Background
Coalition Logic
Multi-modal K with Intersection of Modalities
Injective Games
Effectivity Functions and Representation
Multi-modal K with Intersection for Games
Joint Action Models
Embedding of $CL$
Axiomatisation of Joint Action Models
Complexity
Discussion
References
Ontology Merging as Social Choice
Introduction
A Framework for Ontology Aggregation
Preliminaries: Description Logics
Ontology Aggregators
Example
Properties of Ontology Aggregators
Syntactic Axioms
Semantic Axioms
Procedures for Ontology Aggregation
The Majority Rule
Quota Rules
A Support-Based Procedure
A Distance-Based Procedure
Two-Stage Procedures
Conclusion and Future Work
References
Cooperation
Social Commitment Delegation and Monitoring
Introduction
Formal Model
Delegation
Similarity
Limits and Deadlines
Monitoring
Case Study
Discussion
References
Verifying Team Formation Protocols with Probabilistic Model Checking
Introduction
Preliminaries
Probabilistic Models
Probabilistic Model Checking and PRISM
Definitions and Algorithms
Definitions
Algorithms
Models and Experimental Setup
PRISM Models
Experimental Setup
Experimental Results
DTMC Analysis
MDP Analysis
STPG Analysis
Conclusion and Future Work
References
Abduction-Based Search for Cooperative Answers
Introduction
Background
Extended Disjunctive Programs
Abductive Logic Programs
Queries to an ALP
Query Relaxation
Running Example
Important Concepts
Useful Literals
Querying Agent's Choice
Rational Explanations
Our Search Method
Ranking the Explanations
Equivalent Explanations
The Search for Cooperative Answers
Relaxation Trees and Issues
Expanding the Scope of a Query
Evaluation
Related Work
Conclusion and Future Work
References
Reasoning about Exceptions to Contracts
Introduction
Diagnosis in Multiagent Systems
Contracts, Commitments and Diagnosis Architecture
Reasoning
Domain-Dependent Rules
General-Purpose Reasoning Rules
Case Study
Customer's Fault
Bookstore's Fault
Conclusion and Future Work
References
Logic and Languages
Probabilistic Rule Learning in Nonmonotonic Domains
Introduction
Preliminaries
Approach
ILP as Abductive Reasoning
Model Generation
Parameter Estimation
Case Study: A Planning Agent
Knowledge Base
Trace Generation
Experiment
Discussion and Related Work
Conclusions
References
A Formal Semantics for Brahms
Introduction
Brahms
Brahms Example
Overview of Semantics
Time Keeping and Scheduling
Running Workframes and Thoughtframes
Priority and Suspension of Workframes and Thoughtframes
Executing Plans: Activities and Communication
Detectables
Variables
Brahms Syntax
Semantics: Notation
Semantics: Structure
Running Example of Brahms Semantics
System Initiation
Scheduler Rules
Agents and Objects Are Now Invoked
The Cycle Continues
Concluding Remarks and Future Work
References
Making Golog Norm Compliant
Introduction
The Golog Language
Basic Action Theories
Golog
Norms
Ought-to-Do Norms
Ought-to-Be Norms
Deadlines
Internalizing Norms
Ought-to-Do Norms
Ought-to-Be Norms
Deadlines
Related Work
Conclusions
References
Norms and Normative Multi-agent Systems
Probabilistic Action and Deontic Logic
References
A Dynamic Logic of Institutional Actions
Introduction
Institutional Actions: Conceptual Analysis
Logic
Language
Models
Constraints on Models
Updating a Model by an Action
Truth Conditions
Axiomatization and Complexity
Institutional Power and Compact Characterization
Related Works
Conclusion
References
A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts
Introduction
A Simple Classical Multi-agent Framework
Language
The Logic MDC
More on Group Obligations
Normative Conflicts
Avoiding Deontic Explosion: The Logic MDP
Drawbacks of MDP
The Adaptive Logic MDPm
Outlook
References
Normative Systems Represented as Hybrid Knowledge Bases
Introduction
Framework
Language
Example
Formal Semantics
Hybrid MKNF Knowledge Bases
Well-Founded MKNF Model
Implementation
$CDF-Rules$
Implementing Judicial Knowledge Bases
Conclusions and Future Work
References
Acting on Norm Constrained Plans
Introduction
Plans and Norms
Constraints, Substitution and Unification
Actions and Plans
Norms
Permissions and Conflicts
Normative Rules
Enactment States
Transitioning between Enactment States
From Plans to Norm Constrained Actions
Evaluation
Discussion
Conclusions and Future Work
References
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
Introduction
The Many Faces of Obligations
Temporalised Violation Logic
Proof Conditions
Checking Compliance
Summary and Related Work
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken