Год издания: 2020
Аннотация: Настоящее учебное пособие представляет собой вводную часть курса по искусственному интеллекту, основной целью которого является изучение модели представления знаний на основе классических логических исчислений – исчисления высказываний и исчисления предикатов. Пособие затрагивает не только теоретические основы рассматриваемой моделПоказать полностьюи представления знаний, но и ее реализацию на языке логического программирования Пролог. Таким образом, студенты не только овладевают теоретическими основами представления знаний в логической модели, но и получают практические навыки применения знаний при написании и отладке логических программ.
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования Новосибирский государственный технический университет