Table | Card | RUSMARC | |
Allowed Actions: Read Download (1.9 Mb) Group: Anonymous Network: Internet |
Annotation
Излагаются основы теории искусственного интеллекта и методы решения слабо формализованных задач. Основное внимание уделяется методам представления знаний в компьютерах. Рассматривается представление знаний системами продукций и представления знаний формулами исчисления предикатов. Приводятся алгоритмы поиска решения в системах продукций и автоматического доказательства теорем.
Usage statistics
Access count: 2091
Last 30 days: 22 Detailed usage statistics |