Predicate Invention in Inductive Logic Programming

The ability to recognise new concepts and incorporate them into our knowledge is an essential part of learning. From new scientific concepts to the words that are used in everyday conversation, they all must have at some point in the past, been invented and their definition defined. In this position paper, we discuss how a general framework for predicate invention could be made, by reasoning about the problem at the meta-level using an appropriate notion of top theory in inductive logic programming

Programación orientada a agentes en el marco de lenguajes multiparadigmas

La presente línea de investigación surge de dos observaciones. Por un lado, observamos que el paradigma orientado a agentes aún hoy no se encuentra consensuadamente definido dentro de las diferentes áreas de las ciencias de la computación. Por el otro lado, la combinación de conceptos y herramientas de los diferentes paradigmas de programación en lenguajes actuales demostraron ser la vía más adecuada para la elaboración de herramientas de desarrollo de software que permitan representar adecuadamente los problemas y soluciones de dominios de la vida real. A partir de estas observaciones comenzamos una investigación cuyo objetivo es establecer las bases para dar origen a una definición definitiva del paradigma orientado a agentes, mostrando que constituye la convergencia entre los demás paradigmas. Con este fin nos proponemos desarrollar un lenguaje de programación que incorpore sus ideas elementales de manera armónica. Para su desarrollo escogimos un lenguaje multiparadigma basado en la programación lógica, por sus numerosas extensiones y la facilidad con la que permite definir nuevas estructuras sintácticas, semánticas y de control. Como conclusión de este trabajo utilizaremos el nuevo lenguaje para desarrollar aplicaciones prácticas en diversos campos como la robótica, la domótica, el desarrollo de aplicaciones móviles, etc.Eje: Agentes y Sistemas inteligentesRed de Universidades con Carreras en Informática (RedUNCI

Programación orientada a agentes en el marco de lenguajes multiparadigmas

La presente línea de investigación surge de dos observaciones. Por un lado, observamos que el paradigma orientado a agentes aún hoy no se encuentra consensuadamente definido dentro de las diferentes áreas de las ciencias de la computación. Por el otro lado, la combinación de conceptos y herramientas de los diferentes paradigmas de programación en lenguajes actuales demostraron ser la vía más adecuada para la elaboración de herramientas de desarrollo de software que permitan representar adecuadamente los problemas y soluciones de dominios de la vida real. A partir de estas observaciones comenzamos una investigación cuyo objetivo es establecer las bases para dar origen a una definición definitiva del paradigma orientado a agentes, mostrando que constituye la convergencia entre los demás paradigmas. Con este fin nos proponemos desarrollar un lenguaje de programación que incorpore sus ideas elementales de manera armónica. Para su desarrollo escogimos un lenguaje multiparadigma basado en la programación lógica, por sus numerosas extensiones y la facilidad con la que permite definir nuevas estructuras sintácticas, semánticas y de control. Como conclusión de este trabajo utilizaremos el nuevo lenguaje para desarrollar aplicaciones prácticas en diversos campos como la robótica, la domótica, el desarrollo de aplicaciones móviles, etc.Eje: Agentes y Sistemas inteligentesRed de Universidades con Carreras en Informática (RedUNCI

Inductive Logic Programming in Databases: from Datalog to DL+log

In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through a better understanding of KR aspects related to databases. In particular, we investigate this issue from the ILP perspective by considering two database problems, (i) the definition of views and (ii) the definition of constraints, for a database whose schema is represented also by means of an ontology. Both can be reformulated as ILP problems and can benefit from the expressive and deductive power of the KR framework DL+log. We illustrate the application scenarios by means of examples. Keywords: Inductive Logic Programming, Relational Databases, Ontologies, Description Logics, Hybrid Knowledge Representation and Reasoning Systems. Note: To appear in Theory and Practice of Logic Programming (TPLP).Comment: 30 pages, 3 figures, 2 tables

Normative design using inductive learning

In this paper we propose a use-case-driven iterative design methodology for normative frameworks, also called virtual institutions, which are used to govern open systems. Our computational model represents the normative framework as a logic program under answer set semantics (ASP). By means of an inductive logic programming approach, implemented using ASP, it is possible to synthesise new rules and revise the existing ones. The learning mechanism is guided by the designer who describes the desired properties of the framework through use cases, comprising (i) event traces that capture possible scenarios, and (ii) a state that describes the desired outcome. The learning process then proposes additional rules, or changes to current rules, to satisfy the constraints expressed in the use cases. Thus, the contribution of this paper is a process for the elaboration and revision of a normative framework by means of a semi-automatic and iterative process driven from specifications of (un)desirable behaviour. The process integrates a novel and general methodology for theory revision based on ASP.Comment: Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, volume 11, issue 4-5, 201