Книги — knowledge base verification

Математические основы искусственного интеллекта: теория LP-структур для построения и исследования моделей знаний продукционного типа