Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

獨立或然率 (independentProbability)

One of the basic ProbabilityRelations. (independentProbability formula1 formula2) means that the probabilities of formula1 and formula2 being true are independent.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  或然率關係  
is instance of
種類
is instance of
  可繼承關係  
is instance of
  二元述詞  
is instance of
對稱關係
is instance of
is instance of
  獨立或然率  

Coordinate term(s)

或然率函數  弧線重量  作者  先於或同時  肇因  次類肇因  公民  封閉於  條件或然率  相連的  已連結工程元件  包含訊息  共生  複製  日期  降低可能性  發展期形式  無交集  分配  文字說明  持續時間  較早  編者  元素  雇用  相等  等同關係於  利用  以...語言表達  面對  家族關係  完成  次數  圖部分  大於  大於或等於  有意圖  有技巧  在...期間為真  須使...為真  有權使...為真  洞  同一元素  串列中  在注意範圍中  增加可能性  居住  抑制  初始化序列  實例  倒序  非反射於...  大於  小於  小於或等於  物質  測量  空間上接觸  時段相接  情態屬性  部分重疊  空間重疊  時段重疊  雙親  偏序於...  部分位於  路徑長  擁有  先決條件  避免  特性  出版  範圍  範圍次種類  提及  反射於...  SUMO內部相關概念  兄弟姊妹  小於  開始  次屬性  次聚集  次圖  次序列  次歷程  次命題  次種類  次關係  包含訊息種類  包含訊息實例  續接屬性  封閉續接屬性  時間部分  時間  全序於...  三分法  使用  （結合）價  人造物版本 

Type restrictions

independentProbability(SUO-KIF表述式, SUO-KIF表述式)

Axioms (3)

無交集關係(增加可能性,降低可能性,獨立或然率) holds. 
(disjointRelation increasesLikelihood decreasesLikelihood independentProbability)
If formula1 和 formula2 的 或然率 是 獨立的 and "formula2 的 或然率" 等於 number1 and formula1 的 機率 是 formula2 在 formula2 為真的情況下 , then number2 等於 number1. 
(=>
      (and
            (independentProbability ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (equal ?NUMBER2 ?NUMBER1))
If formula1 是 SUO-KIF表述式 的 實例 and formula2 是 SUO-KIF表述式 的 實例, then formula1 (不）增�[s) %2 的 可能性 or formula1 (不）降低s) %2 的 可能性 or formula1 和 formula2 的 或然率 是 獨立的. 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))