Fibrilação Modulada e o Problema do Colapso
15/02/2001 Quinta-feira, 15 de Fevereiro 2001, 14h, Sala B2-01
Cristina Sernadas
(Instituto Superior Técnico, Portugal)
Embora as tecnicas de fibrilacao constituam um dos pilares mais importantes da combinacao de logicas, existe, entre outros, o desafio posto pelo chamado problema do colapso: mesmo quando nao se partilham simbolos, certas combinacoes de logicas colapsam numa delas indicando que a nocao de fibrilacao nao 'e suficientemente fina pois impoe interaccoes indesejaveis entre as logicas dadas. O conceito de fibrilacao modulada permite resolver este problema. A semantica da fibrilacao modulada aparece como construcao universal na categoria dos sistemas de interpretacao adoptando morfismos mais gerais. Propriedades importantes sao estabelecidas nomeadamente a preservacao da completude, e a fibrilacao original 'e recuperada como caso particular.
|