Languages

You are here

Charlas de investigadores visitantes

Durante la semana próxima están programadas las siguientes cuatro charlas invitadas de los profesores visitantes Stefania Costantini (Università de L'Aquila, Italia) y Manuel Ojeda Aciego (Universidad de Málaga):


 

ASP with resources and preferences

Stefania Costantini

Miércoles 7 de septiembre 2011, Seminario 4.1, 11:30

RASP is a recent extension of Answer Set Programming that permits declarative specification and reasoning on consumption and production of resources. In this talk, we describe how RASP supports both formalization and quantitative reasoning on consumption and production of amounts of resources, and the specification of preferences. We also provide some hints about how the concept of strong equivalence can be extended from ASP to RASP.


 

Modelos Relacionales y Lógica Difusa

Manuel Ojeda

Miércoles 7 de septiembre 2011, Seminario 4.1, 12:30


En esta charla revisaremos las teorías del modelo relacional de bases de datos, el análisis formal de conceptos, y las conexiones de Galois, y comprobaremos su confluencia desde la perspectiva de la lógica difusa.


 

Run-time self-checking of DALI logical agents

Stefania Costantini

Jueves 8 de septiembre 2011, Seminario 4.1, 11:30

In this talk, we present a framework that we have introduced based on our agent-oriented logic language DALI, but applicable in principle to many logic-based languages and formalisms. This framework is constructed upon a multi-layered general agent model, where at each layer temporal-logic-like axioms and meta-axioms can be defined and dynamically checked. Their violation determines suitable repair actions to be undertaken by means of appropriate agent’s self-modifications. We will discuss the role of agent’s memory in this setting. The proposed approach is in view of an agent society where individuals should be able to learn and enlarge their patterns of behavior by observing and generalizing their observations, and also by “imitating” other agents, or by “being told” by them. In the introduction of the talk, we will describe the main features of the DALI language.



Cartomagia y Matemáticas

Manuel Ojeda

Jueves 8 de septiembre 2011, Seminario 4.1, 12:30

Nuestros alumnos habitualmente muestran desinterés por las demostraciones de los teoremas pues "les basta saber que ya está demostrado"; sin embargo, tras presenciar un efecto de magia, raro es que no se interesen por conocer el secreto. Presentaremos distintos efectos con una baraja de cartas cuya explicación permite motivar distintos conceptos matemáticos que van desde sencillas identidades aritméticas, razonamiento basado en paridad, distintas bases de numeración, teoría de grupos, el principio de Kruskal, de Gilbreath, de Hummer . . . , además de adentrarse en temas de teoría de la información.