2025-02-23T08:59:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-162380%22&qt=morelikethis&rows=5
2025-02-23T08:59:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-162380%22&qt=morelikethis&rows=5
2025-02-23T08:59:03-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T08:59:03-05:00 DEBUG: Deserialized SOLR response
7-значнi логіки та логіки загальних недетермінованих предикатів

7-значнi логіки та логіки загальних недетермінованих предикатів

Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-п...

Full description

Saved in:
Bibliographic Details
Main Authors: Нікітченко, М.С., Шкільняк, O.С., Шкільняк, С.С.
Format: Article
Language:Ukrainian
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2018
Series:Штучний інтелект
Subjects:
Теорія та засоби обчислювального інтелекту
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/162380
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Досліджено новий клас програмно-орієнтованих логічних формалізмів – логіки загальних недетермі-нованих предикатів, або GND-предикатів. Виділено різновиди GND-предикатів, описано їх композиційні алгебри. Показано зв'язок GND-предикатів із 7-значними тотальними детермінованими предикатами – TD7-предикатами. Виділено алгебру істиннісних значень TD7-предикатів, описано усі її підалгебри. Досліджено індукування алгебрами істиннісних значень відповідних алгебр GND-предикатів. Це засвідчує особливу роль логіки ТD7-предикатів серед 7-значних логік. Підтвердженням такої ролі є ґенерування логіки TD7-предикатів із сильної 3-значної логіки Кліні.

Similar Items