Второй уровень схемы характеризует наиболее общее разделение систем, где двойка понятий отражает два определенных метода умозаключений, положенных в основу создаваемых систем ИИ. "Большинство занимающихся вопросами научной методологии сходятся на том, что основным таким методом является дедукция" (Харвей, 1968:48). Затруднение, связанное с дедуктивными системами, состоит в том, что сами по себе они могут доказывать лишь то, что мы уже знаем.