4 ms·We have expert systems, theorem provers and planners but OP probably didn't mean this.by oldsecondhand 2y agoWe have expert systems, theorem provers and planners but OP probably didn't mean this.