Answer Set Programming / Lifschitz, Vladimir  

Público ISBD Ningún comentario para este registro. Título : Answer Set Programming Tipo de documento: documento electrónico Autores: Lifschitz, Vladimir, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XI, 190 p. 53 ilustraciones ISBN/ISSN/DL: 978-3-030-24658-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos)  Ciencias de la Computación  Inteligencia artificial  Compiladores e intérpretes  Lógica informática y fundamentos de la programación. Clasificación: 005.45 Resumen: La programación de conjuntos de respuestas (ASP) es una metodología de programación orientada a problemas de búsqueda combinatoria. En tal problema, el objetivo es encontrar una solución entre un número grande pero finito de posibilidades. La idea de ASP surgió de la investigación sobre inteligencia artificial y lógica computacional. ASP es una forma de programación declarativa: un programa ASP describe lo que se considera una solución al problema, pero no especifica un algoritmo para resolverlo. La búsqueda se realiza mediante sofisticados sistemas de software llamados solucionadores de conjuntos de respuestas. Los problemas de búsqueda combinatoria surgen a menudo en ciencia y tecnología, y ASP ha encontrado aplicaciones en diversas áreas: lingüística histórica, bioinformática, robótica, exploración espacial, industria del petróleo y el gas, y muchas otras. La importancia de este método de programación fue reconocida por la Asociación para el Avance de la Inteligencia Artificial en 2016, cuando la revista AI publicó un número especial sobre programación de conjuntos de respuestas. El libro presenta al lector la teoría y la práctica de ASP. Describe el lenguaje de entrada del solucionador de conjuntos de respuestas CLINGO, que fue diseñado en la Universidad de Potsdam en Alemania y es utilizado hoy por programadores ASP en muchos países. Incluye numerosos ejemplos de programas ASP y presenta la teoría matemática en la que se basa ASP. Hay muchos ejercicios con soluciones completas. Nota de contenido: Introduction -- Input Language of CLINGO -- Combinatorial Search -- Propositional Programs and Minimal Models -- Programs with Negation -- Mathematics of Stable Models -- More about the Language of CLINGO -- Dynamic Systems -- Conclusion. . Tipo de medio : Computadora Summary : Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas—in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Answer Set Programming [documento electrónico] / Lifschitz, Vladimir,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XI, 190 p. 53 ilustraciones. ISBN : 978-3-030-24658-7 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos)  Ciencias de la Computación  Inteligencia artificial  Compiladores e intérpretes  Lógica informática y fundamentos de la programación. Clasificación: 005.45 Resumen: La programación de conjuntos de respuestas (ASP) es una metodología de programación orientada a problemas de búsqueda combinatoria. En tal problema, el objetivo es encontrar una solución entre un número grande pero finito de posibilidades. La idea de ASP surgió de la investigación sobre inteligencia artificial y lógica computacional. ASP es una forma de programación declarativa: un programa ASP describe lo que se considera una solución al problema, pero no especifica un algoritmo para resolverlo. La búsqueda se realiza mediante sofisticados sistemas de software llamados solucionadores de conjuntos de respuestas. Los problemas de búsqueda combinatoria surgen a menudo en ciencia y tecnología, y ASP ha encontrado aplicaciones en diversas áreas: lingüística histórica, bioinformática, robótica, exploración espacial, industria del petróleo y el gas, y muchas otras. La importancia de este método de programación fue reconocida por la Asociación para el Avance de la Inteligencia Artificial en 2016, cuando la revista AI publicó un número especial sobre programación de conjuntos de respuestas. El libro presenta al lector la teoría y la práctica de ASP. Describe el lenguaje de entrada del solucionador de conjuntos de respuestas CLINGO, que fue diseñado en la Universidad de Potsdam en Alemania y es utilizado hoy por programadores ASP en muchos países. Incluye numerosos ejemplos de programas ASP y presenta la teoría matemática en la que se basa ASP. Hay muchos ejercicios con soluciones completas. Nota de contenido: Introduction -- Input Language of CLINGO -- Combinatorial Search -- Propositional Programs and Minimal Models -- Programs with Negation -- Mathematics of Stable Models -- More about the Language of CLINGO -- Dynamic Systems -- Conclusion. . Tipo de medio : Computadora Summary : Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas—in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200