Search results for " Logic"
showing 10 items of 1720 documents
Quantifying stenosis in renal arteriograms: a fuzzy syntactic analysis.
1999
AbstractThe introduction of fuzzy logic improves a system for the automatic quantification of renal artery lesions seen in digital subtraction angiograms. A two-step approach has been followed. An earlier system based on non-fuzzy syntactic analysis provided a clear symbolic description of the stenotic lesions. Although this system worked correctly, it did not take into account the variability and uncertainty inherent to image processing and to knowledge on the reference diameter. This system has been improved by the introduction of fuzzy logic in the representation of the reference diameter. It provides a description of the stenosis in terms of fuzzy quantities. To illustrate the benefits …
Jerarquización y preferencia de valores en los estudiantes de secundaria = Hierarchial structuring and preference of values in the students of second…
2014
This article describes a study of the values and variables that influence hierarchical structuring in secondary school students. The main objectives are to determine which are the preferred values and to compare in what manner gender and age are related to the values of adolescents. The study is conducted with a sample (n=114) of male and female secondary school students, between 14 and 18 years old. The results show that the two variables (gender and age) are related to the subject’s values. Girls prefer final values, more abstract and internalized values; opposite to the instrumental, more egocentric and material values, preferred by boys. Regarding age influence, as they grow older, adol…
A Theoretical Agent-Based Model to simulate an Artificial Social Evolution
2013
Agent-based social simulation as a computational approach to social simulation has been largely used to explore social phenomena. The purpose of this paper is to build a theoretical agent-based model to simulate the social evolution of a set of agents/artificial societies. In this model, each agent (artificial society) has an available number of social behaviours that compete among each other. The agent/agent interactions are carried out by their social otherwise, the agent/environment interactions are expressed through the consumption of ecological resources in repression and satisfaction by social behaviours of the agent. In this work, we will present the structure and the formulation of …
Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma
2017
The paper is concerned with the problem of building models for first-order languages from the perspective of the classic paper of Rasiowa and Sikorski [9]. The central idea, developed in this paper, consists in constructing first-order models from individual variables. The key notion of a Rasiowa–Sikorski set of formulas for an arbitrary countable language L is examined. Each Rasiowa–Sikorski set defines a countable model for L . Conversely, every countable model for L is determined by a Rasiowa–Sikorski set. The focus is on constructing Rasiowa–Sikorski sets by applying forcing techniques restricted to Boolean algebras arising from the subsets of the set of atomic formulas of L .
Fixed point theorems for fuzzy mappings and applications to ordinary fuzzy differential equations
2014
Abstract Ran and Reurings (Proc. Am. Math. Soc. 132(5):1435-1443, 2004) proved an analog of the Banach contraction principle in metric spaces endowed with a partial order and discussed some applications to matrix equations. The main novelty in the paper of Ran and Reurings involved combining the ideas in the contraction principle with those in the monotone iterative technique. Motivated by this, we present some common fixed point results for a pair of fuzzy mappings satisfying an almost generalized contractive condition in partially ordered complete metric spaces. Also we give some examples and an application to illustrate our results. MSC:46S40, 47H10, 34A70, 54E50.
Algebre, Gettoni, Enunciati
2021
The paper aims at describing some differences between the formal languages of Mathematics and the features of Natural Language
Conditioning on MV-algebras and additive measures —I
1997
Abstract We present a lattice-ordered semigroup approach for the foundation of conditional events which covers the special situations where the underlying (unconditional) events are Boolean or fuzzy, respectively. Our proposal is quite different from other, ring theoretical, approaches. The problem of extending additivity of uncertainty measures from unconditional to conditional events will be discussed.