Skip to content
GitLab
Commit 1a2243f2 authored by Hans Vrapi's avatar Hans Vrapi
Browse files

add files

parent 61090831
Expand all Hide whitespace changes
Inline Side-by-side
storm_evidence/bif_files/10/hepar2.bif
View file @ 1a2243f2
......@@ -1037,14 +1037,14 @@ probability ( carcinoma | Cirrhosis, PBC ) {
(absent, absent) 0.01, 0.99;
}
evidence first {
amylase=0;
hospital=0;
surgery=0;
gallstones=0;
choledocholithotomy=0;
hbeag=0;
hcv_anti=0;
hepatalgia=0;
inr=0;
itching=0;
injections=0;
sex=0;
diabetes=0;
}
hypothesis second {
spiders=0;
}
\ No newline at end of file
obesity=0;
}
storm_evidence/bif_files/5/alarm.bif
View file @ 1a2243f2
......@@ -429,9 +429,9 @@ probability ( BP | CO, TPR ) {
(HIGH, HIGH) 0.01, 0.09, 0.90;
}
evidence first {
HRSAT=0;
PCWP=0;
CO=0;
BP=0;
}
hypothesis second {
CVP=0;
HISTORY=0;
}
\ No newline at end of file
storm_evidence/bif_files/5/andes.bif
View file @ 1a2243f2
......@@ -2273,19 +2273,19 @@ probability ( SNode_155 | SNode_4, SNode_100, GOAL_153, SNode_154, VECTOR44 ) {
(true, true, true, true, true) 0.00009, 0.99991;
}
evidence first {
IDENTIFY10=0;
RApp4=0;
GIVEN_1=0;
SNode_46=0;
RApp6=0;
GOAL_84=0;
SYSTEM46=0;
SNode_40=0;
SNode_15=0;
IDENTIFY55=0;
SNode_128=0;
GOAL_126=0;
NEED36=0;
SNode_67=0;
FIND49=0;
GRAV2=0;
SNode_88=0;
GOAL_109=0;
GOAL_111=0;
SUM75=0;
GOAL_114=0;
GOAL_146=0;
INCLINE51=0;
SNode_119=0;
}
hypothesis second {
GOAL68=0;
SNode_19=0;
}
\ No newline at end of file
storm_evidence/bif_files/5/asia.bif
View file @ 1a2243f2
......@@ -59,8 +59,8 @@ probability ( dysp | bronc, either ) {
(no, no) 0.1, 0.9;
}
evidence first {
either=0;
smoke=0;
}
hypothesis second {
bronc=0;
dysp=0;
}
\ No newline at end of file
storm_evidence/bif_files/5/cancer.bif
View file @ 1a2243f2
......@@ -36,7 +36,7 @@ probability ( Dyspnoea | Cancer ) {
(False) 0.3, 0.7;
}
evidence first {
Cancer=0;
Smoker=0;
}
hypothesis second {
Dyspnoea=0;
......
storm_evidence/bif_files/5/child.bif
View file @ 1a2243f2
......@@ -215,7 +215,7 @@ probability ( Sick | Disease ) {
(Lung) 0.7, 0.3;
}
evidence first {
GruntingReport=0;
HypDistrib=0;
}
hypothesis second {
HypoxiaInO2=0;
......
storm_evidence/bif_files/5/earthquake.bif
View file @ 1a2243f2
......@@ -36,8 +36,8 @@ probability ( MaryCalls | Alarm ) {
(False) 0.01, 0.99;
}
evidence first {
Alarm=0;
Burglary=0;
}
hypothesis second {
MaryCalls=0;
JohnCalls=0;
}
\ No newline at end of file
storm_evidence/bif_files/5/hepar2.bif
View file @ 1a2243f2
......@@ -1037,10 +1037,10 @@ probability ( carcinoma | Cirrhosis, PBC ) {
(absent, absent) 0.01, 0.99;
}
evidence first {
upper_pain=0;
hcv_anti=0;
amylase=0;
le_cells=0;
skin=0;
hepatotoxic=0;
carcinoma=0;
}
hypothesis second {
edema=0;
......
storm_evidence/bif_files/5/insurance.bif
View file @ 1a2243f2
......@@ -547,9 +547,9 @@ probability ( DrivHist | DrivingSkill, RiskAversion ) {
(Expert, Cautious) 0.999998, 0.000001, 0.000001;
}
evidence first {
AntiTheft=0;
VehicleYear=0;
HomeBase=0;
Accident=0;
}
hypothesis second {
MedCost=0;
ThisCarCost=0;
}
\ No newline at end of file
storm_evidence/bif_files/5/sachs.bif
View file @ 1a2243f2
......@@ -145,8 +145,8 @@ probability ( Raf | PKA, PKC ) {
(HIGH, HIGH) 0.841807910, 0.155367232, 0.002824859;
}
evidence first {
P38=0;
PKA=0;
}
hypothesis second {
Raf=0;
Akt=0;
}
\ No newline at end of file
storm_evidence/jani_files/10/hepar2.jani
View file @ 1a2243f2
This diff is collapsed.
storm_evidence/jani_files/5/alarm.jani
View file @ 1a2243f2
This diff is collapsed.
storm_evidence/jani_files/5/andes.jani
View file @ 1a2243f2
This diff is collapsed.
storm_evidence/jani_files/5/asia.jani
View file @ 1a2243f2
......@@ -135,6 +135,28 @@
"name": "either_1",
"transient": true,
"type": "bool"
},
{
"name": "dysp",
"type": {
"base": "int",
"kind": "bounded",
"lower-bound": -1,
"upper-bound": 1
},
"initial-value": -1
},
{
"initial-value": false,
"name": "dysp_0",
"transient": true,
"type": "bool"
},
{
"initial-value": false,
"name": "dysp_1",
"transient": true,
"type": "bool"
}
],
"properties": [
......@@ -271,6 +293,27 @@
}
}
]
},
{
"name": "loc7",
"transient-values": [
{
"ref": "dysp_0",
"value": {
"op": "=",
"left": "dysp",
"right": 0
}
},
{
"ref": "dysp_1",
"value": {
"op": "=",
"left": "dysp",
"right": 1
}
}
]
}
],
"initial-locations": ["loc0"],
......@@ -394,12 +437,16 @@
]
},
{
"location": "loc3",
"location": "loc0",
"probability": {"exp": 0.5},
"assignments": [
{
"ref": "smoke",
"value": 1
"value": -1
},
{
"ref": "tub",
"value": -1
}
]
}
......@@ -506,12 +553,12 @@
]
},
{
"location": "loc0",
"location": "loc5",
"probability": {"exp": 0},
"assignments": [
{
"ref": "either",
"value": -1
"value": 1
},
{
"ref": "lung",
......@@ -520,10 +567,6 @@
{
"ref": "tub",
"value": -1
},
{
"ref": "smoke",
"value": -1
}
]
}
......@@ -566,12 +609,12 @@
]
},
{
"location": "loc0",
"location": "loc5",
"probability": {"exp": 0},
"assignments": [
{
"ref": "either",
"value": -1
"value": 1
},
{
"ref": "lung",
......@@ -580,10 +623,6 @@
{
"ref": "tub",
"value": -1
},
{
"ref": "smoke",
"value": -1
}
]
}
......@@ -626,12 +665,12 @@
]
},
{
"location": "loc0",
"location": "loc5",
"probability": {"exp": 0},
"assignments": [
{
"ref": "either",
"value": -1
"value": 1
},
{
"ref": "lung",
......@@ -640,10 +679,6 @@
{
"ref": "tub",
"value": -1
},
{
"ref": "smoke",
"value": -1
}
]
}
......@@ -686,12 +721,12 @@
]
},
{
"location": "loc0",
"location": "loc5",
"probability": {"exp": 1},
"assignments": [
{
"ref": "either",
"value": -1
"value": 1
},
{
"ref": "lung",
......@@ -700,10 +735,6 @@
{
"ref": "tub",
"value": -1
},
{
"ref": "smoke",
"value": -1
}
]
}
......@@ -727,10 +758,6 @@
"ref": "bronc",
"value": 0
},
{
"ref": "either",
"value": -1
},
{
"ref": "smoke",
"value": -1
......@@ -745,10 +772,6 @@
"ref": "bronc",
"value": 1
},
{
"ref": "either",
"value": -1
},
{
"ref": "smoke",
"value": -1
......@@ -776,29 +799,245 @@
"value": 0
},
{
"ref": "either",
"ref": "smoke",
"value": -1
}
]
},
{
"location": "loc6",
"probability": {"exp": 0.7},
"assignments": [
{
"ref": "bronc",
"value": 1
},
{
"ref": "smoke",
"value": -1
}
]
}
]
},
{
"location": "loc6",
"guard": {
"exp": {
"op": "∧",
"left": {
"op": "=",
"left": "either",
"right": 0
},
"right": {
"op": "=",
"left": "bronc",
"right": 0
}
}
},
"destinations": [
{
"location": "loc6",
"location": "loc7",
"probability": {"exp": 0.9},
"assignments": [
{
"ref": "dysp",
"value": 0
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
},
{
"location": "loc7",
"probability": {"exp": 0.1},
"assignments": [
{
"ref": "dysp",
"value": 1
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
}
]
},
{
"location": "loc6",
"guard": {
"exp": {
"op": "∧",
"left": {
"op": "=",
"left": "either",
"right": 0
},
"right": {
"op": "=",
"left": "bronc",
"right": 1
}
}
},
"destinations": [
{
"location": "loc7",
"probability": {"exp": 0.7},
"assignments": [
{
"ref": "dysp",
"value": 0
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
},
{
"location": "loc7",
"probability": {"exp": 0.3},
"assignments": [
{
"ref": "dysp",
"value": 1
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
}
]
},
{
"location": "loc6",
"guard": {
"exp": {
"op": "∧",
"left": {
"op": "=",
"left": "either",
"right": 1
},
"right": {
"op": "=",
"left": "bronc",
"right": 0
}
}
},
"destinations": [
{
"location": "loc7",
"probability": {"exp": 0.8},
"assignments": [
{
"ref": "dysp",
"value": 0
},
{
"ref": "smoke",
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
},
{
"location": "loc7",
"probability": {"exp": 0.2},
"assignments": [
{
"ref": "dysp",
"value": 1
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
}
]
},
{
"location": "loc6",
"guard": {
"exp": {
"op": "∧",
"left": {
"op": "=",
"left": "either",
"right": 1
},
"right": {
"op": "=",
"left": "bronc",
"right": 1
}
}
},
"destinations": [
{
"location": "loc7",
"probability": {"exp": 0.1},
"assignments": [
{
"ref": "dysp",
"value": 0
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
},
{
"location": "loc7",
"probability": {"exp": 0.9},
"assignments": [
{
"ref": "dysp",
"value": 1
},
{
"ref": "bronc",
"value": -1
},
{
"ref": "either",
"value": -1
}
]
......
storm_evidence/jani_files/5/cancer.jani
View file @ 1a2243f2
......@@ -228,12 +228,16 @@
]
},
{
"location": "loc2",
"location": "loc0",
"probability": {"exp": 0.7},
"assignments": [
{
"ref": "Smoker",
"value": 1
"value": -1
},
{
"ref": "Pollution",
"value": -1
}
]
}
......@@ -276,12 +280,12 @@
]
},
{
"location": "loc0",
"location": "loc3",
"probability": {"exp": 0.97},
"assignments": [
{
"ref": "Cancer",
"value": -1
"value": 1
},
{
"ref": "Pollution",
......@@ -332,12 +336,12 @@
]
},
{
"location": "loc