Grafos De Prova
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. Relational approach of graph grammars / Abordagem relacional de gramática de grafos
Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento é essencialmente orientado pelos dados, isto é, eventos são disparados por configurações particulares do estado. Vários siste
Publicado em: 2010
-
2. Representação de conhecimento : programação em lógica e o modelo das hiperredes / Knowledge representation: logic programming and the hypernets model
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema
Publicado em: 2010
-
3. Em DireÃÃo aos N-Grafos Intuicionistas
A apresentaÃÃo dos N-Grafos foi feita por De Oliveira no ano 2001. Este à um sistema de provas que possui regras lÃgicas representadas graficamente por meio de digrafos. Estes grafos de provas se baseiam na deduÃÃo natural e no cÃlculo de sequentes de Gentzen, combinando idÃias de quatro abordagens geomÃtricas consolidadas na literatura de teoria da
Publicado em: 2009
-
4. Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
O presente trabalho é baseada em dois aspectos fundamentais: (i) o estudo de procedimentos de normalização para sistemas de provas, especialmente para a lógica clássica com dedução natural; e (ii) a investigação de técnicas da perspectiva geométrica aplicadas em propriedades da teoria da prova. Com isso, a motivação específica deste trabalho re
Publicado em: 2009
-
5. DistribuiÃÃo de pesos de bases de uma matrÃide
Muitas situaÃÃes no dia-dia podem ser descritas por meio de um diagrama que consiste de um conjunto de pontos e linhas que unem certos pares desses pontos. Por exemplo, podemos pensar nos pontos como terminais rodoviÃrios e nas linhas como sendo as estradas. Uma abstraÃÃo matemÃtica para esse tipo de situaÃÃo aparece no conceito de grafos. Em 1992, M
Publicado em: 2008
-
6. Deciding difference logic in a Nelson-Oppen combination framework
O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modul
Publicado em: 2007
-
7. Um estudo computacional sobre o problema de decomposiÃÃo de grafos em Ãrvore / A computational study of the tree decomposition problem
A noÃÃo de DecomposiÃÃo em Ãrvore foi introduzida por Robertson e Seymour em sua sÃrie de artigos sobre menores de grafos e pode ser definida, intuitivamente, como uma organizaÃÃo dos vÃrtices e arestas do grafo em uma estrutura de Ãrvore, sendo a largura da decomposiÃÃo igual ao tamanho do maior subconjunto de vÃrtices relacionado a um nà dest
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2005
-
8. NormalizaÃÃo para os N-Grafos
The main tools of general proof theory are cut-elimination (classical sequent calculus) and normalization (classical natural deduction). In proof theory, both tools are used by several related investigations. But, when we consider a normalization procedure for classical logic with a proof structure which presents more than one conclusion, we find few related
Publicado em: 2005
-
9. Refactoring as formal refinements / Refactoring as formal refinements
A reestruturaÂc~ao de programas no contexto da orientaÂc~ao a objeto Âe tambÂem conhecida como refactoring e consiste em mudanÂcas na estrutura interna de um software, sem modiÂcar seu com- portamento externo, a Âm de melhorar sua legibilidade e tornÂa-lo mais fÂacil de passar por futuras mudanÂcas. Na prÂatica, refactoring baseia-se em compilaÂc
Publicado em: 2004
-
10. Um estudo do sistema Oyster-Clam, implementação de reescrita de tipos e uma formalização parcial da teoria dos grafos
Nesta tese, mostramos uma implementação do processo de diagonalização de Cantor no sistema de prova de teoremas Oyster-Clam. Para isto, tivemos que estender o Oyster com comparação e indução em tipos, e desenvolvemos um método e algumas regras de reescrita. As regras de reescrita lidam com tipos, o que não era suportado ainda no sistema Oyster-Clam
Publicado em: 1997