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

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

Тип публикации: Материал конференции

Тип материала: Текст

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

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

Язык публикации: russian

Номера страниц: 75-82

Количество страниц: 8

Год публикации: 2007

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

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

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

Адрес издателя: Иркутск

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

Аннотация: 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: Нет

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

Индексируется УБС: Нет

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

Индексируется ВАК: Нет

Индексируется CORE: Нет