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