Simple Knowledge base Browser - ProbabilityRelation

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - ProbabilityRelation

KB Term:

ProbabilityRelation

The Class of Relations that permit assessment of the probability of an event or situation.

Relationships
Parents	InheritableRelation	The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
	Relation	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	conditionalProbability	One of the basic ProbabilityRelations. conditionalProbability is used to state the numeric value of a conditional probability. (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER) means that the probability of ?FORMULA2 being true given that ?FORMULA1 is true is ?NUMBER.
	decreasesLikelihood	One of the basic ProbabilityRelations. (decreasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is less likely to be true if ?FORMULA1 is true.
	increasesLikelihood	One of the basic ProbabilityRelations. (increasesLikelihood ?FORMULA1 ?FORMULA2) means that ?FORMULA2 is more likely to be true if ?FORMULA1 is true.
	independentProbability	One of the basic ProbabilityRelations. (independentProbability ?FORMULA1 ?FORMULA2) means that the probabilities of ?FORMULA1 and ?FORMULA2 being true are independent.
	ProbabilityFn	One of the basic ProbabilityRelations, ProbabilityFn is used to state the a priori probability of a state of affairs. (ProbabilityFn ?FORMULA) denotes the a priori probability of ?FORMULA.