Това е само предварителен преглед!
Sematnic reasoner
Reasoner-ите като цяло имат връзка с формалната логика и различните субсетове на предикати, връзки и различните езици за представяне. Връзката с изкуствения интелект може да е точно там - типовете ...