Dataset | Verified Inductive Rule | Inferred in more than one Experiment |
---|---|---|
Original Dataset | noPhysicalSign(P,bigLiver) :- onMed(P, (type Antiviral)). | * |
physicalSign(P,firmLiver) :- symptom(P, malaise). | * | |
5% Missing | physicalSign(P,ascites) :- physicalSign(P,spleenPalpable). | - |
physicalSign(P,firmLiver) :- onMed(P, (type Antiviral)). | - | |
physicalSign(P,firmLiver) :- symptom(P, malaise). | * | |
noPhysicalSign(P,spiders) :- noPhysicalSign(P,firmLiver), noPathology(P,histology). | - | |
10% Missing | noPhysicalSign(P,ascites) :- onMed(P, (type Antiviral)). | * |
physicalSign(P,ascites) :- onMed(P, (type Antiviral)), physicalSign(P,spleenPalpable). | * | |
noPhysicalSign(P,bigLiver) :- onMed(P, (type Antiviral)). | * | |
noPhysicalSign(P,firmLiver) :- onMed(P, (type Antiviral)), PhysicalSign(P,ascites). | - | |
noPhysicalSign(P,firmLiver) :- onMed(P, (type Antiviral)). | - | |
physicalSign(P,firmLiver) :- onMed(P, (type Antiviral)). | * | |
physicalSign(P,spiders) :- physicalSign(P,ascites). | * | |
physicalSign(P,spiders) :- physicalSign(P,bigLiver). | * | |
physicalSign(P,spiders) :- physicalSign(P,spleenPalpable). | * | |
15% Missing | noPhysicalSign(P,ascites) :- onMed(P, (type Antiviral)). | * |
physicalSign(P,ascites) :- physicalSign(P,firmLiver). | - | |
physicalSign(P,ascites) :- onMed(P, (type Steroid)). | * | |
physicalSign(P,ascites) :- physicalSign(P,varices). | - | |
noPhysicalSign(P,bigLiver) :- onMed(P, (type Antiviral)). | * | |
physicalSign(P,firmLiver) :- onMed(P, (type Antiviral)). | * | |
physicalSign(P,firmLiver) :- physicalSign(P,varices). | * | |
physicalSign(P,spiders) :- physicalSign(P,ascites). | * | |
physicalSign(P,spiders) :- physicalSign(P,bigLiver). | * | |
physicalSign(P,spiders) :- onMed(P, (type Antiviral)). | - | |
20%Missing | noPhysicalSign(P,ascites) :- onMed(P, (type Antiviral)). | * |
physicalSign(P,ascites) :- onMed(P, (type Antiviral)), physicalSign(P,spleenPalpable). | * | |
physicalSign(P,ascites) :- physicalSign(P,firmLiver), physicalSign(P,varices). | - | |
physicalSign(P,ascites) :- physicalSign(P,spiders) | - | |
physicalSign(P,ascites) :- onMed(P, (type Steroid)). | * | |
physicalSign(P,ascites) :- physicalSign(P,varices), physicalSign(P,spleenPalpable). | - | |
physicalSign(P,firmLiver) :- onMed(P, (type Antiviral)). | * | |
physicalSign(P,firmLiver) :- physicalSign(P,bigLiver), physicalSign(P,spleenPalpable). | - | |
physicalSign(P,firmLiver) :- physicalSign(P,spiders). | - | |
physicalSign(P,firmLiver) :- physicalSign(P,spleenPalpable). | - | |
physicalSign(P,firmLiver) :- physicalSign(P,varices). | * | |
physicalSign(P,spiders) :- physicalSign(P,bigLiver). | * | |
physicalSign(P,spiders) :- physicalSign(P,ascites),physicalSign(P,varices). | - | |
physicalSign(P,spiders) :- physicalSign(P,ascites). | * | |
physicalSign(P,spiders) :- physicalSign(P,spleenPalpable). | * |