increases causes processing complexity increase instance expert system million rules envisioned ultimate expert system became obvious system would complex would face many computational problems inference engine would able process huge numbers rules reach decision verify decision rules consistent also challenge many rules usually problem leads satisfiability sat formulation well known np complete problem boolean
Formal science Computer science Artificial intelligence Expert systems