| http://dbpedia.org/ontology/abstract
|
回答集编程是语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。
, Программирование наборов ответов (англ. An … Программирование наборов ответов (англ. Answer set programming, ASP) — форма декларативного программирования, ориентированная на сложные (в основном NP-трудные) задачи поиска, основывающееся на свойствах стабильной семантики логического программирования. Задача поиска — вычисление устойчивой модели и наборов решателей (англ. answer set solvers) — программ для генерации устойчивых моделей, которые используются для поиска. Вычислительный процесс, включённый в конструкцию набора решателей, — это надстройка над DPLL-алгоритмом, который всегда конечен (в отличие от оценки запроса в Прологе, которая может привести к бесконечному циклу). В более общем смысле техника включает все приложения из наборов ответов для представления знаний и использует оценки запросов в стиле Prolog для решения проблем, возникающих в этих наборах.шения проблем, возникающих в этих наборах.
, Answer set programming (ASP) is a form of … 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—programs for generating stable models—are 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.ng problems arising in these applications.
, Programação de Conjunto de Resposta (ASP, … Programação de Conjunto de Resposta (ASP, da expressão em inglês Answer set programming) é uma forma de programação declarativa orientada a difíceis (principalmente NP-difícil). É baseado na semântica de modelo estável (conjunto de resposta) da . Em ASP, problemas de busca são reduzidos a modelos estáticos de computação, e solucionadores de conjunto de respostas - programas que geram modelos estáveis - são usados para realizar a busca. O processo computacional empregado no design de muitos solucionadores de conjuntos de respostas é uma melhora no algoritmo DPLL e, em princípio, sempre termina (diferentemente do processo de avaliação de consulta Prolog, que pode terminar em um laço infinito). Em um sentido mais geral, ASP inclui aplicações de conjunto de respostas para representação de conhecimento e o uso da avaliação de consultas no estilo Prolog para resolver problemas decorrentes das aplicações.lver problemas decorrentes das aplicações.
, Програмування наборами відповідей (англ. A … Програмування наборами відповідей (англ. Answer set programming, ASP) — це форма декларативного програмування, орієнтованого на складні (насамперед, NP-складні) задачі пошуку. Воно засноване на стійкій моделі семантики логічного програмування. В ASP, задача пошуку зводиться до обчислювання стійкої моделі і наборів вирішувачів (англ. answer set solvers) — програм для генерування стійких моделей, що використовуються для пошуку. Обчислювальний процес, включений в конструкцію набору вирішувачів — є посиленням DPLL алгоритму, який завжди є скінченним (на відміну від оцінки запиту в Prolog, що може призвести до нескінченного циклу). Взагалі, ASP включає всі додатки з наборів відповідей для представлення знань та використання оцінки запитів, типу Prolog для вирішення задач, що виникають у цих додатках.ішення задач, що виникають у цих додатках.
, L’answer set programming (ASP) est une for … L’answer set programming (ASP) est une forme de programmation déclarative adaptée aux problèmes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de négation — la négation par manque d'information, dite négation par défaut, et la négation forte ou négation logique. La négation par défaut permet de raisonner en l'absence d'information et rend l'ASP non monotone. L'exemple suivant, illustre le fonctionnement de la négation par défaut:
* Si « X est un oiseau » mais pas « X est une autruche » alors « X vole »
* « Titi est un oiseau » On peut déduire de ce programme le fait « Titi vole ». En effet, ici nous n'avons aucune information qui nous indique que Titi est une autruche. Cependant, si nous avions les informations «Lola est un oiseau et une autruche », alors nous ne pouvons pas déduire que Lola vole. La négation forte quant à 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éduire qu'il vole. En ASP, la résolution de problème se réduit à calculer des modèles stables, c'est-à-dire où la négation par défaut produit des modèles logiquement consistants. Dans un sens plus général, ASP inclut des techniques de représentation des connaissances et l’évaluation de requêtes dans le style Prolog, pour résoudre les problèmes qui se posent dans ces applications. ASP permet de décider les problèmes dans NP et plus généralement les problèmes de la classe NPNP (voir hiérarchie polynomiale, l'existence d'un modèle stable est NPNP-complet).ence d'un modèle stable est NPNP-complet).
, L'answer set programming (ASP) è una forma … L'answer set programming (ASP) è 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 è l'Answer Set Programming in Logic, sottoinsieme del Prolog, ed è impiegato in particolare per risolvere problemi di pianificazione (planning) e rappresentazione della conoscenza.ning) e rappresentazione della conoscenza.
, La programación de conjuntos de respuestas … La programación de conjuntos de respuestas (ASP) es una forma de programación declarativa orientada a problemas de búsqueda difíciles (principalmente NP-hard ). Se basa en la semántica del (conjunto de respuestas) de la programación lógica. En ASP, los problemas de búsqueda se reducen a la computación de modelos estables y los solucionadores de conjuntos de respuestas (programas para generar modelos estables) se utilizan para realizar búsquedas. El proceso computacional empleado en el diseño de muchos solucionadores de conjuntos de respuestas es una mejora del algoritmo DPLL y, en principio, siempre termina (a diferencia de la evaluación de consultas Prolog, que puede conducir a un bucle infinito). En un sentido más general, ASP incluye todas las aplicaciones de conjuntos de respuestas a la representación del conocimiento y el uso de la evaluación de consultas de estilo Prolog para resolver los problemas que surgen en estas aplicaciones.roblemas que surgen en estas aplicaciones.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.nku.edu/~wardj1/Research/smodels_cc.html +
, http://www.kr.tuwien.ac.at/staff/tkren/deb.html +
, http://www.mat.unical.it/dlv-complex/ +
, http://www.tcs.hut.fi/Software/smodels/ +
, http://www.cs.uni-potsdam.de/nomore/ +
, http://www.cs.uni-potsdam.de/platypus/ +
, https://potassco.org/ +
, http://www.info.univ-angers.fr/pub/claire/asperix/ +
, https://web.archive.org/web/20080223132705/http:/asparagus.cs.uni-potsdam.de/contest/ +
, http://www.dbai.tuwien.ac.at/proj/dlv/ +
, https://web.archive.org/web/20110717180541/http:/assat.cs.ust.hk/ +
, https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf +
, http://www.cs.uni-potsdam.de/clasp/ +
, http://www.tcs.hut.fi/Software/gnt/ +
, http://www.tcs.hut.fi/Software/smodels/lparse.ps +
, http://www.cs.uky.edu/ai/pbmodels/ +
, http://www.cs.kuleuven.be/~dtai/events/ASP-competition/index.shtml +
, http://www.cs.utexas.edu/users/tag/sup/ +
, https://github.com/MatthiasNickles/diff-SAT/ +
, http://www.cs.utexas.edu/users/tag/cmodels/ +
, http://www.mat.unical.it/aspcomp2011/ +
, http://www.mat.unical.it/aspcomp2013 +
|
| http://dbpedia.org/ontology/wikiPageID
|
2386211
|
| http://dbpedia.org/ontology/wikiPageLength
|
26136
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1120931805
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Declarative_programming +
, http://dbpedia.org/resource/MIT_License +
, http://dbpedia.org/resource/Freeware +
, http://dbpedia.org/resource/GPL +
, http://dbpedia.org/resource/Backtracking +
, http://dbpedia.org/resource/DPLL_algorithm +
, http://dbpedia.org/resource/Default_logic +
, http://dbpedia.org/resource/Linux +
, http://dbpedia.org/resource/Boolean_SAT_solver +
, http://dbpedia.org/resource/Knowledge_representation +
, http://dbpedia.org/resource/Coinduction +
, http://dbpedia.org/resource/Clique_%28graph_theory%29 +
, http://dbpedia.org/resource/Path_%28graph_theory%29 +
, http://dbpedia.org/resource/Natural_language_processing +
, http://dbpedia.org/resource/Action_language +
, http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Excluded_middle +
, http://dbpedia.org/resource/Resolution_%28logic%29 +
, http://dbpedia.org/resource/Graph_coloring +
, http://dbpedia.org/resource/Infinite_loop +
, http://dbpedia.org/resource/Stable_model_semantics +
, http://dbpedia.org/resource/Product_configuration +
, http://dbpedia.org/resource/Parsing +
, http://dbpedia.org/resource/Graph_%28discrete_mathematics%29 +
, http://dbpedia.org/resource/NP-hard +
, http://dbpedia.org/resource/Automated_planning_and_scheduling +
, http://dbpedia.org/resource/Trial_and_error +
, http://dbpedia.org/resource/Programming_paradigm +
, http://dbpedia.org/resource/Java_virtual_machine +
, http://dbpedia.org/resource/Search_algorithm +
, http://dbpedia.org/resource/Pseudo-boolean +
, http://dbpedia.org/resource/DLV +
, http://dbpedia.org/resource/Propositional_formula +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Solaris_%28operating_system%29 +
, http://dbpedia.org/resource/Hamiltonian_cycle +
, http://dbpedia.org/resource/Non-monotonic_logic +
, http://dbpedia.org/resource/MacOS +
, http://dbpedia.org/resource/Symbol_grounding +
, http://dbpedia.org/resource/Directed_graph +
, http://dbpedia.org/resource/Prolog +
, http://dbpedia.org/resource/Microsoft_Windows +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:No +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Okay +
, http://dbpedia.org/resource/Template:Programming_paradigms +
, http://dbpedia.org/resource/Template:Yes +
, http://dbpedia.org/resource/Template:Distinguish +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic_programming +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Form +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Answer_set_programming?oldid=1120931805&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Answer_set_programming +
|
| owl:differentFrom |
http://dbpedia.org/resource/Active_Server_Pages +
|
| owl:sameAs |
http://es.dbpedia.org/resource/Programaci%C3%B3n_de_conjuntos_de_respuestas +
, http://it.dbpedia.org/resource/Answer_set_programming +
, https://global.dbpedia.org/id/2eck1 +
, http://dbpedia.org/resource/Answer_set_programming +
, http://zh.dbpedia.org/resource/%E5%9B%9E%E7%AD%94%E9%9B%86%E7%BC%96%E7%A8%8B +
, http://fr.dbpedia.org/resource/Answer_set_programming +
, http://rdf.freebase.com/ns/m.0789x5 +
, http://ru.dbpedia.org/resource/%D0%9F%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%BD%D0%B0%D0%B1%D0%BE%D1%80%D0%BE%D0%B2_%D0%BE%D1%82%D0%B2%D0%B5%D1%82%D0%BE%D0%B2 +
, http://uk.dbpedia.org/resource/%D0%9F%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D1%83%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F_%D0%BD%D0%B0%D0%B1%D0%BE%D1%80%D0%B0%D0%BC%D0%B8_%D0%B2%D1%96%D0%B4%D0%BF%D0%BE%D0%B2%D1%96%D0%B4%D0%B5%D0%B9 +
, http://fa.dbpedia.org/resource/%D8%A8%D8%B1%D9%86%D8%A7%D9%85%D9%87%E2%80%8C%D9%86%D9%88%DB%8C%D8%B3%DB%8C_%D9%85%D8%AC%D9%85%D9%88%D8%B9%D9%87_%D8%AC%D9%88%D8%A7%D8%A8 +
, http://www.wikidata.org/entity/Q2852531 +
, http://pt.dbpedia.org/resource/Programa%C3%A7%C3%A3o_de_conjunto_de_resposta +
, http://sr.dbpedia.org/resource/%D0%9E%D0%B4%D0%B3%D0%BE%D0%B2%D0%BE%D1%80_%D1%81%D0%B5%D1%82_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%B8%D1%80%D0%B0%D1%9A%D0%B5 +
, http://yago-knowledge.org/resource/Answer_set_programming +
|
| rdf:type |
http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/LinguisticRelation113797142 +
, http://dbpedia.org/class/yago/Inflection113803782 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/WikicatProgrammingParadigms +
, http://dbpedia.org/class/yago/Paradigm113804375 +
, http://dbpedia.org/class/yago/GrammaticalRelation113796779 +
|
| rdfs:comment |
Програмування наборами відповідей (англ. A … Програмування наборами відповідей (англ. Answer set programming, ASP) — це форма декларативного програмування, орієнтованого на складні (насамперед, NP-складні) задачі пошуку. Воно засноване на стійкій моделі семантики логічного програмування. В ASP, задача пошуку зводиться до обчислювання стійкої моделі і наборів вирішувачів (англ. answer set solvers) — програм для генерування стійких моделей, що використовуються для пошуку. Обчислювальний процес, включений в конструкцію набору вирішувачів — є посиленням DPLL алгоритму, який завжди є скінченним (на відміну від оцінки запиту в Prolog, що може призвести до нескінченного циклу).що може призвести до нескінченного циклу).
, L’answer set programming (ASP) est une for … L’answer set programming (ASP) est une forme de programmation déclarative adaptée aux problèmes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de négation — la négation par manque d'information, dite négation par défaut, et la négation forte ou négation logique. La négation par défaut permet de raisonner en l'absence d'information et rend l'ASP non monotone. L'exemple suivant, illustre le fonctionnement de la négation par défaut: fonctionnement de la négation par défaut:
, Answer set programming (ASP) is a form of … 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—programs for generating stable models—are 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).tion, which may lead to an infinite loop).
, 回答集编程是语法上类似传统逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。
, La programación de conjuntos de respuestas … La programación de conjuntos de respuestas (ASP) es una forma de programación declarativa orientada a problemas de búsqueda difíciles (principalmente NP-hard ). Se basa en la semántica del (conjunto de respuestas) de la programación lógica. En ASP, los problemas de búsqueda se reducen a la computación de modelos estables y los solucionadores de conjuntos de respuestas (programas para generar modelos estables) se utilizan para realizar búsquedas. El proceso computacional empleado en el diseño de muchos solucionadores de conjuntos de respuestas es una mejora del algoritmo DPLL y, en principio, siempre termina (a diferencia de la evaluación de consultas Prolog, que puede conducir a un bucle infinito)., que puede conducir a un bucle infinito).
, Programação de Conjunto de Resposta (ASP, … Programação de Conjunto de Resposta (ASP, da expressão em inglês Answer set programming) é uma forma de programação declarativa orientada a difíceis (principalmente NP-difícil). É baseado na semântica de modelo estável (conjunto de resposta) da . Em ASP, problemas de busca são reduzidos a modelos estáticos de computação, e solucionadores de conjunto de respostas - programas que geram modelos estáveis - são usados para realizar a busca. O processo computacional empregado no design de muitos solucionadores de conjuntos de respostas é uma melhora no algoritmo DPLL e, em princípio, sempre termina (diferentemente do processo de avaliação de consulta Prolog, que pode terminar em um laço infinito).g, que pode terminar em um laço infinito).
, Программирование наборов ответов (англ. An … Программирование наборов ответов (англ. Answer set programming, ASP) — форма декларативного программирования, ориентированная на сложные (в основном NP-трудные) задачи поиска, основывающееся на свойствах стабильной семантики логического программирования. Задача поиска — вычисление устойчивой модели и наборов решателей (англ. answer set solvers) — программ для генерации устойчивых моделей, которые используются для поиска. Вычислительный процесс, включённый в конструкцию набора решателей, — это надстройка над DPLL-алгоритмом, который всегда конечен (в отличие от оценки запроса в Прологе, которая может привести к бесконечному циклу).орая может привести к бесконечному циклу).
, L'answer set programming (ASP) è una forma … L'answer set programming (ASP) è 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 è l'Answer Set Programming in Logic, sottoinsieme del Prolog, ed è impiegato in particolare per risolvere problemi di pianificazione (planning) e rappresentazione della conoscenza.ning) e rappresentazione della conoscenza.
|
| rdfs:label |
Programação de conjunto de resposta
, Programación de conjuntos de respuestas
, 回答集编程
, Програмування наборами відповідей
, Программирование наборов ответов
, Answer set programming
|
