Advanced search
Start date
Betweenand

Computing logical consequence in Lukasiewicz infinitely-valued logic

Grant number: 21/10134-0
Support type:Scholarships abroad - Research Internship - Post-doctor
Effective date (Start): March 01, 2022
Effective date (End): November 30, 2022
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Principal researcher:Marcelo Finger
Grantee:Sandro Márcio da Silva Preto
Supervisor abroad: Felip Manya
Home Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil
Research place: Instituto de Investigación en Inteligencia Artificial (IIIA), Spain  
Associated to the scholarship:21/03117-2 - Formal verification of neural networks via Lukasiewicz infinitely-valued logic, BP.PD

Abstract

Although there are many literature and already implemented routines for treating the problems of satisfiability and validity of formulas in the Lukasiewicz Infinitely-valued Logic, we are unaware of works dealing with the problem of deciding the validity of a logical consequence in such logical system. This research project aims first to establish and implement algorithms for this problem in three different approaches. In the first approach, the problem will be reduced to a satisfiability modulo theory problem; in the second one, it will be reduced to a classical satisfiability problem; and in the third one, it will be reduced to the problem of satisfiability of signed conjunctive normal form formulas. Experiments will be conducted in all the implementations in order to rate and compare them according to their efficiency. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)