Девятков В.В.

В настоящее время оснащение транспортных средств различными средствами мультимодального взаимодействия стало уже реальностью. Бортовые компьютеры автомобилей, поездов, не говоря уже о самолетах, оснащаются клавиатурами, дисплеями, синтезаторами и анализаторами речи и другими средствами мультимодального взаимодействия с водителем [1]. Интеллектуальный мультимодальное взаимодействие водителя со средой становится неотъемлемой частью программного обеспечения транспортного средства, предлагая необходимый уровень сервиса и безопасности водителя и не отвлекая его при этом от основной задачи управления транспортным средством. В настоящей статье рассматривается комплексная модель интеллектуального мультимодального взаимодействия водителя со средой (транспортным средством и внешней по отношению к нему среды), направленная на повышение уровня безопасности движения.

Рассматриваются основные идеи и конструкции, положенные в основу создания языка логического программирования ПРОЛОГ

Рассматриваются общие принципы извлечения знаний

Рассмтриваются принципы стратегии рекурсивного вывода на языке логического программирования ПРОЛОГ.

Рассматриваются Хорновские формулы и их использование как теоретической основы логическог программирования

Рассматриваются принципы прямого и обратного выводов в исчислениях предикатов первого порядка

Рассмтатриваюця принципы логических рассуждений на основе использования формул исчисления высказываний в интервальном виде

Приводятся основные определения и понятия искусственного интеллекта, уотребляемые в дальнейшем

Рассматриваются принципы создания простейших программ на ПРОЛОГ'е

Рассматриваются принципы и типы вывода умозаключений в логике предикатов первого порядка. Приводятся простые примеры вывода.

Дается толкование понятия "экспертные системы". Очерчивается роль экспертных систем. Приводятся литературные источники на русском языке, содержащие описания общих и частных вопросов, касающихся экспертных систем.

Приводятся принципы составления неркурсивных и рекурсивных программ на языке логического программирования ПРОЛОГ.

Рассматриваются принципы вывода решения (достижения цели) в языке логического программирования на основе рекурсивного поиска. Рассмотрение ведется на примере с подробным пояснением используемых шагов.

Рассматривается модель представления знаний, называемая продукциями или продукционными системами.

Рассматриваются принципы вывода решения (достижения цели) в языке логического программирования на основе нерекурсивного поиска с возвратом. Рассмотрение ведется на примере с подробным пояснением используемых шагов.

Рассматриваются модели представления знаний, называемые семантическими сетями и фреймами.

Приводятся основные сведения о логике предикатов первого порядка

Приводятся основные понятия логики высказываний и исчисления высказываний, широко используемые в других разделах.