-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathidt1_2.metta
16 lines (11 loc) · 1 KB
/
idt1_2.metta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
; (convert-to-metta-file idt1_2 $_505172 idt/idt1_2.pl idt/idt1_2.metta)
(= (classes (accept reject)) True)
(= (attributes (account cash employed credits)) True)
(= (example 1 accept ((= account bank) (= cash 700) (= employed yes) (= credits 200))) True)
(= (example 2 reject ((= account bank) (= cash 300) (= employed yes) (= credits 600))) True)
(= (example 3 reject ((= account none) (= cash 0) (= employed yes) (= credits 400))) True)
(= (example 4 accept ((= account others) (= cash 1200) (= employed yes) (= credits 600))) True)
(= (example 5 reject ((= account others) (= cash 800) (= employed yes) (= credits 600))) True)
(= (example 6 accept ((= account others) (= cash 1600) (= employed yes) (= credits 200))) True)
(= (example 7 accept ((= account bank) (= cash 3000) (= employed no) (= credits 300))) True)
(= (example 8 reject ((= account none) (= cash 0) (= employed no) (= credits 200))) True)