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.

Original languageEnglish
Title of host publicationIntelligent Distributed Computing XIII, IDC 2019
EditorsIgor Kotenko, Vasily Desnitsky, Costin Badica, Didier El Baz, Mirjana Ivanovic
PublisherSpringer Nature
Pages177-182
Number of pages6
ISBN (Print)9783030322571
DOIs
StatePublished - 2020
Event13th International Symposium on Intelligent Distributed Computing, IDC 2019 - St. Petersburg, Russian Federation
Duration: 7 Oct 20199 Oct 2019

Publication series

NameStudies in Computational Intelligence
Volume868
ISSN (Print)1860-949X
ISSN (Electronic)1860-9503

Conference

Conference13th International Symposium on Intelligent Distributed Computing, IDC 2019
Country/TerritoryRussian Federation
CitySt. Petersburg
Period7/10/199/10/19

    Research areas

  • Computational complexity, Distributed construction and use of level description, Level description, Predicate formulas

    Scopus subject areas

  • Artificial Intelligence

ID: 49660060