Какое из перечисленных направлений является одним из наиболее сформировавшихся в области искусственного интеллекта, связанных с разработкой формальных языков и программных средств для отображения когнитивных структур?