Seman tic V ersion of Epistemic AGM P ostulates . Giv en a K B -mo del S , an AGM b elief r evision the ory for S is defined by giving, for each agent a , a family of S -theories T a ⊆ P ( S ), called a -the ories over S , and an op eration ∗ a : T a × P ( S ) → T a , such that for all T ∈ T a , P ⊆ S , we hav e:
Answer
(T0) s a ∈ T a , for all s ∈ S; (T1) ∅ ∈ T a ; (T2) if T ∈ T a , then for all s, t ∈ T we have s a = t a and s(a) = t(a). (*1) T ∗ a P ∈ T a ; (*2) T ∗ a P ⊆ P
Seman tic V ersion of Epistemic AGM P ostulates . Giv en a K B -mo del S , an AGM b elief r evision the ory for S is defined by giving, for each agent a , a family of S -theories T a ⊆ P ( S ), called a -the ories over S , and an op eration ∗ a : T a × P ( S ) → T a , such that for all T ∈ T a , P ⊆ S , we hav e:
Seman tic V ersion of Epistemic AGM P ostulates . Giv en a K B -mo del S , an AGM b elief r evision the ory for S is defined by giving, for each agent a , a family of S -theories T a ⊆ P ( S ), called a -the ories over S , and an op eration ∗ a : T a × P ( S ) → T a , such that for all T ∈ T a , P ⊆ S , we hav e:
Answer
(T0) s a ∈ T a , for all s ∈ S; (T1) ∅ ∈ T a ; (T2) if T ∈ T a , then for all s, t ∈ T we have s a = t a and s(a) = t(a). (*1) T ∗ a P ∈ T a ; (*2) T ∗ a P ⊆ P
If you want to change selection, open document below and click on "Move attachment"
pdf
owner: rappatoni - (no access) - Baltag and Smets - conditional doxastic models a qualiltative approach to odynamic belief revision.pdf, p6
Summary
status
not learned
measured difficulty
37% [default]
last interval [days]
repetition number in this series
0
memorised on
scheduled repetition
scheduled repetition interval
last repetition or drill
Details
No repetitions
Discussion
Do you want to join discussion? Click here to log in or create user.