Raciocínio Comportamental - Estudo sintáctico da relação de satisfação comportamental em lógicas de especificação semi-equacionais

O maior esforço em computação vai na direcção da correcção e adaptação de programas. Uma forma de conseguir melhorar resultados a estes níveis é encapsular alguns dados, i.e., tornar alguns dados invisíveis e permitir acesso a estes apenas por via de um conjunto de operações de resultado visível. Obviamente é importante controlar o comportamento destes dados, nomeadamente saber quando é que dois elementos invisíveis são comportamentalmente equivalentes, no sentido em que o resultado através de qualquer função visível é o mesmo. Neste seminário apresentaremos alguns resultados envolvendo este conceito. Apresentaremos uma caracterização sintáctica para que uma dada equação seja comportamentalmente equivalente relativamente a uma dada teoria. Mostraremos, ainda, como este resultado é importante no estudo da validade comportamental de equações condicionais.