Profilo di TianyiSuper Aquarius - E.E.FotoBlogElenchi Strumenti Guida
02 novembre

关于Safety、Liveness和Fairness的一点认识

          所谓的Safety属性,就是对于某些不好的事情,它们永远不会发生,可以用标准CTL的逻辑语言描述为AG ~(bad);所谓的Liveness属性,就是对于某些好的事情,它们总会发生,CTL的逻辑语言描述为AF  (good)。对于事物正确的客观认识过程就是基于正确区分事物的SafetyLiveness属性,并且利用这些属性去证明其正确与否。比如说,当我们睡觉的时候,我们在渴望Safety属性;当我们归纳的时候,我们就是利用了Liveness属性。

          同时,我们生活在一个实时、并发的环境中,我们的理想去实现一种公平、公开、公正的社会,也即Fairness属性。于是,我们就有这么一个定义:所有合理、公平、公开、公正的环境必须至少满足Safety属性。联系Safety的定义,我们可以理解为Safety属性的至上原则,无论在fair还是在unfair的环境中。换句话说,为了Safety,我们可以完全不用去考虑Fairness。但从另一个角度来说,Fairness又是Liveness的核心概念,没有Fairness就绝对没有Liveness。所以说,一个人的成长过程或者一件事的发生过程中,或多或少由于种种原因,违背了了这些原则。于是,我们又有了另一种理论,那就是观察人、事、物违背原则的方法论。毕竟在这个实时、并发的环境中,观察一个人的Liveness属性是很难的,正所谓的盖棺定论吧。

          从一个形式化的定义角度说,一个活着的人的一生可以简单看作为一个无穷状态序列的集合。根据Emerson的定义,Safety属性就是被观察的人、事、物中有限属性是封闭的。于是,Lamport就提出所谓的L-Safety属性或者其它L属性是一个时断时续性的属性。可以理解为,一个人需要这些属性的时候,就极力保证他们,对于别人的违反就变为敏感;当不需要的时候,就极力就规避或隐藏,对于别人的评价就变为敏感。

          于是,我们就有了观察事物的另一个方法轮,也就是Strong Safety,也就是说在旧状态信息缺失或对部分不明状态的情况下,在断续区内,Safety属性保持封闭状态。同样,有一个叫做Absolutely Liveness方法,也就是说在新状态信息添加或对部分不明状态的情况下,在断续区内,Liveness属性保持封闭状态,即意料中的。

          这样的话,评价一个事物的Stable属性,就是指即使在前途未卜的情况下,后续也能保持封闭态,也就是说发生在意料中。一个事物的Fairness属性与其前途是无关。

Commenti (7)

Attendere...
Il commento immesso è troppo lungo. Immetti un commento più breve.
Immissione non effettuata. Riprova.
Impossibile aggiungere il commento al momento. Riprova più tardi.
Per aggiungere un commento è necessaria l'autorizzazione di un genitore. Chiedi autorizzazione
I tuoi genitori hanno disattivato i commenti.
Impossibile eliminare il commento al momento. Riprova più tardi.
Hai raggiunto il numero massimo di commenti pubblicabili giornalmente. Riprova tra 24 ore.
Impossibile lasciare commenti. La funzionalità è stata disattivata perché i sistemi hanno rilevato una possibile attività di spamming dal tuo account. Se ritieni che il tuo account è stato disattivato per errore, contatta il supporto tecnico di Windows Live.
Esegui il seguente controllo di protezione per completare la pubblicazione del commento.
I caratteri digitati nel controllo di protezione devono corrispondere ai caratteri dell'immagine o della riproduzione audio.

Per aggiungere un commento, accedi con il tuo Windows Live ID (se utilizzi Hotmail, Messenger o Xbox LIVE possiedi già un Windows Live ID). Accedi


Non hai ancora un Windows Live ID? Registrati

Zenggangha scritto:
看了两句,头就大了。但射手男天性使然,俺还是要唱唱反调,大师勿怪:梁大师能否写得深入浅出,通俗易懂些,举个例子啥的?哲学啥的我是外行,但白居易写诗可是讲究太婆都能懂的;还有这个想法对现实有啥影响,能让粮食亩产增加多少,农民钱袋鼓起来多少。别骂我庸俗功利主义,貌似指导实践才是理论存在的最大意义吧。
6 giorni fa
Tianyi Liangha scritto:
To huilan: 欢迎来踩,呵呵。To Xue:Game Theory是博弈论,貌似和这个关系不是特别大,虽然总体来说,他们都属于PSPACE-complete问题:)
2 Nov.
XUE MEIha scritto:
你果然是学哲学的~这个貌似和game theory里一个叫做极小值原理的东东有关哦 你们可有讨论过那个?
2 Nov.
会兰ha scritto:
咳咳,天一哥哥,看到好多人都是“奉命踩踩”哦,遵命遵命,这次就真的踩踩了。
2 Nov.
Wenha scritto:
en, 很有道理~~~~~~~~~~不懂!
2 Nov.
Tianyi Liangha scritto:
To Shunzhen: 谢谢提醒。上面讨论的都是Universal的,但是上下文Context的不同,会导致条件的改变。所以你说的男女也是一种Context,或则说Side Condition。我目前的Seminar就是在讨论SC的问题,呵呵
2 Nov.
Shunzhenha scritto:
传说中的沙发?~~ 有没有尝试探讨,男性与女性对于SAFETY LIVENESS的认知不同?~ 还是这两个东西是UNIVERSAL的?
2 Nov.

Riferimenti

L'URL di riferimento per questo intervento è:
http://superee.spaces.live.com/blog/cns!79BAB3E604CBB60A!603.trak
Blog che fanno riferimento a questo intervento
  • Nessuno