. . "L\u2019answer set programming (ASP) est une forme de programmation d\u00E9clarative adapt\u00E9e aux probl\u00E8mes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de n\u00E9gation \u2014 la n\u00E9gation par manque d'information, dite n\u00E9gation par d\u00E9faut, et la n\u00E9gation forte ou n\u00E9gation logique. La n\u00E9gation par d\u00E9faut permet de raisonner en l'absence d'information et rend l'ASP non monotone. L'exemple suivant, illustre le fonctionnement de la n\u00E9gation par d\u00E9faut:"@fr . . . "\u56DE\u7B54\u96C6\u7F16\u7A0B"@zh . . "La programaci\u00F3n de conjuntos de respuestas (ASP) es una forma de programaci\u00F3n declarativa orientada a problemas de b\u00FAsqueda dif\u00EDciles (principalmente NP-hard ). Se basa en la sem\u00E1ntica del (conjunto de respuestas) de la programaci\u00F3n l\u00F3gica. En ASP, los problemas de b\u00FAsqueda se reducen a la computaci\u00F3n de modelos estables y los solucionadores de conjuntos de respuestas (programas para generar modelos estables) se utilizan para realizar b\u00FAsquedas. El proceso computacional empleado en el dise\u00F1o de muchos solucionadores de conjuntos de respuestas es una mejora del algoritmo DPLL y, en principio, siempre termina (a diferencia de la evaluaci\u00F3n de consultas Prolog, que puede conducir a un bucle infinito)."@es . . . . "1120931805"^^ . . . . "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u043D\u0430\u0431\u043E\u0440\u0430\u043C\u0438 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0435\u0439 (\u0430\u043D\u0433\u043B. Answer set programming, ASP) \u2014 \u0446\u0435 \u0444\u043E\u0440\u043C\u0430 \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, \u043E\u0440\u0456\u0454\u043D\u0442\u043E\u0432\u0430\u043D\u043E\u0433\u043E \u043D\u0430 \u0441\u043A\u043B\u0430\u0434\u043D\u0456 (\u043D\u0430\u0441\u0430\u043C\u043F\u0435\u0440\u0435\u0434, NP-\u0441\u043A\u043B\u0430\u0434\u043D\u0456) \u0437\u0430\u0434\u0430\u0447\u0456 \u043F\u043E\u0448\u0443\u043A\u0443. \u0412\u043E\u043D\u043E \u0437\u0430\u0441\u043D\u043E\u0432\u0430\u043D\u0435 \u043D\u0430 \u0441\u0442\u0456\u0439\u043A\u0456\u0439 \u043C\u043E\u0434\u0435\u043B\u0456 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0438 \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F. \u0412 ASP, \u0437\u0430\u0434\u0430\u0447\u0430 \u043F\u043E\u0448\u0443\u043A\u0443 \u0437\u0432\u043E\u0434\u0438\u0442\u044C\u0441\u044F \u0434\u043E \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043D\u044F \u0441\u0442\u0456\u0439\u043A\u043E\u0457 \u043C\u043E\u0434\u0435\u043B\u0456 \u0456 \u043D\u0430\u0431\u043E\u0440\u0456\u0432 \u0432\u0438\u0440\u0456\u0448\u0443\u0432\u0430\u0447\u0456\u0432 (\u0430\u043D\u0433\u043B. answer set solvers) \u2014 \u043F\u0440\u043E\u0433\u0440\u0430\u043C \u0434\u043B\u044F \u0433\u0435\u043D\u0435\u0440\u0443\u0432\u0430\u043D\u043D\u044F \u0441\u0442\u0456\u0439\u043A\u0438\u0445 \u043C\u043E\u0434\u0435\u043B\u0435\u0439, \u0449\u043E \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u044E\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u043F\u043E\u0448\u0443\u043A\u0443. \u041E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043B\u044C\u043D\u0438\u0439 \u043F\u0440\u043E\u0446\u0435\u0441, \u0432\u043A\u043B\u044E\u0447\u0435\u043D\u0438\u0439 \u0432 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0456\u044E \u043D\u0430\u0431\u043E\u0440\u0443 \u0432\u0438\u0440\u0456\u0448\u0443\u0432\u0430\u0447\u0456\u0432 \u2014 \u0454 \u043F\u043E\u0441\u0438\u043B\u0435\u043D\u043D\u044F\u043C DPLL \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u044F\u043A\u0438\u0439 \u0437\u0430\u0432\u0436\u0434\u0438 \u0454 \u0441\u043A\u0456\u043D\u0447\u0435\u043D\u043D\u0438\u043C (\u043D\u0430 \u0432\u0456\u0434\u043C\u0456\u043D\u0443 \u0432\u0456\u0434 \u043E\u0446\u0456\u043D\u043A\u0438 \u0437\u0430\u043F\u0438\u0442\u0443 \u0432 Prolog, \u0449\u043E \u043C\u043E\u0436\u0435 \u043F\u0440\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u0434\u043E \u043D\u0435\u0441\u043A\u0456\u043D\u0447\u0435\u043D\u043D\u043E\u0433\u043E \u0446\u0438\u043A\u043B\u0443). \u0412\u0437\u0430\u0433\u0430\u043B\u0456, ASP \u0432\u043A\u043B\u044E\u0447\u0430\u0454 \u0432\u0441\u0456 \u0434\u043E\u0434\u0430\u0442\u043A\u0438 \u0437 \u043D\u0430\u0431\u043E\u0440\u0456\u0432 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0435\u0439 \u0434\u043B\u044F \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u043D\u044F \u0437\u043D\u0430\u043D\u044C \u0442\u0430 \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u0430\u043D\u043D\u044F \u043E\u0446\u0456\u043D\u043A\u0438 \u0437\u0430\u043F\u0438\u0442\u0456\u0432, \u0442\u0438\u043F\u0443 Prolog \u0434\u043B\u044F \u0432\u0438\u0440\u0456\u0448\u0435\u043D\u043D\u044F \u0437\u0430\u0434\u0430\u0447, \u0449\u043E \u0432\u0438\u043D\u0438\u043A\u0430\u044E\u0442\u044C \u0443 \u0446\u0438\u0445 \u0434\u043E\u0434\u0430\u0442\u043A\u0430\u0445."@uk . "La programaci\u00F3n de conjuntos de respuestas (ASP) es una forma de programaci\u00F3n declarativa orientada a problemas de b\u00FAsqueda dif\u00EDciles (principalmente NP-hard ). Se basa en la sem\u00E1ntica del (conjunto de respuestas) de la programaci\u00F3n l\u00F3gica. En ASP, los problemas de b\u00FAsqueda se reducen a la computaci\u00F3n de modelos estables y los solucionadores de conjuntos de respuestas (programas para generar modelos estables) se utilizan para realizar b\u00FAsquedas. El proceso computacional empleado en el dise\u00F1o de muchos solucionadores de conjuntos de respuestas es una mejora del algoritmo DPLL y, en principio, siempre termina (a diferencia de la evaluaci\u00F3n de consultas Prolog, que puede conducir a un bucle infinito). En un sentido m\u00E1s general, ASP incluye todas las aplicaciones de conjuntos de respuestas a la representaci\u00F3n del conocimiento\u200B y el uso de la evaluaci\u00F3n de consultas de estilo Prolog para resolver los problemas que surgen en estas aplicaciones."@es . . "26136"^^ . . . . . . . . . "Programaci\u00F3n de conjuntos de respuestas"@es . . "Programa\u00E7\u00E3o de Conjunto de Resposta (ASP, da express\u00E3o em ingl\u00EAs Answer set programming) \u00E9 uma forma de programa\u00E7\u00E3o declarativa orientada a dif\u00EDceis (principalmente NP-dif\u00EDcil). \u00C9 baseado na sem\u00E2ntica de modelo est\u00E1vel (conjunto de resposta) da . Em ASP, problemas de busca s\u00E3o reduzidos a modelos est\u00E1ticos de computa\u00E7\u00E3o, e solucionadores de conjunto de respostas - programas que geram modelos est\u00E1veis - s\u00E3o usados para realizar a busca. O processo computacional empregado no design de muitos solucionadores de conjuntos de respostas \u00E9 uma melhora no algoritmo DPLL e, em princ\u00EDpio, sempre termina (diferentemente do processo de avalia\u00E7\u00E3o de consulta Prolog, que pode terminar em um la\u00E7o infinito)."@pt . . . . . "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u043D\u0430\u0431\u043E\u0440\u0430\u043C\u0438 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0435\u0439 (\u0430\u043D\u0433\u043B. Answer set programming, ASP) \u2014 \u0446\u0435 \u0444\u043E\u0440\u043C\u0430 \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F, \u043E\u0440\u0456\u0454\u043D\u0442\u043E\u0432\u0430\u043D\u043E\u0433\u043E \u043D\u0430 \u0441\u043A\u043B\u0430\u0434\u043D\u0456 (\u043D\u0430\u0441\u0430\u043C\u043F\u0435\u0440\u0435\u0434, NP-\u0441\u043A\u043B\u0430\u0434\u043D\u0456) \u0437\u0430\u0434\u0430\u0447\u0456 \u043F\u043E\u0448\u0443\u043A\u0443. \u0412\u043E\u043D\u043E \u0437\u0430\u0441\u043D\u043E\u0432\u0430\u043D\u0435 \u043D\u0430 \u0441\u0442\u0456\u0439\u043A\u0456\u0439 \u043C\u043E\u0434\u0435\u043B\u0456 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0438 \u043B\u043E\u0433\u0456\u0447\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F. \u0412 ASP, \u0437\u0430\u0434\u0430\u0447\u0430 \u043F\u043E\u0448\u0443\u043A\u0443 \u0437\u0432\u043E\u0434\u0438\u0442\u044C\u0441\u044F \u0434\u043E \u043E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043D\u043D\u044F \u0441\u0442\u0456\u0439\u043A\u043E\u0457 \u043C\u043E\u0434\u0435\u043B\u0456 \u0456 \u043D\u0430\u0431\u043E\u0440\u0456\u0432 \u0432\u0438\u0440\u0456\u0448\u0443\u0432\u0430\u0447\u0456\u0432 (\u0430\u043D\u0433\u043B. answer set solvers) \u2014 \u043F\u0440\u043E\u0433\u0440\u0430\u043C \u0434\u043B\u044F \u0433\u0435\u043D\u0435\u0440\u0443\u0432\u0430\u043D\u043D\u044F \u0441\u0442\u0456\u0439\u043A\u0438\u0445 \u043C\u043E\u0434\u0435\u043B\u0435\u0439, \u0449\u043E \u0432\u0438\u043A\u043E\u0440\u0438\u0441\u0442\u043E\u0432\u0443\u044E\u0442\u044C\u0441\u044F \u0434\u043B\u044F \u043F\u043E\u0448\u0443\u043A\u0443. \u041E\u0431\u0447\u0438\u0441\u043B\u044E\u0432\u0430\u043B\u044C\u043D\u0438\u0439 \u043F\u0440\u043E\u0446\u0435\u0441, \u0432\u043A\u043B\u044E\u0447\u0435\u043D\u0438\u0439 \u0432 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0456\u044E \u043D\u0430\u0431\u043E\u0440\u0443 \u0432\u0438\u0440\u0456\u0448\u0443\u0432\u0430\u0447\u0456\u0432 \u2014 \u0454 \u043F\u043E\u0441\u0438\u043B\u0435\u043D\u043D\u044F\u043C DPLL \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0443, \u044F\u043A\u0438\u0439 \u0437\u0430\u0432\u0436\u0434\u0438 \u0454 \u0441\u043A\u0456\u043D\u0447\u0435\u043D\u043D\u0438\u043C (\u043D\u0430 \u0432\u0456\u0434\u043C\u0456\u043D\u0443 \u0432\u0456\u0434 \u043E\u0446\u0456\u043D\u043A\u0438 \u0437\u0430\u043F\u0438\u0442\u0443 \u0432 Prolog, \u0449\u043E \u043C\u043E\u0436\u0435 \u043F\u0440\u0438\u0437\u0432\u0435\u0441\u0442\u0438 \u0434\u043E \u043D\u0435\u0441\u043A\u0456\u043D\u0447\u0435\u043D\u043D\u043E\u0433\u043E \u0446\u0438\u043A\u043B\u0443)."@uk . "L'answer set programming (ASP) \u00E8 una forma di programmazione logica di tipo dichiarativo utilizzato per problemi di ricerca complessi (in primis NP-difficili), basata sulla semantica del modello stabile (o answer set). In ASP i problemi di ricerca sono ridotti al calcolo di modelli stabili; per generare tali modelli vengono utilizzati programmi appositi noti come answer set solvers. Il linguaggio tipico di questo modello di programmazione \u00E8 l'Answer Set Programming in Logic, sottoinsieme del Prolog, ed \u00E8 impiegato in particolare per risolvere problemi di pianificazione (planning) e rappresentazione della conoscenza."@it . "\u56DE\u7B54\u96C6\u7F16\u7A0B\u662F\u8BED\u6CD5\u4E0A\u7C7B\u4F3C\u4F20\u7EDF\u903B\u8F91\u7F16\u7A0B\u800C\u8BED\u4E49\u4E0A\u5BC6\u5207\u4E8E\u975E\u5355\u8C03\u903B\u8F91\u7684\u4E00\u79CD\u58F0\u660E\u5F0F\u7F16\u7A0B\u3002\u5728\u4F20\u7EDF\u903B\u8F91\u7F16\u7A0B\u548C\u56DE\u7B54\u96C6\u7F16\u7A0B\u4E4B\u95F4\u7684\u4E3B\u8981\u533A\u522B\u662F\u5982\u4F55\u8868\u793A\u5426\u5B9A\u4E3A\u5931\u8D25\u3002\u5728\u4F20\u7EDF\u903B\u8F91\u7F16\u7A0B\u4E2D\uFF0C\u5426\u5B9A\u4E3A\u5931\u8D25\u6307\u793A\u63A8\u5BFC\u5931\u8D25\uFF1B\u5728\u56DE\u7B54\u96C6\u7F16\u7A0B\u4E2D\uFF0C\u5B83\u6307\u793A\u4E00\u4E2A\u6587\u5B57\u7684\u4E00\u81F4\u6027\u3002"@zh . . . . . . . . . "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u043D\u0430\u0431\u043E\u0440\u043E\u0432 \u043E\u0442\u0432\u0435\u0442\u043E\u0432 (\u0430\u043D\u0433\u043B. Answer set programming, ASP) \u2014 \u0444\u043E\u0440\u043C\u0430 \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u043E\u0440\u0438\u0435\u043D\u0442\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u0430\u044F \u043D\u0430 \u0441\u043B\u043E\u0436\u043D\u044B\u0435 (\u0432 \u043E\u0441\u043D\u043E\u0432\u043D\u043E\u043C NP-\u0442\u0440\u0443\u0434\u043D\u044B\u0435) \u0437\u0430\u0434\u0430\u0447\u0438 \u043F\u043E\u0438\u0441\u043A\u0430, \u043E\u0441\u043D\u043E\u0432\u044B\u0432\u0430\u044E\u0449\u0435\u0435\u0441\u044F \u043D\u0430 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430\u0445 \u0441\u0442\u0430\u0431\u0438\u043B\u044C\u043D\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0438 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F. \u0417\u0430\u0434\u0430\u0447\u0430 \u043F\u043E\u0438\u0441\u043A\u0430 \u2014 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0443\u0441\u0442\u043E\u0439\u0447\u0438\u0432\u043E\u0439 \u043C\u043E\u0434\u0435\u043B\u0438 \u0438 \u043D\u0430\u0431\u043E\u0440\u043E\u0432 \u0440\u0435\u0448\u0430\u0442\u0435\u043B\u0435\u0439 (\u0430\u043D\u0433\u043B. answer set solvers) \u2014 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u0434\u043B\u044F \u0433\u0435\u043D\u0435\u0440\u0430\u0446\u0438\u0438 \u0443\u0441\u0442\u043E\u0439\u0447\u0438\u0432\u044B\u0445 \u043C\u043E\u0434\u0435\u043B\u0435\u0439, \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0442\u0441\u044F \u0434\u043B\u044F \u043F\u043E\u0438\u0441\u043A\u0430. \u0412\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u0435\u043B\u044C\u043D\u044B\u0439 \u043F\u0440\u043E\u0446\u0435\u0441\u0441, \u0432\u043A\u043B\u044E\u0447\u0451\u043D\u043D\u044B\u0439 \u0432 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0438\u044E \u043D\u0430\u0431\u043E\u0440\u0430 \u0440\u0435\u0448\u0430\u0442\u0435\u043B\u0435\u0439, \u2014 \u044D\u0442\u043E \u043D\u0430\u0434\u0441\u0442\u0440\u043E\u0439\u043A\u0430 \u043D\u0430\u0434 DPLL-\u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u043C, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0432\u0441\u0435\u0433\u0434\u0430 \u043A\u043E\u043D\u0435\u0447\u0435\u043D (\u0432 \u043E\u0442\u043B\u0438\u0447\u0438\u0435 \u043E\u0442 \u043E\u0446\u0435\u043D\u043A\u0438 \u0437\u0430\u043F\u0440\u043E\u0441\u0430 \u0432 \u041F\u0440\u043E\u043B\u043E\u0433\u0435, \u043A\u043E\u0442\u043E\u0440\u0430\u044F \u043C\u043E\u0436\u0435\u0442 \u043F\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043A \u0431\u0435\u0441\u043A\u043E\u043D\u0435\u0447\u043D\u043E\u043C\u0443 \u0446\u0438\u043A\u043B\u0443). \u0412 \u0431\u043E\u043B\u0435\u0435 \u043E\u0431\u0449\u0435\u043C \u0441\u043C\u044B\u0441\u043B\u0435 \u0442\u0435\u0445\u043D\u0438\u043A\u0430 \u0432\u043A\u043B\u044E\u0447\u0430\u0435\u0442 \u0432\u0441\u0435 \u043F\u0440\u0438\u043B\u043E\u0436\u0435\u043D\u0438\u044F \u0438\u0437 \u043D\u0430\u0431\u043E\u0440\u043E\u0432 \u043E\u0442\u0432\u0435\u0442\u043E\u0432 \u0434\u043B\u044F \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u0437\u043D\u0430\u043D\u0438\u0439 \u0438 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442 \u043E\u0446\u0435\u043D\u043A\u0438 \u0437\u0430\u043F\u0440\u043E\u0441\u043E\u0432 \u0432 \u0441\u0442\u0438\u043B\u0435 Prolog \u0434\u043B\u044F \u0440\u0435\u0448\u0435\u043D\u0438\u044F \u043F\u0440\u043E\u0431\u043B\u0435\u043C, \u0432\u043E\u0437\u043D\u0438\u043A\u0430\u044E\u0449\u0438\u0445 \u0432 \u044D\u0442\u0438\u0445 \u043D\u0430\u0431\u043E\u0440\u0430\u0445."@ru . . . "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u043D\u0430\u0431\u043E\u0440\u043E\u0432 \u043E\u0442\u0432\u0435\u0442\u043E\u0432"@ru . "Programa\u00E7\u00E3o de Conjunto de Resposta (ASP, da express\u00E3o em ingl\u00EAs Answer set programming) \u00E9 uma forma de programa\u00E7\u00E3o declarativa orientada a dif\u00EDceis (principalmente NP-dif\u00EDcil). \u00C9 baseado na sem\u00E2ntica de modelo est\u00E1vel (conjunto de resposta) da . Em ASP, problemas de busca s\u00E3o reduzidos a modelos est\u00E1ticos de computa\u00E7\u00E3o, e solucionadores de conjunto de respostas - programas que geram modelos est\u00E1veis - s\u00E3o usados para realizar a busca. O processo computacional empregado no design de muitos solucionadores de conjuntos de respostas \u00E9 uma melhora no algoritmo DPLL e, em princ\u00EDpio, sempre termina (diferentemente do processo de avalia\u00E7\u00E3o de consulta Prolog, que pode terminar em um la\u00E7o infinito). Em um sentido mais geral, ASP inclui aplica\u00E7\u00F5es de conjunto de respostas para representa\u00E7\u00E3o de conhecimento e o uso da avalia\u00E7\u00E3o de consultas no estilo Prolog para resolver problemas decorrentes das aplica\u00E7\u00F5es."@pt . "Programa\u00E7\u00E3o de conjunto de resposta"@pt . . . . . . . . . . "L'answer set programming (ASP) \u00E8 una forma di programmazione logica di tipo dichiarativo utilizzato per problemi di ricerca complessi (in primis NP-difficili), basata sulla semantica del modello stabile (o answer set). In ASP i problemi di ricerca sono ridotti al calcolo di modelli stabili; per generare tali modelli vengono utilizzati programmi appositi noti come answer set solvers. Il linguaggio tipico di questo modello di programmazione \u00E8 l'Answer Set Programming in Logic, sottoinsieme del Prolog, ed \u00E8 impiegato in particolare per risolvere problemi di pianificazione (planning) e rappresentazione della conoscenza."@it . . "Answer set programming"@fr . . . . . "Answer set programming"@it . . . . . . "\u56DE\u7B54\u96C6\u7F16\u7A0B\u662F\u8BED\u6CD5\u4E0A\u7C7B\u4F3C\u4F20\u7EDF\u903B\u8F91\u7F16\u7A0B\u800C\u8BED\u4E49\u4E0A\u5BC6\u5207\u4E8E\u975E\u5355\u8C03\u903B\u8F91\u7684\u4E00\u79CD\u58F0\u660E\u5F0F\u7F16\u7A0B\u3002\u5728\u4F20\u7EDF\u903B\u8F91\u7F16\u7A0B\u548C\u56DE\u7B54\u96C6\u7F16\u7A0B\u4E4B\u95F4\u7684\u4E3B\u8981\u533A\u522B\u662F\u5982\u4F55\u8868\u793A\u5426\u5B9A\u4E3A\u5931\u8D25\u3002\u5728\u4F20\u7EDF\u903B\u8F91\u7F16\u7A0B\u4E2D\uFF0C\u5426\u5B9A\u4E3A\u5931\u8D25\u6307\u793A\u63A8\u5BFC\u5931\u8D25\uFF1B\u5728\u56DE\u7B54\u96C6\u7F16\u7A0B\u4E2D\uFF0C\u5B83\u6307\u793A\u4E00\u4E2A\u6587\u5B57\u7684\u4E00\u81F4\u6027\u3002"@zh . . . . . . . "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u043D\u0430\u0431\u043E\u0440\u043E\u0432 \u043E\u0442\u0432\u0435\u0442\u043E\u0432 (\u0430\u043D\u0433\u043B. Answer set programming, ASP) \u2014 \u0444\u043E\u0440\u043C\u0430 \u0434\u0435\u043A\u043B\u0430\u0440\u0430\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F, \u043E\u0440\u0438\u0435\u043D\u0442\u0438\u0440\u043E\u0432\u0430\u043D\u043D\u0430\u044F \u043D\u0430 \u0441\u043B\u043E\u0436\u043D\u044B\u0435 (\u0432 \u043E\u0441\u043D\u043E\u0432\u043D\u043E\u043C NP-\u0442\u0440\u0443\u0434\u043D\u044B\u0435) \u0437\u0430\u0434\u0430\u0447\u0438 \u043F\u043E\u0438\u0441\u043A\u0430, \u043E\u0441\u043D\u043E\u0432\u044B\u0432\u0430\u044E\u0449\u0435\u0435\u0441\u044F \u043D\u0430 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430\u0445 \u0441\u0442\u0430\u0431\u0438\u043B\u044C\u043D\u043E\u0439 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u043A\u0438 \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F. \u0417\u0430\u0434\u0430\u0447\u0430 \u043F\u043E\u0438\u0441\u043A\u0430 \u2014 \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0443\u0441\u0442\u043E\u0439\u0447\u0438\u0432\u043E\u0439 \u043C\u043E\u0434\u0435\u043B\u0438 \u0438 \u043D\u0430\u0431\u043E\u0440\u043E\u0432 \u0440\u0435\u0448\u0430\u0442\u0435\u043B\u0435\u0439 (\u0430\u043D\u0433\u043B. answer set solvers) \u2014 \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C \u0434\u043B\u044F \u0433\u0435\u043D\u0435\u0440\u0430\u0446\u0438\u0438 \u0443\u0441\u0442\u043E\u0439\u0447\u0438\u0432\u044B\u0445 \u043C\u043E\u0434\u0435\u043B\u0435\u0439, \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0442\u0441\u044F \u0434\u043B\u044F \u043F\u043E\u0438\u0441\u043A\u0430. \u0412\u044B\u0447\u0438\u0441\u043B\u0438\u0442\u0435\u043B\u044C\u043D\u044B\u0439 \u043F\u0440\u043E\u0446\u0435\u0441\u0441, \u0432\u043A\u043B\u044E\u0447\u0451\u043D\u043D\u044B\u0439 \u0432 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0438\u044E \u043D\u0430\u0431\u043E\u0440\u0430 \u0440\u0435\u0448\u0430\u0442\u0435\u043B\u0435\u0439, \u2014 \u044D\u0442\u043E \u043D\u0430\u0434\u0441\u0442\u0440\u043E\u0439\u043A\u0430 \u043D\u0430\u0434 DPLL-\u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u043E\u043C, \u043A\u043E\u0442\u043E\u0440\u044B\u0439 \u0432\u0441\u0435\u0433\u0434\u0430 \u043A\u043E\u043D\u0435\u0447\u0435\u043D (\u0432 \u043E\u0442\u043B\u0438\u0447\u0438\u0435 \u043E\u0442 \u043E\u0446\u0435\u043D\u043A\u0438 \u0437\u0430\u043F\u0440\u043E\u0441\u0430 \u0432 \u041F\u0440\u043E\u043B\u043E\u0433\u0435, \u043A\u043E\u0442\u043E\u0440\u0430\u044F \u043C\u043E\u0436\u0435\u0442 \u043F\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043A \u0431\u0435\u0441\u043A\u043E\u043D\u0435\u0447\u043D\u043E\u043C\u0443 \u0446\u0438\u043A\u043B\u0443)."@ru . . . "Answer set programming"@en . . . "Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers\u2014programs for generating stable models\u2014are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop)."@en . . . . . . . . . . . . "Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers\u2014programs for generating stable models\u2014are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop). In a more general sense, ASP includes all applications of answer sets to knowledge representation and the use of Prolog-style query evaluation for solving problems arising in these applications."@en . . . . . . . "2386211"^^ . . . . . . "L\u2019answer set programming (ASP) est une forme de programmation d\u00E9clarative adapt\u00E9e aux probl\u00E8mes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de n\u00E9gation \u2014 la n\u00E9gation par manque d'information, dite n\u00E9gation par d\u00E9faut, et la n\u00E9gation forte ou n\u00E9gation logique. La n\u00E9gation par d\u00E9faut permet de raisonner en l'absence d'information et rend l'ASP non monotone. L'exemple suivant, illustre le fonctionnement de la n\u00E9gation par d\u00E9faut: \n* Si \u00AB X est un oiseau \u00BB mais pas \u00AB X est une autruche \u00BB alors \u00AB X vole \u00BB \n* \u00AB Titi est un oiseau \u00BB On peut d\u00E9duire de ce programme le fait \u00AB Titi vole \u00BB. En effet, ici nous n'avons aucune information qui nous indique que Titi est une autruche. Cependant, si nous avions les informations \u00ABLola est un oiseau et une autruche \u00BB, alors nous ne pouvons pas d\u00E9duire que Lola vole. La n\u00E9gation forte quant \u00E0 elle demande une preuve qu'un fait est faux. Dans cet exemple, il faudrait donc prouver que Titi n'est pas une autruche pour en d\u00E9duire qu'il vole. En ASP, la r\u00E9solution de probl\u00E8me se r\u00E9duit \u00E0 calculer des mod\u00E8les stables, c'est-\u00E0-dire o\u00F9 la n\u00E9gation par d\u00E9faut produit des mod\u00E8les logiquement consistants. Dans un sens plus g\u00E9n\u00E9ral, ASP inclut des techniques de repr\u00E9sentation des connaissances et l\u2019\u00E9valuation de requ\u00EAtes dans le style Prolog, pour r\u00E9soudre les probl\u00E8mes qui se posent dans ces applications. ASP permet de d\u00E9cider les probl\u00E8mes dans NP et plus g\u00E9n\u00E9ralement les probl\u00E8mes de la classe NPNP (voir hi\u00E9rarchie polynomiale, l'existence d'un mod\u00E8le stable est NPNP-complet)."@fr . . . . . "\u041F\u0440\u043E\u0433\u0440\u0430\u043C\u0443\u0432\u0430\u043D\u043D\u044F \u043D\u0430\u0431\u043E\u0440\u0430\u043C\u0438 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u0435\u0439"@uk . . . . . . .