The BANKSY project, funded by the Portuguese Foundation for Science and Technology (FCT), promises to innovate the way we deal with contexts characterised by incomplete, uncertain or even contradictory information. With a planned duration of three years, the project is the result of a partnership between INESC TEC, CIDMA, the University of Aveiro and AIBILI (Association for Innovation and Biomedical Research on Light and Image).

The project aims to develop new non-classical logics and reasoning tools capable of modelling real-world situations in which traditional approaches – whether bivalent or probabilistic – prove insufficient. It seeks to create solid theoretical and instrumental foundations for robust reasoning over data that are simultaneously incomplete and inconsistent, an increasingly pressing need in fields like healthcare, Artificial Intelligence and the analysis of complex systems.

INESC TEC leads the consortium and will contribute to all technical and scientific tasks, particularly in the development of theory and modelling tools. The team includes Luís Soares Barbosa and Renato Neves, lecturers at the School of Engineering of University of Minho, as well as several PhD students working in this research area.

“BANKSY builds on theoretical work previously developed and published, consolidating a line of research that has been gaining international visibility in the field of dynamic logic,” mentioned Luís Soares Barbosa, an INESC TEC researcher dedicated to Quantum Computing.

The project’s conceptual framework is based on the coexistence of positive and negative accessibility relations, linked with truth spaces defined through algebraic structures known as residuated lattices. This framework will enable the construction of a modelling language and a paraconsistent modal logic suited to representing and verifying properties of systems that operate with contradictory data.

The project will be applied to a concrete use case in the healthcare domain: the diagnosis of age-related macular degeneration (AMD), provided by the biomedical laboratory AIBILI.

The researchers mentioned in this news piece are associated with INESC TEC and UMinho.

SOURCE: BIP