861 resultados para paraconsistent model theory
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.
Resumo:
This paper introduces a new tool for pattern recognition. Called the Discriminative Paraconsistent Machine (DPM), it is based on a supervised discriminative model training that incorporates paraconsistency criteria and allows an intelligent treatment of contradictions and uncertainties. DPMs can be applied to solve problems in many fields of science, using the tests and discussions presented here, which demonstrate their efficacy and usefulness. Major difficulties and challenges that were overcome consisted basically in establishing the proper model with which to represent the concept of paraconsistency.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
This paper analyses the cosmological consequences of amodified theory of gravity whose action integral is built from a linear combination of the Ricci scalar R and a quadratic term in the covariant derivative of R. The resulting Friedmann equations are of the fifth-order in the Hubble function. These equations are solved numerically for a flat space section geometry and pressureless matter. The cosmological parameters of the higher-order model are fit using SN Ia data and X-ray gas mass fraction in galaxy clusters. The best-fit present-day t(0) values for the deceleration parameter, jerk and snap are given. The coupling constant beta of the model is not univocally determined by the data fit, but partially constrained by it. Density parameter Omega(m0) is also determined and shows weak correlation with the other parameters. The model allows for two possible future scenarios: there may be either an eternal expansion or a Rebouncing event depending on the set of values in the space of parameters. The analysis towards the past performed with the best-fit parameters shows that the model is not able to accommodate a matter-dominated stage required to the formation of structure.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
The optimized δ-expansion is used to study vacuum polarization effects in the Walecka model. The optimized δ-expansion is a nonperturbative approach for field theoretic models which combines the techniques of perturbation theory and the variational principle. Vacuum effects on self-energies and the energy density of nuclear matter are studied up to script O sign(δ2). When exchange diagrams are neglected, the traditional relativistic Hartree approximation (RHA) results are exactly reproduced and, using the same set of parameters that saturate nuclear matter in the RHA, a new stable, tightly bound state at high density is found.
Resumo:
We present both analytical and numerical results on the position of partition function zeros on the complex magnetic field plane of the q=2 state (Ising) and the q=3 state Potts model defined on phi(3) Feynman diagrams (thin random graphs). Our analytic results are based on the ideas of destructive interference of coexisting phases and low temperature expansions. For the case of the Ising model, an argument based on a symmetry of the saddle point equations leads us to a nonperturbative proof that the Yang-Lee zeros are located on the unit circle, although no circle theorem is known in this case of random graphs. For the q=3 state Potts model, our perturbative results indicate that the Yang-Lee zeros lie outside the unit circle. Both analytic results are confirmed by finite lattice numerical calculations.
Resumo:
We quantize the superstring on the AdS2 × S2 background with Ramond-Ramond flux using a PSU(1,1\2)/U(1) × U(1) sigma model with a WZ term. One-loop conformal invariance of the model is guaranteed by a general mechanism which holds for coset spaces G/H where G is Ricci-flat and H is the invariant locus of a ℤ4 automorphism of G. This mechanism gives conformal theories for the PSU(1,1\2) × PSU(2\2)/SU(2) × SU(2) and PSU(2,2\4)/SO(4,1) × SO(5) coset spaces, suggesting our results might be useful for quantizing the superstring on AdS3 × S3 and AdS5 × S5 backgrounds. © 2000 Elsevier Science B.V. All rights reserved.