Towards a unified setting for non-monotony and paraconsistency
Grant number: | 23/01165-5 |
Support Opportunities: | Scholarships abroad - Research |
Start date: | August 01, 2023 |
End date: | January 31, 2024 |
Field of knowledge: | Physical Sciences and Mathematics - Computer Science |
Principal Investigator: | Glauber de Bona |
Grantee: | Glauber de Bona |
Host Investigator: | Anthony Hunter |
Host Institution: | Escola Politécnica (EP). Universidade de São Paulo (USP). São Paulo , SP, Brazil |
Institution abroad: | University College London (UCL), England |
Abstract In Artificial Intelligence, we often come across inconsistencies, hence the importance of its handling. When we deal with inconsistent pieces of information, we are interested in analysing such inconsistency. As usually not every part is contributing to the inconsistency of the whole, this analysis starts with a crucial question: "where is the inconsistency?" or, more precisely, "which parts are in fact conflicting?". Answering this question is fundamental to restore consistency, allowing us to focus on the problematic parts; for instance, by identifying the unreliable sources of information (experts, sensors, etc).In classical logic, minimal inconsistent sets (or minimal conflicts) have typically been the only solution to the problem of determining which subsets are causing the inconsistency; and, in fact, they are sufficient in most contexts. Nevertheless, *-conflicts have recently been proposed as a conflict definition more suitable for certain scenarios, where focusing on minimal conflicts may lead to undesirable results.The *-conflicts are only a first attempt to generalise the minimal conflicts and are not meant to be an ultimate solution. Actually, in this project we intend to explore a new kind of conflict, which we call subminimal conflicts. More importantly, to assess and compare different ways of localising inconsistency, this project aims to propose desirable properties for the corresponding definitions of conflict. We intend to then study the compatibility of these properties and employ them to guide the formulation of new notions of conflict. In particular, we will also study the computational complexity of these methods, aiming at their application to real problems. (AU) | |
News published in Agência FAPESP Newsletter about the scholarship: | |
More itemsLess items | |
TITULO | |
Articles published in other media outlets ( ): | |
More itemsLess items | |
VEICULO: TITULO (DATA) | |
VEICULO: TITULO (DATA) | |