Examinando por Autor "Arias, Joaquín"
Mostrando 1 - 15 de 15
- Resultados por página
- Opciones de ordenación
Ítem Apuntes de Lógica: desde Aristóteles hasta Prolog(2023-09-06) Arias, JoaquínÍtem Apuntes de Programación Lógica: hasta Prolog y más allá(2024) Arias, JoaquínÍtem Artículo presentación DeduccionNatural.pl(2023-09-06) Arias, JoaquínÍtem Automated Legal Reasoning with Discretion to Act using s(LAW)(Springer, 2023-11-20) Arias, Joaquín; Moreno-Rebato, Mar; Rodríguez-García, José Antonio; Ossowski, SaschaAutomated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the advice given. Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex knowledge. However, modelling discretionality to act and other vague concepts such as ambiguity cannot be expressed in top-down execution models based on Prolog, and in bottom-up execution models based on ASP the justifications are incomplete and/or not scalable. We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns. We have implemented a framework, called s(LAW), to model, reason, and justify the applicable legislation and validate it by translating (and benchmarking) a representative use case, the criteria for the admission of students in the "Comunidad de Madrid"Ítem DeduccionNatural.pl - asignatura Lógica(2022) Ramírez, Iván; Arias, JoaquínÍtem Guia de la Asignatura de Lógica(2023-09-06) Arias, JoaquínÍtem Lógica: desde Aristóteles hasta Prolog(Servicio de Publicaciones de la Universidad Rey Juan Carlos, 2022) Arias, JoaquínÍtem Matemáticas Discreta y Álgebra. Teoría y práctica por y para La computación y la ciberseguridad(Servicio de Publicaciones de la Universidad Rey Juan Carlos, 2022) Ruiz-Parrado, Victoria; Arias, Joaquín; Cuesta, MarinaLa Matemática Discreta surge como una disciplina que unifica diversas áreas tradicionales de las Matemáticas (combinatoria, probabilidad, geometría de polígonos, aritmética, grafos, entre otros), como consecuencia, de ahí su interés en la informática, las telecomunicaciones, y en particular, la ciberseguridad. La información se manipula y almacena en los ordenadores en forma discreta (palabras formadas por ceros y unos), se necesita contar objetos (unidades de memorias, unidades de tiempo), se precisa estudiar relaciones entre conjuntos finitos (búsquedas en bases de datos), y es necesario analizar procesos que incluyan un número finito de pasos (algoritmos). La matemática discreta proporciona, por otro lado, algunas bases matemáticas para otros aspectos de la informática, como las estructuras de datos, algorítmica, bases de datos, teoría de autómatas, sistemas operativos y la investigación operativa. A su vez ayuda al desarrollo de ciertas capacidades fundamentales como la capacidad de formalizar, de razonar rigurosamente y/o de representar adecuadamente algunos conceptos. El Álgebra Lineal es, seguramente, una de las herramientas fundamentales en las Ciencias de la Computación. Originariamente dedicada a la resolución de sistemas de ecuaciones, su abstracción y formalismo la hacen a veces un poco árida de entender. Sin embargo la inmensidad de sus aplicaciones bien vale el esfuerzo: Teoría de la Información, Teoría de Códigos, Ecuaciones Diferenciales, Optimización, etc. Este manual combina Matemática Discreta y Álgebra Lineal, y es esencial para formar la base adecuada para comprender los modelos matemáticos que se presentan durante el desarrollo profesional en el campo de la informática y la ciberseguridad. Los objetivos que se buscan con este manual son aprender y utilizar técnicas y métodos propios de la Matemática Discreta y del Álgebra Lineal y su aplicación en el campo de la informática y la ciberseguridad. En concreto: Aprender métodos y conceptos básicos de algoritmos, aritmética modular, combinatoria y teoría de grafos. Discutir y resolver sistemas de ecuaciones lineales mediante el método de Gauss. Matrices y determinantes. Conocer la estructura de espacio vectorial, manejar la noción de aplicación lineal y su aplicación en diversos campos de la computación. Reconocer cuándo una matriz es diagonalizable y, si es así, saber diagonalizarla.Ítem On admissible behaviours for goal-oriented decision-making of value-aware agents(Springer, 2023-09) Holgado-Sánchez, Andrés; Arias, Joaquín; Moreno-Rebato, Mar; Ossowski, SaschaThe emerging field of value awareness engineering claims that software agents and systems should be value-aware, i.e. they should be able to explicitly reason about the value-alignment of their actions. Values are often modelled as preferences over states or actions which are then extended to plans. In this paper, we examine the effect of different groundings of values depending on context and claim that they can be used to prune the space of courses of actions that are aligned with them. We put forward several notions of such value-admissible behaviours and illustrate them in the domain of water distribution.Ítem Playground online para Ciao y s(CASP)(2024) Arias, JoaquínEn el artículo " " describimos un playground online para ejecutar los programas Prolog que tienen que desarrollar los alumnos durante la asignatura de programación lógica. Yo, Joaquín Arias, soy uno de los autores del software, el articulo esta disponible online: https://cliplab.org/papers/scasp-web-gde.pdf Servidor online donde usar el playground: Ciao: https://ciao-lang.org/playground/ S(CASP): https://ciao-lang.org/playground/scasp.html ID Software Heritage: swh:1:snp:60f22f8d121de0bd4f913ac45e59bdf57ebcfc3d Repositorio con el software https://github.com/ciao-lang/ciao_playgroundÍtem Programación Funcional vs. Programación Lógica - asignatura Lógica(2022) Arias, JoaquínTransparencias de clase magistral sobre programación declarativa: se introducen y comparan los paradigmas de programación funcional y programación lógica.Ítem Programación Lógica: hasta Prolog y más allá(2024) Arias, JoaquínTransparencias de la asignatura de Programación Lógica en el grado de Ingeniería Informática curso 2024-2025Ítem Selección de Ejercicios de Lógica: para ciberseguridad e inteligencia artificial (2a Edición)(2023-09-06) Arias, Joaquín; Lancho, Carmen; Ramírez, IvánÍtem Selección de Ejercicios de Lógica: para ciberseguridad e inteligencia artificial.(2022) Arias, Joaquín; Lancho, CarmenSelección de ejercicios de lógica proposicional y de primer orden.Ítem Selección de Ejercicios de Programación Lógica(2024) Arias, Joaquín