Lógica equacional e relações de consequência, parte 4
Petrucio Viana (UFF)
Lógica equacional e relações de consequência, parte 3 [slides 2]
Petrucio Viana (UFF)
Lógica equacional e relações de consequência, parte 2
Petrucio Viana (UFF)
Lógica equacional e relações de consequência [slides 1]
Petrucio Viana (UFF)
Ideias iniciais para um trabalho em andamento, em conjunto com Renata de Freitas (IME-UFF) e Leandro Suguitani (CLE-UNICAMP):
Descrevemos a sintaxe e a semântica da lógica equacional. Definimos a noção geral de relação de consequência. Definimos as duas principais relações de consequência entre conjuntos de igualdades e igualdades: consequência global (CG) e consequência local (CL). Discutimos as principais semelhanças e diferenças entre CG e CL. Apresentamos duas noções de prova de igualdades a partir de conjuntos de igualdades: provas sem substituição (SS) e provas com substituição (CS). Mostramos que SS é completa para CL. Mostramos como o resultado acima fornece uma prova direta de que CS é completa para CG. Discutimos a possibilidade de que este resultado forneça um método geral para provas de completude de noções de prova (equacionais) para relações de consequência (na lógica equacional).
Provas com Diagramas em Matemática Discreta, Parte 2 - Relações [slides]
Renata de Freitas e Petrucio Viana (UFF)
Provas com Diagramas em Matemática Discreta, Parte 1 - Conjuntos [slides]
Renata de Freitas e Petrucio Viana (UFF)
Este seminário é parte dos trabalhos da Coordenação da área de Lógica e Fundamentos. Assim, convidamos especialmente os professores que estão atuando, já atuaram, gostariam de atuar em disciplinas da área.
Moving Arrows and Four Model Checking Results
Guillaume Hoffmann (University of Córdoba, Argentina)
We study dynamic modal operators that can change the model during the evaluation of a formula. In particular, we extend the basic modal language with modalities that are able to swap, delete or add pairs of related elements of the domain, while traversing an edge of the accessibility relation. We study these languages together with the sabotage modal logic, which can arbitrarily delete edges of the model. We define a suitable notion of bisimulation for the basic modal logic extended with each of the new dynamic operators and investigate their expressive power, showing that they are all uncomparable. We also show that the complexity of their model checking problems is PSpace-complete.
Silogística aristotélica vestida com roupas pós-modernas - validade de argumentos com uma premissa II
Renata de Freitas (UFF)
Silogística aristotélica vestida com roupas pós-modernas - validade de argumentos com uma premissa I
Renata de Freitas (UFF)
Silogística aristotélica vestida com roupas pós-modernas - validade de argumentos (estratégia para a solução do problema)
Petrucio Viana (UFF)
Sistemas dedutivos no estilo de dedução natural para Lógicas Descritivas com "Geralmente" - Parte II
Leonardo B. Vana
Sistemas dedutivos no estilo de dedução natural para Lógicas Descritivas com "Geralmente" - Parte I
Leonardo B. Vana
As lógicas descritivas (LD’s) são formalismos utilizados para a representação de uma base de conhecimento e na inferência de informações implícitas em uma base de conhecimento. Em LD’s podemos, por exemplo, expressar que "alimento saudável" é equivalente a "alimento não rico em gordura". Diferentemente da Lógica de Primeira Ordem as LD’s são decidíveis. Nas Lógicas Descritivas com "Geralmente" (LDG’s) queremos aumentar o poder de expressão das LD’s, de modo, a representar uma base de conhecimento com afirmações que contêm noções vagas, tais como "geralmente", "muitos", "raramente" etc. que ocorrem frequentemente em linguagem natural e em vários ramos da ciência. As Lógicas Descritivas com "Geralmente" captam as distintas noções de "geralmente" e são obtidas estendendo as Lógicas Descritivas pela introdução de um novo quantificador para representar "geralmente", "muitos" etc. Intuitivamente, este quantificador é utilizado para expressar "objetos geralmente têm uma dada propriedade". Os sistemas dedutivos no estilo de dedução natural para as Lógicas Descritivas com "Geralmente" são construídos com a adição de regras que refletem as distintas noções de "geralmente" aos sistemas dedutivos originalmente desenvolvidos para as Lógicas Descritivas.
Silogística aristotélica vestida com roupas pós-modernas - validade de argumentos (o problema)
Petrucio Viana (UFF)
Silogística aristotélica vestida com roupas pós-modernas - semântica
Petrucio Viana (UFF)
Silogística aristotélica vestida com roupas pós-modernas - linguagem
Petrucio Viana (UFF)
Problemas Decidíveis e Problemas Indecidíveis: O Legado de Alan Turing
Ruy de Queiroz (Centro de Informática, UFPE)
Alan Turing (1912-1954), matemático, lógico, criptoanalista e cientista da computação britânico, foi fundamental no desenvolvimento da ciência da computação e proporcionou uma formalização do conceito de algoritmo e computação através do modelo matemático idealizado da "máquina de Turing". Tendo desempenhado importante papel na quebra do código da máquina ENIGMA utilizada pelo exército alemão na Segunda Guerra, passou de herói de guerra a um fora-da-lei sujeito a tratamento quimico-hormonal forçado devido a sua homossexualidade. Em homenagem ao centenário de seu nascimento, a intenção aqui é fazer uma reflexão sobre o legado desse que foi, ao mesmo tempo, herói nacional e uma ameaça ao estado britânico: de fundamental importância na consolidação da ciência da computação, da noção de máquina universal, assim como da teoria da decidibilidade de problemas matemáticos, Turing abriu caminho para a demonstração de que certos problemas da Matemática são indecidíveis, a exemplo do décimo problema de Hilbert. Alguns subprodutos de sua investigação teórica, tais como o computador de propósito geral e a noção de inteligência artificial, serviram de base para os que muitos chamam de "Quarta Revolução Tecnológica - A Revolução da Informação". (http://osventosdaliberdade.blogspot.com.br/2012/07/a-insolubilidade-de-problemas.html)