Logica Nao Trivial
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Diagnóstico cefalométrico eletrônico: contextualização de variáveis cefalométricas
INTRODUÇÃO: avaliações paramétricas clássicas e variáveis cefalométricas isoladas podem não prover a melhor informação em morfologia craniofacial. Por outro lado, uma cefalometria contextualizada pode ser bem mais promissora, uma vez que permite a integração de variáveis cefalométricas ponderadas. OBJETIVO: a proposta principal desse artigo é
Dental Press Journal of Orthodontics. Publicado em: 2011-04
-
2. The inferential architecture underlying meaning in Woody Allens Match Point
Uma interface entre a semântica e a pragmática pode resolver problemas de indeterminação de significado. O presente estudo almeja sugerir modelos de arquiteturas inferenciais com base no Modelo Ampliado de Grice, proposto por Costa (1984, 2004) e no Arcabouço Teórico da Relevância, como vislumbrado por Sperber e Wilson (1986, 1995), para analisar e in
Publicado em: 2008
-
3. Identificação de nomes ativos em agentes-π baseada em tipos
Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algo
Publicado em: 2007
-
4. Application of paraconsistent annotated logic in production engineering decision making. / Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção.
Em Engenharia de Produção, os processos de decisão constituem um dos temas centrais e envolvem fatores de naturezas diversas, que os cercam de dificuldades. Nesses processos, não raramente, estão presentes fatores de natureza subjetiva, informações imprecisas, quando não vagas e mesmo conflitantes, que podem levar a decisões distorcidas, comprometen
Publicado em: 2006
-
5. Logics of formal inconsistency
According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logi
Publicado em: 2005