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