الذكاء الاصطناعي, علوم الحاسوب, منطق, هياكل البياناتالرسم البياني الدوراني الموجه الاقتراحي (Propositional Directed Acyclic Graph)