Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

Выдержка

Method of a distributed construction and the use of a level description of goal conditions within the framework of a logic-predicate approach to AI problems is described in the paper. The previously proposed logical-predicate approach to solving AI problems is briefly described. Many of these problems are NP-complete or NP-hard. According to a set of goal conditions, the author has earlier proposed construction of their level (hierarchical) descriptions, the use of which significantly decreases the computational complexity of the problems. The construction of such descriptions is performed only once, and then the resulting descriptions are reused. Both the distributed construction of level descriptions of goal conditions and their distributed use make it possible to decrease the time complexity of solving AI problems.

Язык оригиналаанглийский
Название основной публикацииIntelligent Distributed Computing XIII, IDC 2019
РедакторыIgor Kotenko, Vasily Desnitsky, Costin Badica, Didier El Baz, Mirjana Ivanovic
ИздательSpringer
Страницы177-182
Число страниц6
ISBN (печатное издание)9783030322571
DOI
СостояниеОпубликовано - 2020
Событие13th International Symposium on Intelligent Distributed Computing, IDC 2019 - St. Petersburg, Российская Федерация
Продолжительность: 7 окт 20199 окт 2019

Серия публикаций

НазваниеStudies in Computational Intelligence
Том868
ISSN (печатное издание)1860-949X
ISSN (электронное издание)1860-9503

Конференция

Конференция13th International Symposium on Intelligent Distributed Computing, IDC 2019
СтранаРоссийская Федерация
ГородSt. Petersburg
Период7/10/199/10/19

Отпечаток

Computational complexity

Предметные области Scopus

  • Искусственный интеллект

Цитировать

Kosovskaya, T. M. (2020). Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. В I. Kotenko, V. Desnitsky, C. Badica, D. El Baz, & M. Ivanovic (Ред.), Intelligent Distributed Computing XIII, IDC 2019 (стр. 177-182). (Studies in Computational Intelligence; Том 868). Springer. https://doi.org/10.1007/978-3-030-32258-8_20
Kosovskaya, Tatiana M. / Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. Intelligent Distributed Computing XIII, IDC 2019. редактор / Igor Kotenko ; Vasily Desnitsky ; Costin Badica ; Didier El Baz ; Mirjana Ivanovic. Springer, 2020. стр. 177-182 (Studies in Computational Intelligence).
@inproceedings{244beef0a1c54a5697b3b940b3ea3e9f,
title = "Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems",
abstract = "Method of a distributed construction and the use of a level description of goal conditions within the framework of a logic-predicate approach to AI problems is described in the paper. The previously proposed logical-predicate approach to solving AI problems is briefly described. Many of these problems are NP-complete or NP-hard. According to a set of goal conditions, the author has earlier proposed construction of their level (hierarchical) descriptions, the use of which significantly decreases the computational complexity of the problems. The construction of such descriptions is performed only once, and then the resulting descriptions are reused. Both the distributed construction of level descriptions of goal conditions and their distributed use make it possible to decrease the time complexity of solving AI problems.",
keywords = "Computational complexity, Distributed construction and use of level description, Level description, Predicate formulas",
author = "Kosovskaya, {Tatiana M.}",
year = "2020",
doi = "10.1007/978-3-030-32258-8_20",
language = "English",
isbn = "9783030322571",
series = "Studies in Computational Intelligence",
publisher = "Springer",
pages = "177--182",
editor = "Igor Kotenko and Vasily Desnitsky and Costin Badica and {El Baz}, Didier and Mirjana Ivanovic",
booktitle = "Intelligent Distributed Computing XIII, IDC 2019",
address = "Germany",

}

Kosovskaya, TM 2020, Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. в I Kotenko, V Desnitsky, C Badica, D El Baz & M Ivanovic (ред.), Intelligent Distributed Computing XIII, IDC 2019. Studies in Computational Intelligence, том. 868, Springer, стр. 177-182, St. Petersburg, Российская Федерация, 7/10/19. https://doi.org/10.1007/978-3-030-32258-8_20

Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. / Kosovskaya, Tatiana M.

Intelligent Distributed Computing XIII, IDC 2019. ред. / Igor Kotenko; Vasily Desnitsky; Costin Badica; Didier El Baz; Mirjana Ivanovic. Springer, 2020. стр. 177-182 (Studies in Computational Intelligence; Том 868).

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

TY - GEN

T1 - Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems

AU - Kosovskaya, Tatiana M.

PY - 2020

Y1 - 2020

N2 - Method of a distributed construction and the use of a level description of goal conditions within the framework of a logic-predicate approach to AI problems is described in the paper. The previously proposed logical-predicate approach to solving AI problems is briefly described. Many of these problems are NP-complete or NP-hard. According to a set of goal conditions, the author has earlier proposed construction of their level (hierarchical) descriptions, the use of which significantly decreases the computational complexity of the problems. The construction of such descriptions is performed only once, and then the resulting descriptions are reused. Both the distributed construction of level descriptions of goal conditions and their distributed use make it possible to decrease the time complexity of solving AI problems.

AB - Method of a distributed construction and the use of a level description of goal conditions within the framework of a logic-predicate approach to AI problems is described in the paper. The previously proposed logical-predicate approach to solving AI problems is briefly described. Many of these problems are NP-complete or NP-hard. According to a set of goal conditions, the author has earlier proposed construction of their level (hierarchical) descriptions, the use of which significantly decreases the computational complexity of the problems. The construction of such descriptions is performed only once, and then the resulting descriptions are reused. Both the distributed construction of level descriptions of goal conditions and their distributed use make it possible to decrease the time complexity of solving AI problems.

KW - Computational complexity

KW - Distributed construction and use of level description

KW - Level description

KW - Predicate formulas

UR - http://www.scopus.com/inward/record.url?scp=85075556782&partnerID=8YFLogxK

UR - http://www.mendeley.com/research/distributed-construction-level-class-description-framework-logicpredicate-approach-ai-problems

U2 - 10.1007/978-3-030-32258-8_20

DO - 10.1007/978-3-030-32258-8_20

M3 - Conference contribution

AN - SCOPUS:85075556782

SN - 9783030322571

T3 - Studies in Computational Intelligence

SP - 177

EP - 182

BT - Intelligent Distributed Computing XIII, IDC 2019

A2 - Kotenko, Igor

A2 - Desnitsky, Vasily

A2 - Badica, Costin

A2 - El Baz, Didier

A2 - Ivanovic, Mirjana

PB - Springer

ER -

Kosovskaya TM. Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. В Kotenko I, Desnitsky V, Badica C, El Baz D, Ivanovic M, редакторы, Intelligent Distributed Computing XIII, IDC 2019. Springer. 2020. стр. 177-182. (Studies in Computational Intelligence). https://doi.org/10.1007/978-3-030-32258-8_20