Conjuntos Indutivos
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Minimal Model and hierarchy of expressive power / Modelos minimais e hierarquia de expressividade
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃt
Publicado em: 2007
-
2. Sobre o processo de seleção de subconjuntos de atributos - as abordagens filtro e wrapper.
Métodos indutivos de aprendizado de máquina aprendem a expressão do conceito a partir de um conjunto de treinamento. Conjuntos de treinamento são, na maioria das vezes, compostos por instâncias descritas por pares atributo-valor e uma classe associada. O conjunto de atributos usado para descrever as instâncias de treinamento tem um forte impacto na exp
Publicado em: 2005
-
3. O uso das isometrias do Software Cabri-Gèométre como recurso no processo de prova e demonstração
Este trabalho tem como objetivo a investigação de uma abordagem sobre o ensino e a aprendizagem da prova, baseada no uso das ferramentas de transformação geométrica do software Cabri-Géomètre. Pesquisas já realizadas sobre este tema verificaram que, tanto a ênfase predominantemente nos aspectos indutivos, quanto nos dedutivos, não são suficientes
Publicado em: 2004
-
4. Logicas moduladas e raciocinio sob incerteza
Este trabalho introduz uma ampla família de extensões monotônicas da lógica de primeira ordem, denominada lógicas moduladas, construída estendendo a lógica clássica por meio de quantificadores generalizados, chamados quantificadores modulados. Tais quantificadores representam várias formas de raciocínio indutivo. Alguns resultados gerais em teoria
Publicado em: 1999