| Title: | Средства поддержки изучения современной декларативной парадигмы программирования |
| Other Titles: | Means of supporting the study of the modern declarative programming paradigm |
| Authors: | Родионов, С. В. |
| Keywords: | материалы конференций;декларативные парадигмы;ASP;программирование наборов ответов |
| Issue Date: | 2023 |
| Publisher: | Издательство СПбГЭТУ «ЛЭТИ» |
| Citation: | Родионов, С. В. Средства поддержки изучения современной декларативной парадигмы программирования = Means of supporting the study of the modern declarative programming paradigm / С. В. Родионов // Современное образование: содержание, технологии, качество : материалы XXIX международной научно-методической конференции, Санкт-Петербург, 19 апреля 2023 г. / Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина). – Санкт-Петербург, 2023. – С. 336–337. |
| Abstract: | Рассматриваются средства поддержки индивидуальных образовательных траекторий
обучения в высшей школе на примере изучения перспективной парадигмы декларативного программирования наборов ответов (ASP), ориентированной на решение NP-сложных задач поиска. Приводятся механизмы вывода и доказательства, используемые в ASP. Описывается программа-обозреватель библиотеки примеров задач на языке ASP. Перечисляются области возможного применения ASP: онтологические модели знаний, семантический Web, интеллектуальные агенты. |
| Alternative abstract: | The means of supporting individual educational trajectories of higher education are considered by
the example of studying a promising paradigm of declarative programming of answer sets (ASP), focused on
solving NP-complex search problems. The inference mechanisms and proofs used in ASP are given. A browser
program for the library of sample tasks in the ASP language is described. The areas of possible application of
ASP are listed: ontological knowledge models, semantic Web, intelligent agents. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/53565 |
| Appears in Collections: | Современное образование: содержание, технологии, качество (2023)
|
