a4m33mas - multiagent systems agents and their behavior … · 2018-09-19 · multi-agent systems...
TRANSCRIPT
![Page 1: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/1.jpg)
A4M33MAS - Multiagent Systems Agents and their behavior modeling by means of formal logic
Michal Pechoucek & Michal JakobDepartment of Computer Science Czech Technical University in Prague
In parts based an selected graphics taken from Valentin Goranko and Wojtek Jamroga: Modal Logics for Multi-Agent Systems, 8th European Summer School in Logic Language and Information
![Page 2: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/2.jpg)
Multi-agent systems & Logic • Multi-agent systems
– Complex decentralized systems whose behaviour is given by interaction among autonomous, rational entities. We study MAS so that we understand behaviour of such systems and can design such software systems.
• Logic – Provides a paradigm for modeling and reasoning about the complex world
in a precise and exact manner – Provides methodology for specification and verification of complex
programs • Can be used for practical things (also in MAS):
– automatic verification of multi-agent systems – and/or executable specifications of multi-agent systems
2
![Page 3: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/3.jpg)
Best logic for MAS?
3
![Page 4: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/4.jpg)
Modal logic
4
![Page 5: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/5.jpg)
Modal logic syntax
5
![Page 6: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/6.jpg)
Modal logic syntax
6
![Page 7: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/7.jpg)
Modal logic semantics
7
![Page 8: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/8.jpg)
Modal logic semantics
8
![Page 9: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/9.jpg)
Modal logic semantics
9
![Page 10: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/10.jpg)
Modal logic semantics
10
![Page 11: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/11.jpg)
Modal logic example
11
![Page 12: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/12.jpg)
Modal logic example
12
![Page 13: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/13.jpg)
Modal logic example
13
![Page 14: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/14.jpg)
Modal logic example
14
![Page 15: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/15.jpg)
Modal logic• Note:
– most modal logics can be translated to classical logic . . . but the result looks horribly ugly, . . . and in most cases it is hard to automate anything
15
![Page 16: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/16.jpg)
Axioms in Modal logic
16
Distribution axiom
![Page 17: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/17.jpg)
Axioms in Modal logic
17
Distribution axiom
Generalization axiom
![Page 18: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/18.jpg)
Axioms in Modal logic
18
![Page 19: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/19.jpg)
Axioms in Modal logic
19
![Page 20: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/20.jpg)
Proofs
20
![Page 21: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/21.jpg)
Proofs
21
![Page 22: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/22.jpg)
Proofs
22
![Page 23: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/23.jpg)
Proofs
23
![Page 24: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/24.jpg)
Proofs
24
![Page 25: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/25.jpg)
Proofs
25
![Page 26: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/26.jpg)
Proofs
26
![Page 27: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/27.jpg)
Proofs
27
![Page 28: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/28.jpg)
Proofs
28
![Page 29: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/29.jpg)
Proofs
29
![Page 30: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/30.jpg)
Proofs
30
![Page 31: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/31.jpg)
Proofs
31
![Page 32: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/32.jpg)
Proofs
32
![Page 33: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/33.jpg)
Proofs
33
![Page 34: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/34.jpg)
Proofs
34
![Page 35: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/35.jpg)
Proofs
35
![Page 36: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/36.jpg)
Proofs
36
![Page 37: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/37.jpg)
Axioms in Modal logic
37
![Page 38: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/38.jpg)
Model of Belief & Knowledge
38
![Page 39: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/39.jpg)
Model of Belief & Knowledge• Once we are implementing an intelligent agent what do we want the
program to implement e.g. its beliefs: – to satisfy the K axioms – an agent knows what it does know: positive introspection axiom (4 axiom). – an agent knows what it does not know: negative introsp. axiom (5 axiom). – it beliefs are not contradictory: if it knows something it means it does not
allow the negation of its being true (D axiom).
39
![Page 40: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/40.jpg)
Model of Belief & Knowledge
40
• Once we are implementing an intelligent agent what do we want the program to implement e.g. its beliefs: – to satisfy the K axioms – an agent knows what it does know: positive introspection axiom (4 axiom). – an agent knows what it does not know: negative introsp. axiom (5 axiom). – it beliefs are not contradictory: if it knows something it means it does not
allow the negation of its being true (D axiom). • Belief is surely a KD45 system -- modal logic system
where the B relation is serial, transitive and euclidean.
![Page 41: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/41.jpg)
Model of Belief & Knowledge
41
• Once we are implementing an intelligent agent what do we want the program to implement e.g. its beliefs: – to satisfy the K axioms – an agent knows what it does know: positive introspection axiom (4 axiom). – an agent knows what it does not know: negative introsp. axiom (5 axiom). – it beliefs are not contradictory: if it knows something it means it does not
allow the negation of its being true (D axiom). • Belief is surely a KD45 system -- modal logic system
where the B relation is serial, transitive and euclidean.
• Knowledge is more difficult – it needs to be also true – this why the knowledge accessibility relation needs to be also reflexive.
![Page 42: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/42.jpg)
Model of Belief & Knowledge• Once we are implementing an intelligent agent what do we want the
program to implement e.g. its beliefs: – to satisfy the K axioms – an agent knows what it does know: positive introspection axiom (4 axiom). – an agent knows what it does not know: negative introsp. axiom (5 axiom). – it beliefs are not contradictory: if it knows something it means it does not
allow the negation of its being true (D axiom). • Belief is surely a KD45 system -- modal logic system
where the B relation is serial, transitive and euclidean.
• Knowledge is more difficult – it needs to be also true – this why the knowledge accessibility relation needs to be also reflexive.
• Therefore knowledge is a KTD45 system.42
![Page 43: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/43.jpg)
Automated reasoning in Logic
43
![Page 44: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/44.jpg)
Automated reasoning in Logic
44
![Page 45: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/45.jpg)
Automated reasoning in Logic
45
![Page 46: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/46.jpg)
Automated reasoning in Logic
46
![Page 47: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/47.jpg)
Automated reasoning in Logic
47
![Page 48: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/48.jpg)
Automated reasoning in Logic
48
![Page 49: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/49.jpg)
Automated reasoning in Logic
49
Model checking is a technique for automatically verifying correctness properties of finite-state systems. Given a model of a system, exhaustively and automatically check whether this model meets a given specification (such as the absence of deadlocks and similar critical states that can cause the system to crash).
![Page 50: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/50.jpg)
Automated reasoning in Logic
50
![Page 51: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/51.jpg)
Various Modal Logics
51
![Page 52: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/52.jpg)
Model of Time
52
![Page 53: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/53.jpg)
Model of Time• Modelling time as an instance of modal logic where the
accessibility relation represents the relationship between the past, current and future time moments.
• Time:
linear
branching
53
![Page 54: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/54.jpg)
Typical Temporal Operators
54
![Page 55: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/55.jpg)
Safety Property
– something bad will not happen – something good will always hold
55
![Page 56: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/56.jpg)
Safety Property
– something bad will not happen – something good will always hold
• Typical examples:
56
![Page 57: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/57.jpg)
Safety Property
57
– something bad will not happen – something good will always hold
• Typical examples:
![Page 58: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/58.jpg)
Safety Property
58
– something bad will not happen – something good will always hold
• Typical examples:
![Page 59: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/59.jpg)
Liveness Property
59
– something good will happen
![Page 60: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/60.jpg)
Liveness Property
60
– something good will happen
• Typical examples
![Page 61: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/61.jpg)
Liveness Property
61
– something good will happen
• Typical examples
![Page 62: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/62.jpg)
Liveness Property
– something good will happen
• Typical examples
62
![Page 63: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/63.jpg)
Fairness Property useful when scheduling processes, responding to messages, etc. good for specifying interaction properties of the environment
• Typical examples:
• Strong Fairness: if something is attempted/requested, then it will be successful
• Typical examples:
63
![Page 64: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/64.jpg)
Linear Temporal Logic - LTL• Reasoning about a particular computation of a system where
time is linear - just one possible future path is included.
64
![Page 65: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/65.jpg)
Linear Temporal Logic - LTL
65
![Page 66: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/66.jpg)
Linear Temporal Logic - LTL
66
![Page 67: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/67.jpg)
Computational Tree Logic - CTL
67
• Reasoning about possible computations of a system. Time is branching – we want all paths included.
![Page 68: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/68.jpg)
• Reasoning about possible computations of a system. Time is branching – we want all alternative paths included.
• Vanilla CTL: every temporal operator must be immediately preceded by exactly one path quantifier
• CTL*: no syntactic restrictions • Reasoning in Vanilla CTL can be automated.
Computational Tree Logic - CTL
68
![Page 69: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/69.jpg)
Computational Tree Logic - CTL
69
![Page 70: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/70.jpg)
Computational Tree Logic - CTL
70
![Page 71: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/71.jpg)
Computational Tree Logic - CTL
71
![Page 72: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/72.jpg)
Example
72
![Page 73: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/73.jpg)
Example
73
![Page 74: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/74.jpg)
Example
74
![Page 75: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/75.jpg)
Example
75
![Page 76: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/76.jpg)
Dynamic Logic
76
![Page 77: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/77.jpg)
Dynamic Logic
77
![Page 78: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/78.jpg)
Dynamic Logic
78
![Page 79: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/79.jpg)
Dynamic Logic
79
![Page 80: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/80.jpg)
Dynamic Logic
80
![Page 81: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/81.jpg)
Dynamic Logic
81
![Page 82: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/82.jpg)
Dynamic Logic
82
![Page 83: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/83.jpg)
Dynamic Logic
83
![Page 84: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/84.jpg)
Dynamic Logic
84
![Page 85: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/85.jpg)
Dynamic Logic
85
![Page 86: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/86.jpg)
Dynamic Logic
86
![Page 87: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/87.jpg)
Dynamic Logic
87
![Page 88: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/88.jpg)
Dynamic Logic
88
![Page 89: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/89.jpg)
Concluding Remarks• Practical Importance of Temporal and Dynamic Logics:
– Automatic verification in principle possible (model checking). – Can be used for automated planning. – Executable specifications can be used for programming.
• Note: When we combine time and actions with knowledge (beliefs, desires, intentions, obligations...), we finally obtain a fairly realistic model of MAS.
89
![Page 90: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/90.jpg)
Models of Practical Reasoning: BDIProcess of figuring out what to do. Practical reasoning is a matter of weighing conflicting considerations for and against competing options, where the relevant considerations are provided by what the agent desires/values/cares about and what the agent believes (Bratman)
• computational model of human decision process oriented towards an action, based on models of existing mental models of the agents
• human practical reasoning consists of two activities:– deliberation: deciding what state of affairs we want to achieve and– means-ends reasoning (planning): deciding how to achieve these states
• the outputs of deliberation process are intentions
90
![Page 91: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/91.jpg)
BDI Architecture• BELIEFS
– collection of information that the agents has about its the status of the environment, peer agents, self
• DESIRES – set of long term goals the agent wants to achieve
• INTENTIONS – agents immediate commitment to executing an action, either high-level or
low level (depends on agents planning horizon)
• BDI architecture connects: (i) reactive (ii) planning & (iii) logical represention. BDI architecture does not count on theorem proving
91
![Page 92: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/92.jpg)
BDI Inference Algorithm• Basic algorithm:
1.initial beliefs → Bel2.while true do
3. Read(get_next_percept) → in
4. Belief-revision(Bel, in) → Bel
5. Deliberate(Bel, Des) → Int
6. Plan(Bel, Int) →π7. Execute(π)8.end while
92
![Page 93: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/93.jpg)
BDI Modal Properties• BELIEFS
– KD45 system, modal logic where the B relation is serial, transitive and euclidean: satisfies K axioms, positive introspection axiom (4 axiom), negative introspection axiom (5 axiom), beliefs consistency axiom (D axiom).
• DESIRES – KD system, modal logic requiring desired goals not to contradict (D axiom).
• INTENTIONS – KD system, modal logic requiring intentions not to contradict (D axiom).
93
![Page 94: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/94.jpg)
BDI Modal Properties• BELIEFS
– KD45 system, modal logic where the B relation is serial, transitive and euclidean: satisfies K axioms, positive introspection axiom (4 axiom), negative introspection axiom (5 axiom), beliefs consistency axiom (D axiom).
• DESIRES – KD system, modal logic requiring desired goals not to contradict (D axiom).
• INTENTIONS – KD system, modal logic requiring intentions not to contradict (D axiom).
94
![Page 95: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/95.jpg)
Properties of Intentions
• Intention persistency:– agents track the success of their intentions, and are inclined to try again if
their attempts fail
• Intention satisfiability: – agents believe their intentions are possible; that is, they believe there is at
least some way that the intentions could be brought about.
95
![Page 96: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/96.jpg)
Properties of Intentions
• Intention-belief inconsistency:– agents do not believe they will not bring about their intentions; it would be
irrational of agents to adopt an intention if believed was not possible
• Intention-belief incompleteness:– agent do not believe that their intention is possible to be achieved, may be
understood as rational behavior
– agents admit that their intentions may not be implemented.
96
![Page 97: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/97.jpg)
Properties of Intentions
• Intention side-effects:– Agents need not intend all the expected side effects of their intentions.
Intentions are not closed under implication.
✴ is thus classified as fully rational behaviour
– Example: I may believe that going to the dentist involves pain, and I may also intend to go to the dentist - but this does not imply that I intend to suffer pain!
97
![Page 98: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/98.jpg)
Rationality of Invetibilities & Options
98
![Page 99: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/99.jpg)
Rationality of Invetibilities & Options
99
![Page 100: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/100.jpg)
Rationality of Invetibilities & Options
100
![Page 101: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/101.jpg)
Agents Individual/Social Commitments• Commitments: knowledge structure, declarative programming
concept based on intentions (intentions are special kinds of comms). – specify relationships among different intentional states of the agents– specify social relations among agents, based on their comms to joint actions
The commitment is an agent's state of 'the mind' where it commits to adopting the single specific intention or a longer term desire.
• We distinguish between:– specific, commonly used comms general comms– individual comms social comms
101
![Page 102: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/102.jpg)
Individual Commitments• A can get committed to its intention in several different ways:
– blind commitment: also referred to as fanatical commitment, the agent is intending the intention until it believes that it has been achieved (persistent intention)
102
![Page 103: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/103.jpg)
Individual Commitments• A can get committed to its intention in several different ways:
– blind commitment: also referred to as fanatical commitment, the agent is intending the intention until it believes that it has been achieved (persistent intention)
– single-minded commitment: besides above it intends the intention until it believes that it is no longer possible to achieve the goal
103
![Page 104: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/104.jpg)
Individual Commitments• A can get committed to its intention in several different ways:
– blind commitment: also referred to as fanatical commitment, the agent is intending the intention until it believes that it has been achieved (persistent intention)
– single-minded commitment: besides above it intends the intention until it believes that it is no longer possible to achieve the goal
– open-minded commitment: besides above it intends the intention as long as it is sure that the intention is achievable
104
![Page 105: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/105.jpg)
General Commitments• Commitment is defined as , where• Convention is defined as
– provided x stands for until, A stands for always in the future, Int is agent’s intention and Bel is agent’s belief then for the commitment has the form:
105
![Page 106: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/106.jpg)
General Commitments• Commitment is defined as , where• Convention is defined as
– provided x stands for until, A stands for always in the future, Int is agent’s intention and Bel is agent’s belief then for the commitment has the form:
106
![Page 107: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/107.jpg)
Joint (Social) Commitment
• Form of a commitment that represents how a group of agents is committed to a joint action (goal, intention, ...)
107
![Page 108: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/108.jpg)
Joint (Social) Commitment
• Form of a commitment that represents how a group of agents is committed to a joint action (goal, intention, ...)
108
![Page 109: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/109.jpg)
Joint (Social) Commitment
• Form of a commitment that represents how a group of agents is committed to a joint action (goal, intention, ...)
109
![Page 110: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/110.jpg)
Joint (Social) Commitment
• Form of a commitment that represents how a group of agents is committed to a joint action (goal, intention, ...)– for a convention in the form of
where
110
![Page 111: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/111.jpg)
Blind Social Commitment• each agent is trying to accomplish the commitment until achieved
111
![Page 112: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/112.jpg)
Minimal Social Commitment• minimal social commitment, also related to as joint persistent goal:
– initially agents do not believe that goal is true but it is possible– every agent has the goal until termination condition is true– until termination: if agent beliefs that the goal is either true or impossible than
it will want the goal that it becomes a mutually believed, but keep committed– the termination condition is that it is mutually believed either goal is true or
impossible to be true.
112
![Page 113: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/113.jpg)
Minimal Social Commitment
113
where
![Page 114: A4M33MAS - Multiagent Systems Agents and their behavior … · 2018-09-19 · Multi-agent systems & Logic • Multi-agent systems – Complex decentralized systems whose behaviour](https://reader036.vdocuments.net/reader036/viewer/2022081522/5f879c0796281a63cd60262d/html5/thumbnails/114.jpg)
Definition 1:(M-Bel ϴ ϕ) ≣ ∀ A, A∈ϴ: (Bel A (M-Bel ϴ ϕ))
Definition 2:
Mutual Belief ?
114
0
k k-1
m N m