![Page 1: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/1.jpg)
Expressing agent-opinions
Sujata Ghosh and Fernando R. Velazquez-Quesada
Institute of Artificial Intelligence, University of GroningenInstitute for Logic, Language and Computation, Universiteit van Amsterdam
[email protected], [email protected]
LMSCJuly, 2009
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 1 / 28
![Page 2: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/2.jpg)
Expressing agent-opinions
1 IntroductionBackground
2 A logic of opinionsA modal hybrid framework for opinionsSome relations between opinions
3 Opinions, beliefs and preferences on agentsExtending the frameworkSome relations between opinions and beliefs
4 SummaryConclusions and further work
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 2 / 28
![Page 3: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/3.jpg)
An opinion
OpinionA belief or judgment that rests on insufficient grounds.
Opinions about facts.
Opinions about agents.
Main concern: How these opinions relate with each other?
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 3 / 28
![Page 4: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/4.jpg)
An example
Suppose you (Y) are sitting in an office without windows. Next to you is acolleague (C), inside the same office. Simultaneously, you are talking on thephone with a friend (F), who is sitting in a street cafe.
F: “Everything your colleague says is false; the sun is shining!”C: “Everything your friend says is false; it is raining!”
How to represent such opinions?
Which is a suitable logical language to talk about such representation?
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 4 / 28
![Page 5: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/5.jpg)
Expressing agent-opinions
1 IntroductionBackground
2 A logic of opinionsA modal hybrid framework for opinionsSome relations between opinions
3 Opinions, beliefs and preferences on agentsExtending the frameworkSome relations between opinions and beliefs
4 SummaryConclusions and further work
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 5 / 28
![Page 6: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/6.jpg)
Opinion models
PROP a finite set of atomic propositions, NOM a set of world-names(nominals), AG a finite set of agent-names.
Opinion model
A graph-like structure M = `W ,A,R+,R−,O+,O−,V ,Ne where
nodes are given by W 8A (world-nodes and agent-nodes),
R+ b (A �W ), R− b (A �W ) (agent’s opinions about facts),
O+ b (A �A), O− b (A �A) (agent’s opinions about agents),
V � (PROP 8 NOM)� ³(W ) a valuation with SV (i)S = 1 for i > NOM,
N � AG� A an injection naming agent-nodes.
Some restrictions apply when we look for completeness results.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 6 / 28
![Page 7: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/7.jpg)
An opinion model
PROP �= �s� AG �= �y , f , c�
W �= �w1,w2� A �= �a1, a2, a3�
R+ �= �(a2,w1)� R− �= �(a3,w2)�
O+ �= �(a1, a2)�
O− �= �(a1, a3), (a2, a3), (a3, a2)�
a1
a2 a3
w1 w2
−+
−
+
−
−
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 7 / 28
![Page 8: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/8.jpg)
An opinion model
PROP �= �s� AG �= �y , f , c�
W �= �w1,w2� A �= �a1, a2, a3�
R+ �= �(a2,w1)� R− �= �(a3,w2)�
O+ �= �(a1, a2)�
O− �= �(a1, a3), (a2, a3), (a3, a2)�
y
f c
s s
−+
−
+
−
−
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 7 / 28
![Page 9: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/9.jpg)
Main differences w.r.t. Kripke models
Two kinds of nodes (and hence, two “valuations”).
Agents are nodes!
Two kinds of relations: opinions about facts and opinions about agents.
Two relations for each kind of opinions.
Opinions are global notions!
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 8 / 28
![Page 10: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/10.jpg)
The language
ϕ ��= p S i S ϕ S ϕ - ψ S taϕ S paϕ S `a�b S \a�b S @iϕ
with p > PROP, i > NOM and a, b > AG
taϕ: Agent a has a positive opinion about ϕ.paϕ: Agent a has a negative opinion about ϕ.
`a�b : Agent a has a positive opinion about agent b.\a�b : Agent a has a negative opinion about agent b.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 9 / 28
![Page 11: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/11.jpg)
Semantic Interpretation
Semantic interpretationFor p > PROP, , - is a usual. For the rest,
(M,w) à i iff �w� = V (i)(M,w) à taϕ iff for all u >W , R+N(a)u implies (M,u) à ϕ(M,w) à paϕ iff for all u >W , R−N(a)u implies (M,u) à ϕ(M,w) à `a�b iff O+N(a)N(b)(M,w) à \a�b iff O−N(a)N(b)(M,w) à @iϕ iff (M,u) à ϕ, where V (i) = �u�
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 10 / 28
![Page 12: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/12.jpg)
So
a p+
tap: a has positive opinion about p.
a p−
pap: a has negative opinion about p.
a p+
ta p: a has positive opinion about p.
a p−
pa p: a has negative opinion about p.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 11 / 28
![Page 13: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/13.jpg)
Our previous model
y
f c
s s
−+
−
+−
−
tf s , pcs: Agent f has a positive opinion about s and
agent c has a negative opinion about s.
\f �c , \f �c : f and c have both a negative opinion about each other.
`y �f , \y �c : You have a positive opinion about f and
a negative one about c.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 12 / 28
![Page 14: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/14.jpg)
But it may be stronger
a
p p
+
−
tap , pa p: Positive opinion about p and negative opinion about p.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 13 / 28
![Page 15: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/15.jpg)
Also
a
p p
− +
ta p , pa p: No opinion (neither positive nor negative) about p.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 14 / 28
![Page 16: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/16.jpg)
And even
a
p p
+ −
tap , pap: Both opinions (positive and negative) about p.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 15 / 28
![Page 17: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/17.jpg)
Expressing agent-opinions
1 IntroductionBackground
2 A logic of opinionsA modal hybrid framework for opinionsSome relations between opinions
3 Opinions, beliefs and preferences on agentsExtending the frameworkSome relations between opinions and beliefs
4 SummaryConclusions and further work
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 16 / 28
![Page 18: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/18.jpg)
“Inconsistent” opinions
a b
p p
+
+ −
tap , `a�b , pbp: a has a positive opinion about both p and b,
but b has a negative opinion about p.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 17 / 28
![Page 19: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/19.jpg)
Some postulates
P1 Opinions about agents to whom we have positive and negativeopinions influence positive opinions about facts.
P2 Opinions about agents to whom we have positive and negativeopinions influence negative opinions about facts.
P3 Similar opinions about facts lead to positive opinions betweenagents.
P4 Opposite opinions about facts lead to negative opinions be-tween agents.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 18 / 28
![Page 20: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/20.jpg)
Their syntactic counterpart
• PosAG(a) := �b > AG S O+N(a)N(b)�• NegAG(a) := �b > AG S O−N(a)N(b)�• PosPROP(a) := �p > PROP S R+N(a)u implies u > V (p)�• NegPROP(a) := �p > PROP S R−N(a)u implies u ~> V (p)�
A1 ��b>PosAG(a) tbp ,�b>NegAG(a) pbp�� tap
A2 ��b>PosAG(a) pbp ,�b>NegAG(a) tbp�� pap
A3 ��p>PosPROP(a) tbp ,�p>NegPROP(a) pbp�� `a�b
A4 ��p>PosPROP(a) pbp ,�p>NegPROP(a) tbp�� \a�b
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 19 / 28
![Page 21: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/21.jpg)
Expressing agent-opinions
1 IntroductionBackground
2 A logic of opinionsA modal hybrid framework for opinionsSome relations between opinions
3 Opinions, beliefs and preferences on agentsExtending the frameworkSome relations between opinions and beliefs
4 SummaryConclusions and further work
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 20 / 28
![Page 22: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/22.jpg)
Adding beliefs to the picture
Conceptual differences between opinions and beliefs.
Technical differences between them: opinion is global, belief is local.
Nesting of opinions is meaningless; nesting of beliefs is relevant.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 21 / 28
![Page 23: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/23.jpg)
Extending the framework
Opinion modelA graph-like structureM = `W ,A,R+,R−,O+,O−,�Ra S a > AG�,�BaS a > AG�,V ,Ne where
Ra b (W �W ) is a serial, transitive and euclidean relation for eachagent-name a,
Ba b (A �A) is a reflexive and transitive relation for each agent-namea.
Language and semantic interpretation
(M,w) à Baϕ iff for all u >W s.t. Rawu, we have (M,u) à ϕ(M,w) à a jc b iff N(a) Bc N(b)
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 22 / 28
![Page 24: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/24.jpg)
Expressing agent-opinions
1 IntroductionBackground
2 A logic of opinionsA modal hybrid framework for opinionsSome relations between opinions
3 Opinions, beliefs and preferences on agentsExtending the frameworkSome relations between opinions and beliefs
4 SummaryConclusions and further work
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 23 / 28
![Page 25: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/25.jpg)
Some postulates relating opinions and beliefs
P5 Opinions about agents lead to preferences about agents.
(`a�b , \a�c)� c ja b
P6 Preferences about agents and opinions about facts of thoseagents can lead to positive opinions about facts.
(c ja b , tbϕ , pcϕ)�|aϕ
P7 Preferences about agents and opinions about facts of thoseagents can lead to negative opinions about facts.
(c ja b , pbϕ , tcϕ)�xaϕ
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 24 / 28
![Page 26: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/26.jpg)
Expressing agent-opinions
1 IntroductionBackground
2 A logic of opinionsA modal hybrid framework for opinionsSome relations between opinions
3 Opinions, beliefs and preferences on agentsExtending the frameworkSome relations between opinions and beliefs
4 SummaryConclusions and further work
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 25 / 28
![Page 27: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/27.jpg)
So far
Language and semantic model for representing opinions about facts andabout agents.
Postulates stating some relations between opinions.
Extension with beliefs and preferences over agents.
Postulates for some relations between the different notions.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 26 / 28
![Page 28: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/28.jpg)
To do
Other postulates for relations between the concepts.
Dynamic look at these “reasonable” properties.
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 27 / 28
![Page 29: Expressing agent-opinionsAndreas.Herzig/Esslli09/FinalPapers/Ghosh... · An opinion Opinion A belief or judgment that rests on insufficient grounds. Opinions about facts. Opinions](https://reader035.vdocument.in/reader035/viewer/2022081607/5ee02404ad6a402d666b61ea/html5/thumbnails/29.jpg)
Thanks!
S. Ghosh, F.R. Velazquez-Quesada (ALICE, ILLC) Expressing agent-opinions LMSC July, 2009 28 / 28