Induction of defeasible logic theories in the legal domain

The market for intelligent legal information systems remains relatively untapped and while this might be interpreted as an indication that it is simply impossible to produce a system that satisfies the needs of the legal community, an analysis of previous attempts at producing such systems reveals a common set of deficiencies that in-part explain why there have been no overwhelming successes to date. Defeasible logic, a logic with proven successes at representing legal knowledge, seems to overcome many of these deficiencies and is a promising approach to representing legal knowledge. Unfortunately, an immediate application of technology to the challenges in this domain is an expensive and computationally intractable problem. So, in light of the benefits, we seek to find a practical algorithm that uses heuristics to discover an approximate solution. As an outcome of this work, we have developed an algorithm that integrates defeasible logic into a decision support system by automatically deriving its knowledge from databases of precedents. Experiments with the new algorithm are very promising - delivering results comparable to and exceeding other approaches

Transporte vertical: simulación y análisis de sistemas de ascensores

En este trabajo se analiza la historia y el estado del arte de los sistemas de control de grupos de ascensores, y la simulación como herramienta para su desarrollo. Se pasa revista a las investigaciones matemáticas sobre el problema, concluyendo que es un problema NP-Completo. Luego se analiza y clasifica los distintos tipos de algoritmos y estrategias diseñados para atacarlo. Finalmente se implemente un simulador capaz de utilizar dichos algoritmos y se utilizan para estudiar el impacto de los fenómenos de Balking y Reneging en estos sistemas