作业_70

k uv v believes u said oi h pi 0 belief rules

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Believes (U said m ) C3 (2) 0 V Believes (V sent x to J ) V Believes ( J sees x ) ① V Believes ( U said OI ) 0 message-meaning rules R1 x C1 x 200628017029197 D1 : V Believes (V U ) ∧ V sees { OI , h( PI )} K UV V Believes (U said { OI , h( PI )} ) 0 belief rules R15 x D1 x V Believes (U said OI ) ② V Believes ( V CanProve (U said OI ) to J ) Kailar n 6˜áU cf ¹H ` ªP ` cª ¹ R Ù x c V x ª ` ¹ XU “ N 3 ” A CanProve x to B 6à nf Ax Bx cª ¹ x x` U x y ( y ≠ x )0 Bx Ax Bx J Believes (U said OI ) V → J : Request, Cert (U , PK U , t , σ ) , Cert (V , PK V , t , σ ) J → V : Cert ( J , PK J , t , σ ) V → J : {{ OI , h( PI ) , σ ( SK U , h( OI ) , h( PI ) )} PK J } PK V −1 B1 x D2 : D3 : D4 : J sees Cert (U , PK U , t , σ ) J sees Cert (V , PK V , t , σ ) V sees Cert ( J , PK J , t , σ ) J Believes J Believes V Believes U V J x V → J : Cert ( U , PK U , t , σ ) , Cert ( V , PK V , t , σ ) x D5 : V Believes ( J sees { Cert (U , PK U , t , σ ) , Cert (V , PK V , t , σ )} ) x B5 x seeing rules R6 x D5 x D6 : D7 : x B 2 x D6 x V Believes ( J sees Cert (U , PK U , t , σ ) ) V Believes ( J sees Cert (V , PK V , t , σ ) ) D8 : P Believes ( J Believes U) 200628017029197 0 B 2 x D7 x D9 : P Believes ( J Believes V) −1 x V → J : {{ OI , h( PI ) , σ ( SK U , h( OI ) , h( PI ) ) } PK J } PK V D10 : V Believes J sees {{ OI , h( PI ) , σ ( SK U , h( OI ) , h( PI ) )} PK J } PK V −1 B4 x seeing rules R10 x D10 x D9 x D11 : V Believes ( J sees { OI , h( PI ) , σ ( SK U , h( OI ) , h( PI ) )} PK J ) B3 x D4 x V Believes ( J Believes J) J) x ( ) x B4 x seeing rules R9 x D11 x V Believes ( J Believes D12 : V Believes ( J...
View Full Document

This note was uploaded on 10/20/2009 for the course CS G22 taught by Professor Sam during the Fall '06 term at Academy of Art University.

Ask a homework question - tutors are online