1 gen 1965 anni - Открытия Джона Алана Робинсона и Лютфи Заде
Descrizione:
Джон Алан Робинсон сформулировал правило резолюций — правило вывода, восходящее к методу доказательства теорем через поиск противоречий. Его работы были решающими в развитии языка логического программирования Пролог. С помощью этого языка стало возможным описывать различные задачи на языке логики с последующим решением на ЭВМ путем перебора всех возможных вариантов. В это же время появилось понятие нечёткого множества, которое сформулировал Лютфи Заде в своей работе «Fuzzy sets». Заде расширил классическое понятие множества, допустив, что характеристическая функция множества может принимать любые значения в интервале от «0» до «1», а не только значения «0» или «1». Вместе с понятием нечёткого множества возникла нечёткая логика, которая применяется в нейронных сетях (нейро-нечёткие системы).
Aggiunto al nastro di tempo:
Искусственный интеллект
Data:
Immagini: