Шукати за:
Роком видання
Автором
Назвою статті
Програма «УДАВ»: реалізація лінейної обчислювальної складності матричного методу пошуку маршруту логічного висновку на основі миварної сітки правил
Повний текст (PDF)
УДК: 004.82:007.52
Мова публікації: Російська
Stuc. intelekt. 2009; 14; (3): 443-448
Анотація: У статті наведені практичні результати програмного комплексу «Удав», який реалізує лінійної обчислю- вальної складності матричний метод пошуку маршруту логічного виводу на миварній сітці правил. Цей метод дозволяє реалізувати активний научуваний логічний вивід для будь-яких предметних областей, моделювання яких проводиться у миварному інформаційному просторі. Реалізація: в реальному часі і за будь-яких наборів вхідних даних вирішуються геометричні задачі рішень трикутників з 33 об’єктами і 161 правилом (33! варіанти), що раніше вважалося неможливим.
Ключові слова:
Посилання:
Переглянути повний текст статті (PDF)