Artificial Intelligence

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.

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 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 robots are intelligent machines capable of realizing tasks in their environment, without explicit human control.

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.

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 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, 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. 

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.

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