Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Unabhänigkeitswahrscheinlichkeit (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)

Kategorie
is instance of
  inheritable relation  
is instance of
  Wahrscheinlichkeitsrelation  
is instance of
Kategorie
is instance of
  inheritable relation  
is instance of
  zweistellige Prädikat  
is instance of
symmetrische Relation
is instance of
is instance of
  Unabhänigkeitswahrscheinlichkeit  

Coordinate term(s)

Wahrscheinlichkeit  arctusGewicht  schreibt  vorOderGleichzeitig  verursacht  causes subclass  bürger  aufgeschlossen  Abhänigkeitswahrscheinlichkeit  angeschlossen  angeschlosseneTechnikKomponenten  enthältInformationen  zusammenGeschiecht  kopie  datum  verringertWahrscheinlichkeit  entwicklungsForm  disjunkt  istDistributiv  dokumentation  &%dauer von %1 ist %2 %n{nicht}  früh  herausgeber  element  beschäftigt  %1 ist gleich %2 %n{nicht}  äquivalenzrelationMit  nutztAus  inSpracheAusgedrückt  stelltGegenüber  verwandt  beendet  frequenz  graphenTeil  grösserAls  grösserAlsOderGleich  hatZweck  hatFähigkeit  hältWährend  hatVerpflichtung  hatRecht  loch  identitätsElement  inListe  imBereichInteresses  vergrössertWahrscheinlichkeit  wohnt  hemmt  ausgangsList  fall  umkehrFunktion  irreflexivAur  grösser  kleinerAls  kleinerAlsOderGleich  material  mass  schliesstRäumlichAn  schliesstZeitlichAn  modalesAttribute  decktSichTeilweise  decktSichRäumlich  decktSichZeitlich  elternteil  teilweiseEinrichtung  befindetSichTeils  pfadLänge  besitzt  vorbedingung  verhindert  eigenschaft  veröffentlicht  &%bildbereich von %1 ist ein fall von %2 {nicht}  bildbereichTeilkategorie  beziehtSichAuf  reflexivAuf  verwandtesInnenkonzept  geschwister  kleiner  beginnt  teilAttribut  teilsammlung  teilGraph  teilliste  subProzess  %1 ist eine &%teilangelegenheit von %2 %n{nicht}  teilkategorie  teilrelation  fasstInhaltsKategorieZusammen  fasstInhaltsFallZusammen  nachfolgerAttribut  nachfolgerAttributSchliessung  zeitlichesTeil  zeit  gesamteinrichtung  trichotomizierungAuf  verwendet  valenz  version 

Type restrictions

independentProbability(Formel, Formel)

Axioms (3)

vergrössertWahrscheinlichkeit und verringertWahrscheinlichkeit werden disjunkt. 
(disjointRelation increasesLikelihood decreasesLikelihood independentProbability)
Wenn Die wahrscheinlichkeit von formula1 und formula2 ist unabhänig und "die wahrscheinlichkeit von formula2" ist gleich number1 und Gesetzt den Fall, dass formula2 gilt, ist die wahrscheinlichkeit von formula1 number2, dann number2 ist gleich number1 . 
(=>
      (and
            (independentProbability ?FORMULA1 ?FORMULA2)
            (equal
                  (ProbabilityFn ?FORMULA2)
                  ?NUMBER1)
            (conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
      (equal ?NUMBER2 ?NUMBER1))
Wenn formula1 ist ein fall von Formel und formula2 ist ein fall von Formel , dann formula1 vergrössert die Wahrscheinlichkeit von formula2 oder formula1 verringert die Wahrscheinlichkeit von formula2 oder Die wahrscheinlichkeit von formula1 und formula2 ist unabhänig . 
(=>
      (and
            (instance ?FORMULA1 Formula)
            (instance ?FORMULA2 Formula))
      (or
            (increasesLikelihood ?FORMULA1 ?FORMULA2)
            (decreasesLikelihood ?FORMULA1 ?FORMULA2)
            (independentProbability ?FORMULA1 ?FORMULA2)))