Answer Set Programming / Lifschitz, Vladimir  

Público ISBD Ningún comentario para este título. 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. 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: 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. . 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. 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: 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. . 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