Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
APPLICATION OF CONSTRAINT PROGRAMMING TECHNOLOGY FOR THE ANALYSIS AND PROCESSING OF INCOMPLETE AND DIFFICULTY FORMALIZABLE INFORMATION |
| Πηγή: |
История науки и техники. |
| Στοιχεία εκδότη: |
The Publishing House "NAUCHTEHLITIZDAT", 2019. |
| Έτος έκδοσης: |
2019 |
| Θεματικοί όροι: |
матрицеподобная структура, constraint programming, нечисловое ограничение, constraint satisfaction, удовлетворение ограничений, ontological engineering, intelligent planning, онтологический инжениринг, интеллектуальное планирование, matrix-like structure, non-numerical constraint, программирование в ограничениях |
| Περιγραφή: |
В статье представлен обзор результатов, полученных в Институте информатики и математического моделирования КНЦ РАН в области разработки, развития и использования методов и технологии программирования в ограничениях для решения задач, характеризующихся неполной и трудноформализуемой исходной информацией. Для представления и обработки качественных ограничений с неопределенностями предложено использовать специализированные матрицы, а рассуждения на данных структурах реализовывать в форме процедур удовлетворения ограничений. Кратко охарактеризован формальный аппарат и разработанные методы удовлетворения нечисловых ограничений, обеспечивающие совместную обработку количественных и качественных зависимостей предметной области. Рассмотрены примеры использования полученных теоретических результатов для различных прикладных задач: согласования программ профессионального образования и кадровых потребностей региональной социально-экономической системы; онтологический инжиниринг слабо формализованных предметных областей; интеллектуальное планирование действий в чрезвычайных ситуациях; качественное моделирование динамических систем. В работе приведены ссылки на публикации авторов, в которых представленные результаты описаны более полно с использованием необходимых формальных обозначений и выводов. The article presents an overview of the results obtained at the Institute of Informatics and Mathematical Modeling of the KSC RAS in the field of development and use of methods and technology of constraint programming for solving problems characterized by incompleteness and difficulty of formalization of the initial information. For the representation and processing of qualitative constraints with uncertainties, it is proposed to use specialized matrices. The inference on these structures is suggested to implement in the form of constraint satisfaction procedures. A formal apparatus and developed methods of non-numerical constraint satisfaction are briefl y characterized, providing coprocessing of quantitative and qualitative subject domain dependencies. The paper considers the examples of the use of the obtained theoretical results for various applied tasks: adjustment of vocational education programs to the personnel needs of the regional socio-economic system; ontological engineering of poorly formalized subject domains; intelligent planning actions in emergency situations; qualitative modeling of dynamic systems. The paper contains references to the publications of the authors, in which the presented results are described more fully using |
| Τύπος εγγράφου: |
Article |
| Γλώσσα: |
Russian |
| ISSN: |
1813-100X |
| DOI: |
10.25791/intstg.04.2019.557 |
| Αριθμός Καταχώρησης: |
edsair.doi...........1ab63a6663014abd7ea0c74a2426299f |
| Βάση Δεδομένων: |
OpenAIRE |