Artificial Expert Intelligence through PAC-reasoning