Учебное пособие содержит исчерпывающее, но в то же время лаконичное изложение основных способов представления знаний в компьютере и методов решения прикладных задач символического искусственного интеллекта. Рассмотрено представление знаний системами продукций и формулами логических исчислений. Изучены методы синтеза программ по непроцедурным спецификациям. Основу книги составляет материал лекционного курса, который автор читает в Санкт-Петербургском политехническом университете Петра Великого. Изложение сопровождается примерами, описанием алгоритмов и необходимыми сведениями из дискретной математики. Содержание учебного пособия соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Для студентов высших и средних учебных заведений, обучающихся по инженерно-техническим и естественнонаучным направлениям.
Uchebnoe posobie soderzhit ischerpyvajuschee, no v to zhe vremja lakonichnoe izlozhenie osnovnykh sposobov predstavlenija znanij v kompjutere i metodov reshenija prikladnykh zadach simvolicheskogo iskusstvennogo intellekta. Rassmotreno predstavlenie znanij sistemami produktsij i formulami logicheskikh ischislenij. Izucheny metody sinteza programm po neprotsedurnym spetsifikatsijam. Osnovu knigi sostavljaet material lektsionnogo kursa, kotoryj avtor chitaet v Sankt-Peterburgskom politekhnicheskom universitete Petra Velikogo. Izlozhenie soprovozhdaetsja primerami, opisaniem algoritmov i neobkhodimymi svedenijami iz diskretnoj matematiki. Soderzhanie uchebnogo posobija sootvetstvuet aktualnym trebovanijam Federalnogo gosudarstvennogo obrazovatelnogo standarta vysshego obrazovanija. Dlja studentov vysshikh i srednikh uchebnykh zavedenij, obuchajuschikhsja po inzhenerno-tekhnicheskim i estestvennonauchnym napravlenijam.
