Free University of Bozen - Bolzano Technische Universität Dresden Universidade Nova de Lisboa Universidad Politécnica de Madrid Vienna University of Technology NICTA

About  |  The Program  |  Grants  |  Further Information  |  Student Workshops  |  For Current Students  |  Internals  |  Contact & Imprint

General Course Program  -  Modules at the Universidad Politécnica de Madrid (UPM)


Module ECTS Credits Person in Charge
Basic Modules
Advanced Logics 9 Jim Lipton
Integrated Logic Systems 9 Jim Lipton
Declarative, Logic and
Constraint Programming		 12 Manuel Hermenegildo
Logical Foundations 12 Francisco Bueno Carrillo
Advanced Modules
Logic Systems Applications 12 Juan José Moreno Navarro
Soft-computing 12 Juan José Moreno Navarro
Software development using
declarative technology		 12 Juan José Moreno Navarro
Web semantics 12 Juan José Moreno Navarro

Description of the Advanced Modules

Logic Systems Applications

Keywords:  natural language, machine learning, applications of logic systems, symbolic applications, symbolic computation.

This module presents advanced applications of logic systems and symbolic computations techniques. All of them are based on declarative technology (use of logic and funcional languages, reasoning with computational logic, use of logics in the design, etc.) and therefore are built onto previous modules.

The total number of 12 credit points for this module are attained by attending the following subjects:

Prerequisites:  Basic knowledge in logic and reasoning as presented in the module `Logical Foundations' as well as declarative programming languages covered by the `Declarative, Logic and Constraint Programming' module.

Person in charge:  Juan José Moreno Navarro

Software development using declarative technology

Keywords:  formal methods, specification languages, component based software, software architectures, distributed computing, software development tools, abstract interpretation, declarative debugging

This module is concerned with advanced software development techniques based on declarative and formal methods. As software is increasingly complex, software reliability and quality is playing a more important role and it can only be achieved by using automatic tools. This includes topics like specification languages (syntax and semantics), software verification, validation, and debugging, software analysis and advanced compilers (using abstract interpretation techniques), and a concrete example of a kind of software (component based software) that can be developed using this technology.

The total number of 18 credit points for this module are attained by attending the following subjects:

Prerequisites:  Basic knowledge in predicate logic as presented in the module `Logical Foundations' as well as declarative programming languages covered by the `Declarative, Logic and Constraint Programming' module.

Person in charge:  Juan José Moreno Navarro

Soft-computing

Keywords:  soft-computing, fuzzy sets, fuzzy logic

This module is basically concerned with fuzzy logic and its applications. The term "fuzzy logic" emerged in the development of the theory of fuzzy sets by Lotfi Zadeh. A fuzzy subset A of a (crisp) set X is characterized by assigning to each element x of X the degree of membership of x in A (e.g. X is a group of people, A the fuzzy set of old people in X). Now if X is a set of propositions then its elements may be assigned their degree of truth, which may be “absolutely true,” “absolutely false” or some intermediate truth degree: a proposition may be more true than another proposition. This is obvious in the case of vague (imprecise) propositions like “this person is old”(beautiful, rich, etc.). In the analogy to various definitions of operations on fuzzy sets (intersection, union, complement, …) one may ask how propositions can be combined by connectives (conjunction, disjunction, negation, …)and if the truth degree of a composed proposition is determined by the truth degrees of its components, i.e. if the connectives have their corresponding truth functions (like truth tables of classical logic). Saying “yes” (which is the mainstream of fuzzy logic) one accepts the truth-functional approach; this makes fuzzy logic to something distinctly different from probability theory since the latter is not truth-functional (the probability of conjunction of two propositions is not determined by the probabilities of those propositions). Interesting applications are also discussed.

The total number of 12 credit points for this module are attained by attending the following subjects:

Prerequisites:  Basic knowledge in logic as presented in the module `Logical Foundations' as well as advanced logics included in the `Advanced Logics' module.

Person in charge:  Juan José Moreno Navarro

Web semantics

Keywords:  semantics web, onthologies, agent technology, multiagents systems

The module introduces concepts related with the Semantic Web. The Semantic Web is a vision of the next generation Internet as intelligently linked, agent-driven, structured collections of machine-readable information through the use of metadata and software tools. Different aspects linked with this idea are discussed, like the use of metadata and onthologies, common standards, agents and multiagents systems. Practical applications are discussed.

The total number of 12 credit points for this module are attained by attending the following subjects:

Prerequisites:  Basic knowledge in logic as presented in the module `Logical Foundations', as advanced logics included in the `Advanced Logics' module, and declarative programming languages covered by the `Declarative, Logic and Constraint Programming' module.

Person in charge:  Juan José Moreno Navarro


For further information, see the pages of the Ingeniero Superior en Informática con la especialización en Computación Lógica or contact Prof. Manuel Hermenegildo.