Gk: tavamõtlemise mehhaniseerimise proge koos näidetega

Allikas: Lambda
Redaktsioon seisuga 3. detsember 2021, kell 11:18 kasutajalt Tammet (arutelu | kaastöö)
Mine navigeerimisribale Mine otsikasti

Arendusversioon tavamõtlemise järeldamismootorist gk koos väikeste näidetega. Gk töötab ainult linuxis.

gk23nov.gz tee gunzip ja chmod +x gk23nov

Co-occurrence maatriksitega katsetamiseks

Järeldusmootoriga katsetamiseks eelmainitud faile peale gk23nov executable vaja ei ole. Kopeeri endale järgmisi faile ja katseta nendega nii (failinimi asemel pane tegelik failinimi.): ./gk23nov failinimi

Süntaksist arusaamiseks uuri ja loe siit näiteid ja ehk siit lisaks baasmehhanismidest arusaamiseks (logictools.org näidetes ja mehhanismides ei ole tõenäosusi, erandeid, sarnasusi jne, mis on olemas gk23nov mehhanismides).

Lihtne info kumuleerimine:

[
{
 "@name":"a1", 
 "@confidence": 0.5,
 "@role":"axiom",
 "@logic":["bird","a"]
},
{
 "@name":"a2", 
 "@confidence": 0.6,
 "@role":"axiom",
 "@logic":["bird","a"]
},
{
 "@name":"q", 
 "@role": "question",    
 "@logic": ["bird","a"]
}
]