jan 1, 1965 - Открытия Джона Алана Робинсона и Лютфи Заде
Description:
Джон Алан Робинсон сформулировал правило резолюций — правило вывода, восходящее к методу доказательства теорем через поиск противоречий. Его работы были решающими в развитии языка логического программирования Пролог. С помощью этого языка стало возможным описывать различные задачи на языке логики с последующим решением на ЭВМ путем перебора всех возможных вариантов. В это же время появилось понятие нечёткого множества, которое сформулировал Лютфи Заде в своей работе «Fuzzy sets». Заде расширил классическое понятие множества, допустив, что характеристическая функция множества может принимать любые значения в интервале от «0» до «1», а не только значения «0» или «1». Вместе с понятием нечёткого множества возникла нечёткая логика, которая применяется в нейронных сетях (нейро-нечёткие системы).
Added to timeline:
Искусственный интеллект
Date:
Images: