Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции

Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается связь этих исчислений с неполной в общем случае входной резолюцией...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2003
Автори:	Асельдеров, З.М., Лялецкий, А.А.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2003
Теми:	Обчислювальні системи
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/726
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции / З.М. Асельдеров, А.А. Лялецкий // Математические машины и системы. – 2003. – № 2. – C. 29-34.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-726
record_format	dspace
spelling	irk-123456789-7262015-07-05T12:16:08Z Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции Асельдеров, З.М. Лялецкий, А.А. Обчислювальні системи Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается связь этих исчислений с неполной в общем случае входной резолюцией, заданной в виде так называемой SLD-резолюции для деревьев специального вида (SLD-деревьев). Эта связь дает простой способ построения полного в общем случае расширения SLD-резолюции за счет добавления к SLD-резолюции так называемого правила контрарного закрытия, которое может быть легко запрограммировано в интеллектуальных системах, использующих SLD-технику и требующих её полного расширения на случай формул произвольного вида. Библиогр.: 11 назв. Вирішується проблема побудови ефективних цілеорієнтованих секвенційних числень для класичної логіки першого порядку (без рівності). Наводяться результати їх коректності та повноти. Встановлюється зв’язок цих числень зі вхідною резолюцією (яка є неповною у загальному випадку), що задана у вигляді SLD-резолюції для дерев спеціального вигляду (SLD-дерев). Цей зв’язок надає простий спосіб побудови повного у загальному випадку розширення SLD-резолюції за рахунок додання до SLD-резолюції так званого правила контрарного закриття, яке може бути легко запрограмоване в інтелектуальні системи, що використовують SLD-техніку та потребують її повного розширення на випадок формул довільного вигляду. Бібліогр.: 11 назв. The problem of the construction of effective goal-oriented calculi for first-order classical logic (without equality) is solved. Some results on soundness and completeness of the calculi are given. Their connection with the input resolution that is incomplete in general and has the form of the SLD-resolution for special trees (the SLD-trees) is fixed. The connection gives a simple way for the construction of a complete extension of the SLD-resolution by means of adding a so-called contrary-closing rule, which easily can be implemented in intelligent systems using SLD-technique and requiring its complete extension for sets of arbitrary formulas. Refs.: 11 titles. 2003 Article Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции / З.М. Асельдеров, А.А. Лялецкий // Математические машины и системы. – 2003. – № 2. – C. 29-34. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/726 518.74 ru Інститут проблем математичних машин і систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Обчислювальні системи Обчислювальні системи
spellingShingle	Обчислювальні системи Обчислювальні системи Асельдеров, З.М. Лялецкий, А.А. Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
description	Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается связь этих исчислений с неполной в общем случае входной резолюцией, заданной в виде так называемой SLD-резолюции для деревьев специального вида (SLD-деревьев). Эта связь дает простой способ построения полного в общем случае расширения SLD-резолюции за счет добавления к SLD-резолюции так называемого правила контрарного закрытия, которое может быть легко запрограммировано в интеллектуальных системах, использующих SLD-технику и требующих её полного расширения на случай формул произвольного вида. Библиогр.: 11 назв.
format	Article
author	Асельдеров, З.М. Лялецкий, А.А.
author_facet	Асельдеров, З.М. Лялецкий, А.А.
author_sort	Асельдеров, З.М.
title	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
title_short	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
title_full	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
title_fullStr	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
title_full_unstemmed	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
title_sort	правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции
publisher	Інститут проблем математичних машин і систем НАН України
publishDate	2003
topic_facet	Обчислювальні системи
url	http://dspace.nbuv.gov.ua/handle/123456789/726
citation_txt	Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции / З.М. Асельдеров, А.А. Лялецкий // Математические машины и системы. – 2003. – № 2. – C. 29-34.
work_keys_str_mv	AT aselʹderovzm pravilokontrarnogozakrytiâipolnyerasšireniâlogičeskogoapparataintellektualʹnyhsistemspravilomvhodnojrezolûcii AT lâleckijaa pravilokontrarnogozakrytiâipolnyerasšireniâlogičeskogoapparataintellektualʹnyhsistemspravilomvhodnojrezolûcii
first_indexed	2023-10-18T16:22:19Z
last_indexed	2023-10-18T16:22:19Z
_version_	1796138820830232576

Правило контрарного закрытия и полные расширения логического аппарата интеллектуальных систем с правилом входной резолюции

Репозитарії

Схожі ресурси