Deduction and Programming in Non-Classical Logics for Knowledge-based Technology

Project TIC2003-09001-C02-01

Main Researcher: Manuel Ojeda Aciego


This project deals with the study of mathematical foundations, and later development, of deduction and programming in several types of non-classical logics, especially multiple-valued logics and intermediate logics, with the aim of providing means for intelligent management of information. The classical problem of deduction is, given explicit knowledge expressed in a given formalism together with a set of inference rules, to deduce the implicit knowledge which could be relevant for applications. Specifically, we are interested in those knowledge bases containing uncertain or incomplete information, to develop mechanisms of analysis in which vague or imprecise queries are permitted.

A first formal framework chosen is fuzzy logic and different paradigms of fuzzy logic programming. In this project we propose the development of a theoretical framework which generalizes different existent approaches to logic programming in vague or imprecise contexts by considering different lattice-like generalized structures as the set of truth-values: bilattices, trilattices, multilattices, biresiduated lattices, etc. For this general goal, two additional specific problems will be addressed: firstly, unification in these general contexts, in which categorical techniques are expected to be useful and, secondly, automated deduction in these systems, in which we will use the TAS methodology.

From the programming point of view, extensions are sought of the paradigm of Answer Set Programming (ASP) which in turn is already a generalisation of classical logic programming. These extensions of ASP can be implemented either in existing implimentations of ASP, or by using systems based on quantified boolean formulas (e.g. QUIP), or by using TAS. The importance of basic research in these logical systems for Knowledge Technology is driven by the numerous potential applications they offer for modeling and solving problems in areas such as information management, cognitive robotics, Semantic Web, etc.

Main GIMAC's page