Artificial Intelligence

Approximate Reasoning and Soft computing

Many real problems cannot be modelled in the frame of Classical Logic. Different methods and their formalization to deal with uncertainty and imprecision are studied and applied to build intelligent systems.


Automated Reasoning

This field deals with deduction problems expressed in some kind of Logic. Currently, we work actively with classical, multivalued and higher order Logics. The goal is to chain adequately the inferences to solve automatically the deduction problems at hand. As the deduction problems we treat are difficult to solve, the analysis and optimization of the needed resources, mainly the time, is mandatory.

Autonomous Agents

Autonomous agents are software entities that can perceive the environment in wich they are, predictible or unpredictible, and can act over it, with the purpose of achieving his goals, indicated previously. The agent decides itself How interacts with this environment, and this is the key factor of autnonomy.

Autonomous Agent

Autonomous Robots

Autonomous robots are intelligent machines capable of realizing tasks in their environment, without explicit human control.


Case-Based Reasoning

Case Based Reasoning (CBR) is an Artificial Intelligence technique that relies on the use of past experiences to solve new problems by assuming similar problems have similar solutions.

Combinatorial Optimization Problems

Combinatorial optimization is a branch of optimization. Its domain is optimization problems where the set of feasible solutions is discrete or can be reduced to a discrete one, and the goal is to find the best possible solution.

To deal with problems of combinatorial optimization, the objective is to find the best solution or optimal solution, one that minimizes a given cost function.

Constraint Optimization

Constraint optimization is a useful framework for modelling and solving many combinatorial optimization problems. It is central in mutiple Artificial Intelligence problems, especially in areas related to scheduling, logistics and planning.


Data Privacy

Data privacy, or information privacy is the relationship between collection and dissemination of data. Privacy concerns exist wherever personally identifiable information is collected and stored - in digital form or otherwise. Improper or non-existent disclosure control can be the root cause for privacy issues. 


Decision Support Systems

A Decision support system (DSS) is a computer-based information system which helps the user to make better decisions, improved quality of care and reduce cost without loss of quality.


DSS modulus


Electronic Institutions

Electronic Institutions are a way to implement interaction conventions for agents - human or software - who can establish commitments on an open environment.


EIDE Interaction.