Страница публикации

Новый алгоритм поглощения для поиска логических выводов в исчислении позитивно-образованных формул

Авторы: Давыдов А.В.

Журнал: Тр. XII Байкальской Всерос. конф. "Информ. и матем. технологии в науке и управлении" (Иркутск-Байкал, 2-11 июля 2007 г.)

Том:

Номер:

Год: 2007

Отчётный год: 2007

Издательство: Ин-т систем энергетики им. Л.А. Мелентьева СО РАН

Местоположение издательства: Иркутск

URL:

Аннотация: Questions concerned of efficient implementation of mechanisms for finding logical proofs are considered in this paper. Namely, proof search algorithm in positive constructed calculus that is based on finding subsumption of two sets of atoms is examined and proposed a new algorithm (based on polynomial subsumption algorithm proposed by Ferilli and others) for improving proof search.

Индексируется WOS: 0

Индексируется Scopus: 0

Индексируется РИНЦ: 1

Публикация в печати: 0

Добавил в систему: