Теоретические основы искусственного интеллекта

Ключевыми понятиями информатики были и остаются понятия «модель», «алгоритм» и «программа». С появлением в 60-х годах XX в. нового научного направления, называемого искусственным интеллектом, в научный обиход вошли и новые ключевые понятия: «знание», «представление знаний», «планирование», «общение» и другие. Новые программные системы стали более коммуникабельными благодаря тому, что они приобретали интеллектуальные свойства. Такое стало возможным вследствие новых открытий, сделанных в таких науках, как теория информации, математическая логика (принцип резолюции Эрбрана, реализованный программно Робинсоном), лингвистика, психология и теория познания. Так что теоретическими основами зарождающегося нового научного направления искусственного интеллекта на ранней стадии стали именно эти разделы знаний.

Внутренние потребности искусственного интеллекта привели к возникновению внутри названных разделов знаний новых направлений исследований, связанных с вычислительной техникой: компьютерная лингвистика, компьютерная логика, компьютерная наука (в целом), когнитивная наука. Понятия и утверждения этих наук служат теоретической основой для исследований в области искусственного интеллекта. Компьютерная лингвистика дает средства для естественного языкового общения с ЭВМ и автоматического перевода текстов. Компьютерная логика дает средства для формализации знаний и описывает способы использования знаний по таким правилам, как вывод. Компьютерная наука (в целом) предоставляет инструментальные средства (программные и технические) для обработки знаний. Когнитивная наука рассматривается как основа при создании различных моделей представления и использования знаний, а также при выявлении интеллектуальных метапроцедур человека.