Standard

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. ed. / Igor Kotenko; Vasily Desnitsky; Costin Badica; Didier El Baz; Mirjana Ivanovic. Springer Nature, 2020. p. 177-182 (Studies in Computational Intelligence; Vol. 868).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Kosovskaya, TM 2020, Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. in I Kotenko, V Desnitsky, C Badica, D El Baz & M Ivanovic (eds), Intelligent Distributed Computing XIII, IDC 2019. Studies in Computational Intelligence, vol. 868, Springer Nature, pp. 177-182, 13th International Symposium on Intelligent Distributed Computing, IDC 2019, St. Petersburg, Russian Federation, 7/10/19. https://doi.org/10.1007/978-3-030-32258-8_20

APA

Kosovskaya, T. M. (2020). Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems. In I. Kotenko, V. Desnitsky, C. Badica, D. El Baz, & M. Ivanovic (Eds.), Intelligent Distributed Computing XIII, IDC 2019 (pp. 177-182). (Studies in Computational Intelligence; Vol. 868). Springer Nature. https://doi.org/10.1007/978-3-030-32258-8_20

Vancouver

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

Author

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. editor / Igor Kotenko ; Vasily Desnitsky ; Costin Badica ; Didier El Baz ; Mirjana Ivanovic. Springer Nature, 2020. pp. 177-182 (Studies in Computational Intelligence).

BibTeX

@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 Nature",
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",
note = "13th International Symposium on Intelligent Distributed Computing, IDC 2019 ; Conference date: 07-10-2019 Through 09-10-2019",

}

RIS

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 Nature

T2 - 13th International Symposium on Intelligent Distributed Computing, IDC 2019

Y2 - 7 October 2019 through 9 October 2019

ER -

ID: 49660060