Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term: 

  ProbabilityRelation

 Sigma KEE - ProbabilityRelation
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
概率关系
这是一个 Relation 类别，它允许评估事件 或情况出现的机率。
Relationships      
Parents 可继承的关系 The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  关系 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Instances机率这是其中一个基本的 ProbabilityRelations，conditionalProbability 是用来描述一个条件机率的数值。 (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) 的意思是，如果 ?FORMULA1 属真，那么 ?FORMULA2 会是真，它出现的机率会是?NUMBER。
 降低可能性这是其中一个基本的 ProbabilityRelation， (decreasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 不太 可能会是真的。
 提高可能性这是其中一个基本的 ProbabilityRelation， (increasesLikelihood ?FORMULA1 ?FORMULA2)的意思是如果 ?FORMULA1 属真，那么 ?FORMULA2 更有 可能会是真的。
 独立发生机率这是其中一个基本的 ProbabilityRelation，(independentProbability ?FORMULA1 ?FORMULA2) 的意思是 ?FORMULA1 和 ?FORMULA2 属真机率是独立的。
 表示机率的函数这是其中一个基本的 ProbabilityRelation， ProbabilityFn 是用来描述事态的先验机率。(ProbabilityFn ?FORMULA)表示 ?FORMULA 的先验机率。


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners