Gk: tavamõtlemise mehhaniseerimise proge koos näidetega: erinevus redaktsioonide vahel

Allikas: Lambda
Mine navigeerimisribale Mine otsikasti
Resümee puudub
Resümee puudub
12. rida: 12. rida:
Järeldusmootoriga katsetamiseks eelmainitud faile peale <tt>gk23nov</tt> executable vaja ei ole. Kopeeri endale järgmisi faile ja katseta nendega nii (<tt>failinimi</tt> asemel pane tegelik failinimi.<tt>): ./gk23nov failinimi</tt>
Järeldusmootoriga katsetamiseks eelmainitud faile peale <tt>gk23nov</tt> executable vaja ei ole. Kopeeri endale järgmisi faile ja katseta nendega nii (<tt>failinimi</tt> asemel pane tegelik failinimi.<tt>): ./gk23nov failinimi</tt>


Süntaksist arusaamiseks uuri ja loe [https://logictools.org/json.html siit näiteid].
Süntaksist arusaamiseks uuri ja loe [https://logictools.org/json.html siit näiteid] ja ehk [https://logictools.org/index.html 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:
Lihtne info kumuleerimine:

Redaktsioon: 3. detsember 2021, kell 11:18

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"]
}
]