Семантичні властивості логік загальних недетермінованих предикатів

Запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермінованих квазіарних предикатів (GND-предикатів). Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Показано зв'язок GND-предикатів із 7-значними тоталь...

Full description

Saved in:

Bibliographic Details
Published in:	Штучний інтелект
Date:	2017
Main Authors:	Нікітченко, М.С., Шкільняк, O.С., Шкільняк, С.С.
Format:	Article
Language:	Ukrainian
Published:	Інститут проблем штучного інтелекту МОН України та НАН України 2017
Subjects:	Теорія та засоби обчислювального інтелекту
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/162346
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Семантичні властивості логік загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2017. — № 3-4. — С. 116-126. — Бібліогр.: 12 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	nasplib_isofts_kiev_ua-123456789-162346
record_format	dspace
spelling	Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С. 2020-01-07T11:24:19Z 2020-01-07T11:24:19Z 2017 Семантичні властивості логік загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2017. — № 3-4. — С. 116-126. — Бібліогр.: 12 назв. — укр. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/162346 004.42:510.69 Запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермінованих квазіарних предикатів (GND-предикатів). Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами. Розглянуто композиції GND-предикатів, наведено їх характерні властивості. Описано мови чистих першопорядкових логік GND-предикатів та їх інтерпретації. Визначено відношення логічного G-наслідку, доведено його монотонність та властивості декомпозиції формул. A new class of program-oriented logical formalisms - the logics of general non-deterministic quasiary predicates (GND-predicates) – is proposed and investigated. Such predicates are a generalization of partial non-deterministic predicates of relational type. The relationship between GND-predicates and 7-valued total deterministic predicates is shown. Compositions of GND-predicates are considered; their characteristic properties are presented. The languages of pure first-order logics of GND-predicates and their interpretations are described. The G-consequence relation is defined, its monotonicity is investigated, and the properties of the formulas decompositions are proved. uk Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Теорія та засоби обчислювального інтелекту Семантичні властивості логік загальних недетермінованих предикатів Semantic properties of logics of general non-deterministic predicates Article published earlier
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
title	Семантичні властивості логік загальних недетермінованих предикатів
spellingShingle	Семантичні властивості логік загальних недетермінованих предикатів Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С. Теорія та засоби обчислювального інтелекту
title_short	Семантичні властивості логік загальних недетермінованих предикатів
title_full	Семантичні властивості логік загальних недетермінованих предикатів
title_fullStr	Семантичні властивості логік загальних недетермінованих предикатів
title_full_unstemmed	Семантичні властивості логік загальних недетермінованих предикатів
title_sort	семантичні властивості логік загальних недетермінованих предикатів
author	Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С.
author_facet	Нікітченко, М.С. Шкільняк, O.С. Шкільняк, С.С.
topic	Теорія та засоби обчислювального інтелекту
topic_facet	Теорія та засоби обчислювального інтелекту
publishDate	2017
language	Ukrainian
container_title	Штучний інтелект
publisher	Інститут проблем штучного інтелекту МОН України та НАН України
format	Article
title_alt	Semantic properties of logics of general non-deterministic predicates
description	Запропоновано та досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермінованих квазіарних предикатів (GND-предикатів). Такі предикати є узагальненням часткових неоднозначних предикатів реляційного типу. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами. Розглянуто композиції GND-предикатів, наведено їх характерні властивості. Описано мови чистих першопорядкових логік GND-предикатів та їх інтерпретації. Визначено відношення логічного G-наслідку, доведено його монотонність та властивості декомпозиції формул. A new class of program-oriented logical formalisms - the logics of general non-deterministic quasiary predicates (GND-predicates) – is proposed and investigated. Such predicates are a generalization of partial non-deterministic predicates of relational type. The relationship between GND-predicates and 7-valued total deterministic predicates is shown. Compositions of GND-predicates are considered; their characteristic properties are presented. The languages of pure first-order logics of GND-predicates and their interpretations are described. The G-consequence relation is defined, its monotonicity is investigated, and the properties of the formulas decompositions are proved.
issn	1561-5359
url	https://nasplib.isofts.kiev.ua/handle/123456789/162346
citation_txt	Семантичні властивості логік загальних недетермінованих предикатів / М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк // Штучний інтелект. — 2017. — № 3-4. — С. 116-126. — Бібліогр.: 12 назв. — укр.
work_keys_str_mv	AT níkítčenkoms semantičnívlastivostílogíkzagalʹnihnedetermínovanihpredikatív AT škílʹnâkos semantičnívlastivostílogíkzagalʹnihnedetermínovanihpredikatív AT škílʹnâkss semantičnívlastivostílogíkzagalʹnihnedetermínovanihpredikatív AT níkítčenkoms semanticpropertiesoflogicsofgeneralnondeterministicpredicates AT škílʹnâkos semanticpropertiesoflogicsofgeneralnondeterministicpredicates AT škílʹnâkss semanticpropertiesoflogicsofgeneralnondeterministicpredicates
first_indexed	2025-12-07T20:01:29Z
last_indexed	2025-12-07T20:01:29Z
_version_	1850881018187218944

Семантичні властивості логік загальних недетермінованих предикатів

Institution

Similar Items