|
Искусственный интеллект и принятие решений, 2013, выпуск 4, страницы 34–44
(Mi iipr413)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Приобретение знаний и автоматизация рассуждений
Дедуктивные и пересматриваемые рассуждения на основе единого алгебраического подхода
Б. А. Куликa, А. А. Зуенкоb, А. Я. Фридманb a Институт проблем машиноведения РАН, г. Санкт-Петербург
b Институт информатики и математического моделирования технологических процессов, Кольский научный центр РАН, г. Апатиты Мурманской обл.
Аннотация:
В работе продемонстрировано применение единого классического подхода к моделированию и анализу как дедуктивных, так и пересматриваемых рассуждений на основе разработанной авторами алгебры кортежей. Предлагается метод анализа пересматриваемых рассуждений, в котором “неклассическая” составляющая переносится в семантику, а сам логический анализ осуществляется без нарушения законов классической логики.
Ключевые слова:
пересматриваемые рассуждения, алгебра кортежей, коллизии, анализ гипотез.
Образец цитирования:
Б. А. Кулик, А. А. Зуенко, А. Я. Фридман, “Дедуктивные и пересматриваемые рассуждения на основе единого алгебраического подхода”, Искусственный интеллект и принятие решений, 2013, № 4, 34–44; Scientific and Technical Information Processing, 42:6 (2015), 402–410
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iipr413 https://www.mathnet.ru/rus/iipr/y2013/i4/p34
|
Статистика просмотров: |
Страница аннотации: | 42 | PDF полного текста: | 12 | Список литературы: | 1 |
|