Seminário de Lógica Matemática (SLM)

Automating deduction in non-classical logics: Signed resolution for many-valued logics

Luís M. Augusto Universidade Aberta – MEMC

Instituto para a Investigação Interdisciplinar da UL, Sala B3-01

Abstract:

Automating deduction in non-classical logics is today a major objective, given their many fundamental and practical applications. This is particularly so with respect to many-valued logics, logical systems with truth-value sets with cardinality > 2.

Adapting well-known automated deduction calculi for classical logic has proved to be an efficient way to automate deduction in non-classical logics. In this talk, I show that the resolution calculus combined with the formalism known as signed logic, i.e., signed resolution, is an adequate calculus for automating deduction in (mostly finitely) many-valued logics.

There being the time and the inclination, possible ways to implement signed resolution in resolution-based ATP (automated theorem proving) software may be discussed.

15h00
Marte 2030 - Ciclo de conversas com os pés assentes em Marte

Por Rui Agostinho (IA/Faculdade de Ciências da Universidade de Lisboa) e Pedro Fevereiro (ITQB-NOVA).

Marte 2030 - Ciclo de conversas com os pés assentes em Marte

Por Pedro Machado (IA/Faculdade de Ciências da Universidade de Lisboa) e Isabel Abreu (ITQB-NOVA).

Cursos Avançados cE3c 2018/2019

The objective of this course is to introduce participants to the details of communication and writing scientific publications. The main emphasis is on the most common form, the “primary scientific paper”, but other forms will be covered.

Cursos Avançados cE3c 2018/2019

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity.

Cursos Avançados cE3c 2018/2019

This course introduces the field of island biogeography, a discipline that has long influenced other research areas such as macroecology, community ecology, evolution and conservation biology.

Cursos Avançados cE3c 2018/2019

Lack of fertile land to feed the exponentially growing population, insufficient water availability and quality, changes in the flow of nutrients through the bio-geo-cycles (especially N and P) and climate and land use changes are impacting ecosystems and their capacity to deliv

Cursos Avançados cE3c 2018/2019

Symbiosis is a key strategy for life on Earth. Nevertheless, although many research groups have long been committed to the study of symbiosis, its definition and functioning are not fully understood, and its ecological role and relevance are still underestimated.

In preparation for the new decade, society urgently needs to implement actions that can make us more resilient to the challenges of the 21st century.

Páginas