Արհեստական բանականության դիտարկելիություն, մատյաններ և վրիպազերծում - Արհեստական բանականության ծրագրային ապահովման ցուցակ