Spanish AC project corresponding to the EUROCORES FP006 project "Logical Models for Reasoning under Vague Information (LoMoReVI)

The main goal is to develop "formal systems combining fuzziness with both uncertainty and truthlikeness". Fuzziness refers to gradual and vague properties, and most successful information based models to reason with vague propositions are those systems of mathematical fuzzy logic called t-norm based fuzzy logics. On the other hand, uncertainty models deal with incomplete information, and from a logical point of view, uncertainty formalisms are captured by intensional, modal-like logics, ... which are non-truth functional. Truthlikeness, probably the less known of the above three notions, can be regarded as a special case of the more general concept of similarity and its logical counterpart as some form of similarity-based reasoning, where the truthlike value of a sentence is considered as its degree of proximity to the truth (even though it may not be true).

We think that defining modal many-valued logical systems is the right way to attack this combination problem, and this will fill an existing gap in the literature. Our efforts will be devoted to semantic issues. In particular we will study the adaptation of the dialogue game semantics for fuzzy logics, which is also a common focus of interest of the other two partners of the full Eurocores project (Prague and Vienna), to some modal expansions of t-norm based fuzzy logics relevant to the above mentioned combinations. Additional issues over the above t-norm based logical systems that we will develop are fuzzy description logics, temporal and dynamic extensions of modal many-valued logics, as well as flexible inconsistency handling mechanisms such as (i) revision/merging operators which have been scarcely considered in the literature in the many-valued context, or (ii) argumentation models in the presence of vagueness/uncertainty.

ONCNOSIS aims to discover novel molecular tools, therapeutic compounds and developing new technological approaches for disease diagnosis, prognosis and treatment in four selected cancers.

The mission of ARES is to advance the state of the art and the practice of information security and privacy through:

• Edge-cutting, world-class research on information security and privacy, making the latter compatible with the former
• The reinforcement of Spanish participation in the European 7th Framework Programme, specifically in the thematic programmes "Security and space" and "Information and communications technologies"
• The contribution of ARES to higher education in their activity domain by co-operating with the UNESCO Chair in Data Privacy held by the ARES co-ordinator and the doctoral programmes and Bologna master degrees in which the six groups of the team are involved
• The constitution of ARES as a national and international reference team in the domain of information security and privacy;
• The fosterage of technology transfer in information security and privacy towards industry and productive sectors, by means of contracts, agreements, patents and training.

A mid-term ambition of ARES is to become an inter-university research center excelling in information security and privacy. This change of legal status will not be operated immediately, but it is hoped that it can be accomplished within the next five years.
The activity areas of ARES include but are not limited to the following: secure electronic commerce, information privacy, critical infrastructures, intellectual property protection and digital rights management, cryptology, smart cards, personal identification and biometrics, access control and authentication, network security, security certification and trust generation, dependability, security and privacy in ubiquitous (pervasive) computing. The leitmotiv of the proposed research programme is ?National and corporate security vs individual privacy in information and communications technologies?.

The main objective of E-AEGIS is to demonstrate that transaction security in the information society is compatible with consumer privacy. Specifically, this will be demonstrated for the following three scenarios: mobile services (subproject E-AEGIS/M-PRIVACY), digital content management (subproject E-AEGIS/STEGOPRIVACY), and privacy-preserving data mining (subproject EAEGIS/DBPRIVACY).

Subproject E-AEGIS/DBPRIVACY will focus on the creation of synthetic (i.e. simulated) datasets which preserve a certain model present in an original dataset for a number of subdomains (subsets of variables and records). This will enable companies to co-operate in joint market analyses without exchanging their customers' real data, but only synthetic data. To ensure that the synthetic data really do preserve privacy, re-identification methods will be used to measure disclosure risk. New reidentification methods will be designed to take non-independent data into account. The ultimate goal is to use synthetic data also *within a company*: the corporate data warehouse will be fed with synthetic data simulating the real data collected by the operational subsystems; the operational data will be deleted at short time intervals, with the ensuing privacy gain.

The goal of this project is to study the distinct aspects, theoretical as well as applied, of many-valued logic and its computational applications. In particular, we shall consider both fuzzy logics valued on the [0, 1] real interval, along with its associated algebraic semantics, and logics valued on a discrete set (typically for constraint satisfaction problems and of satisfiability). On the one hand, fuzzy t-norm based logics have proved to be a good tool to model imprecision and vagueness, and we intend to study them in depth as a formal founding for approximate reasoning, incorporating elements of decidability and computational complexity. On the other hand, the finitely valued logics are important for the study of constraint satisfaction problems (including the classical satisfiability problem).

In what regards applications of both types of many-valued logics, we propose to divide them in 3 groups:

1. the study of argumentational systems based on many-valued logics, of great interest to multiagent systems,
2. fuzzy description logics, of great interest for ontologies and the semantic web, and
3. the design and application of many-valued satisfiability algorithms and their application to the resolution of computationally difficult problems.

MULOG 2 / Presupuesto total: 121.000? / Personal 34.300 / Gastos ejecución: 65.700 / Costes indirectos 21.000

The current project is focused on propositional logic as a foundation for computer science. We will study classical logic, as well as multivalued logic, looking at the foundation of multivalued logic based on t-norms, and the proof theory of both logics. Moreover, we will apply this knowledge to automated deduction, hardware verification and implementation of heuristics for computationally hard problems. The topics will be:

1. logic and algebraic foundation of multivalued logic;
2. applications to this logics to the study of approximate reasoning for further creation of intelligent systems;
3. study of classical deduction systems from the point of view of computational complexity;
4. extension to multivalued logic of the results obtained in classical proof theory;
5. theoretical foundation of automated deduction;
6. algorithms and implementations of classical SAT and signed SAT (multivalued), as well as implementations of proof systems.