Procesarea cunostintelor comune si distribuite

Lucrare de licenta despre Procesarea cunostintelor comune si distribuite
Pentru q=1 evident ca raspunsul este "No". In mod analog ca mai sus se va demonstra ca toti copiii vor raspunde cu "No" la primele q intrebari. Cand tatal pune a q+1 intrebare copilul ii va raspunde tot cu "No". Din nou el nu stie ca este sau nu murdar pe frunte.Cand tatal anunta la inceput p aceasta devine o informatie utila pentru fiecare copil. De ce? Sa consideram cazul k=2. Bineinteles ca inainte ca tatal sa anunte p toti cunosc p, insa ceea ce nu se stie este ca "fiecare copil stie ca fiecare cunoaste p".

Daca Mary si Boby sunt doi copi murdari, atunci inainte de afirmatia tatalui, Mary considera ca este posibil ca ea sa nu fie murdara si daca este asa atunci Boby nu cunoaste p. Dupa ce tatal anunta p atunci Mary si Boby cunoaste p si deci daca Boby raspunde cu "No" la prima intrebare atunci Mary deduce ca ea este murdara, deci la a doua intrebare va raspunde cu "Yes". La fel si Boby.Asadar exista doi copii murdari, atunci este foarte utila informatia: "fiecare cunoaste p". Daca exista trei copii murdari este important ca: "fiecare cunoaste ca fiecare cunoaste p" s.a.m.d.

Lucrare de licenta despre Procesarea cunostintelor comune si distribuite

Cuprins

Introducere....................................3

Capitolul I. Cunostinte comune.....................................4
1.1. Notiuni generale. Exemple.....................................4
1.2. Prezentarea generala a unor probleme............................5

Capitolul II. Logica modala.........................................14
2.1. Sintaxa unui limbaj.................................14
2.2 Elemente de logica modala.............................15
2.3. Descrierea unei Kripke. Exemple............................17
2.4. Semantica unul Iimbaj. Operatori modali....................23

Capitolul III. Cunostinte distribuite........................24
3.1. Notiuni generale. Exemple.............................24
3.2. Propietati ale cunoasterii.............................29

Capitolul IV. Forme de reprezentare a cunostintelor comune si
distribuite................................34
4.1. Reprezentarea pe baza de evenimente. Structura Aumaun................................34
4.2. Legatura dintre structura Kripke si structura Aumann..................................36

Capitolul V. Prezentarea si modelarea unor probleme folosind elemente
de logica modala......................................40
5.1. Problema asi1or si optarilor.................................40
5.2. Problema copillor murdari..................................49

Capitolul VI. Prezentare aplicatie...................................53

Bibliografie.............................................91