Введение в искусственный интеллект и логическое программирование. Программирование в среде Visual Prolog - Т. В. Авдеенко
| Автор: | Т. В. Авдеенко |
| Издательство: | Новосибирский государственный технический университет |
| Серия: | |
| Жанр произведения: | |
| Год издания: | 2020 |
| isbn: | 978-5-7782-4182-4 |
Настоящее учебное пособие представляет собой вводную часть курса по искусственному интеллекту, основной целью которого является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. Пособие затрагивает не только теоретические основы рассматриваемой модели представления знаний, но и ее реализацию на языке логического программирования Пролог. Таким образом, студенты не только овладевают теоретическими основами представления знаний в логической модели, но и получают практические навыки применения знаний при написании и отладке логических программ.