Logica De Primeira Ordem
Mostrando 1-12 de 47 artigos, teses e dissertações.
-
1. Análises prospectivas em mineralizações hospedadas em depósitos orogênico e do tipo óxido de ferro-cobre-ouro-(prata) no Greenstone Belt Faina, Brasil, utilizando dados multifonte
RESUMO: O Greenstone Belt Faina está localizado na porção sul do Bloco Arqueano de Goiás e vem sendo pesquisado desde o século XVIII por conta dos seus depósitos auríferos. Estudos recentes revelaram o potencial polimetálico do cinturão, em razão dos valores anômalos de Ag, Cu, Fe e Co, além de Mn, Ba, Li, Ni, Cr e Zn. Este estudo foi desenvolvid
Braz. J. Geol.. Publicado em: 2017-12
-
2. Travessias pela literatura portuguesa: estudos críticos de Saramago a Vieira
O que poderá talvez deixar mais intrigado o leitor que pela primeira vez se depare com o título Travessias pela Literatura Portuguesa: estudos críticos de Saramago a Vieira é a aparente anomalia na disposição dos nomes que aparecem em subtítulo: de Saramago a Vieira. Não faria mais lógica de Vieira a Saramago? No entanto, quando percorremos o conjunto de oito artigos que compõem este volume, compreendemos que eles não estão dispostos por ordem cronológica.
Autor(es):
EDUEPB. Publicado em: 2013
-
3. Música e ato / Musician and act
O presente trabalho é divido em três partes. A primeira é uma exposição crítica da formação do músico intérprete, forjada na metodologia do Conservatório pós-Revolução Francesa e estabelecida no Romantismo. Compara-se essa "mentalidade" à noção da "sociedade disciplinar", "sociedade dos corpos dóceis", desenvolvida por Michel Foucault (2007
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/02/2012
-
4. Inventando a minha subjetividade de idosa: uma abordagem complexa
O artigo trata de reflexões afetivo-cognitivas que emergiram a partir de pesquisas com cognição em uma abordagem complexa ao longo da vida da autora. Ela faz, então, um rápido histórico da modernidade em termos das pesadas consequências para a humanidade que isso acarreta ao criar fragmentações de todas as dimensões da realidade, o que implicaria s
Rev. bras. geriatr. gerontol.. Publicado em: 2012-12
-
5. Hannah Arendt e a abrangência do conceito de Banalidade do Mal
Com esta dissertação, pretende-se ampliar a abrangência do conceito de Banalidade do Mal, um termo criado por Hannah Arendt para qualificar um Mal que não fora ainda detectado com uma forma própria e que ela observou no nazista Adolf Eichmann durante seu julgamento em Jerusalém em 1962. Ela o chamou de um Mal sem raízes, que é como um fungo na superf
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/10/2011
-
6. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. / Probabilistic logics with independence relationships: knowledge representation and machine learning.
A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem que tanto as sentenças lógicas como as probabilidades sejam especificadas por especialistas. Entretanto, a crescente disponibilidade de dados relacionais sugere o uso de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/05/2011
-
7. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
8. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
9. 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
-
10. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
11. Redes lógicas de Markov aplicadas ao aprendizado de classificadores automáticos de dados. / Markov logic networks applied to learning of automatic data classifiers.
Sistemas de computação têm se tornado maiores e mais complexos com o objetivo de lidar com a vasta quantidade de dados disponíveis. Uma tarefa decisiva em tais sistemas é classificar estes dados, bem como extrair informação útil destes. Nesta dissertação, testam-se as redes lógicas de Markov como linguagem para especificação e aprendizado de cla
Publicado em: 2010
-
12. Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos / Lop: a unified approach of algebraic specification, object-orientation and processes
A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedade
Publicado em: 2010