7 resultados para Logic and Foundations
em Universidad de Alicante
Resumo:
Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.
Resumo:
Current model-driven Web Engineering approaches (such as OO-H, UWE or WebML) provide a set of methods and supporting tools for a systematic design and development of Web applications. Each method addresses different concerns using separate models (content, navigation, presentation, business logic, etc.), and provide model compilers that produce most of the logic and Web pages of the application from these models. However, these proposals also have some limitations, especially for exchanging models or representing further modeling concerns, such as architectural styles, technology independence, or distribution. A possible solution to these issues is provided by making model-driven Web Engineering proposals interoperate, being able to complement each other, and to exchange models between the different tools. MDWEnet is a recent initiative started by a small group of researchers working on model-driven Web Engineering (MDWE). Its goal is to improve current practices and tools for the model-driven development of Web applications for better interoperability. The proposal is based on the strengths of current model-driven Web Engineering methods, and the existing experience and knowledge in the field. This paper presents the background, motivation, scope, and objectives of MDWEnet. Furthermore, it reports on the MDWEnet results and achievements so far, and its future plan of actions.
Resumo:
La diversidad cultural se refleja en las aulas. Es una de las variables que tiene influencia crucial en el clima en el centro. Esta investigación tiene como objetivos analizar la complejidad de la Educación Intercultural, ofrecer fundamentos teóricos para abordar la problemática de la incorporación de alumnos extranjeros al sistema educativo, y plantear modelos alternativos de integración para optimizar la gestión de la interculturalidad. La metodología empleada se basa en el diseño descriptivo. Utilizamos técnicas cuantitativas y cualitativas. Empleamos, como instrumento de investigación, un cuestionario, elaborado por el Grupo Interdisciplinario de Teoría de la Educación, de la Universidad de Alicante. Los resultados de la aplicación del cuestionario, a 3.820 profesores, muestran la existencia de conductas, en el aula, vinculadas con el racismo y la xenofobia. En este trabajo, planteamos la defensa del modelo holístico de Educación Intercultural y observamos los principios y cuestiones clave que hay que considerar para una intervención eficaz.
Resumo:
Introducción. En un contexto de incremento de las desigualdades y de la pobreza en la sociedad española, donde el desmantelamiento del Estado de Bienestar reduce la posibilidad de encontrar recursos e implementar políticas públicas de reducción de estos efectos; la Sociedad Civil y la ciudadanía desarrollan prácticas resilientes orientadas a satisfacer las necesidades de las comunidades más afectadas por el desempleo y el recorte de servicios sociales. Material y métodos. a) Datos secundarios estadísticos procedentes de organismos y fundaciones; y webs de organizaciones resilientes; b) datos primarios producidos a partir de entrevistas y grupos de discusión. Metodología de análisis de contenido y análisis de discurso. Resultados y discusión. las prácticas resilientes como satisfactores de necesidades, son estructuradas a partir de dos dimensiones adaptación/transformación; dependencia/autonomía. Se observa que estas prácticas cuanto más abstracción presentan (de las necesidades concretas relacionadas con la subsistencia, a las necesidades más intangibles relacionadas con cuestiones simbólicas e identitarias), mayor complejidad en su diseño y organización, y mayor potencia como satisfactor.
Resumo:
This paper outlines the approach adopted by the PLSI research group at University of Alicante in the PASCAL-2006 second Recognising Textual Entailment challenge. Our system is composed of several components. On the one hand, the first component performs the derivation of the logic forms of the text/hypothesis pairs and, on the other hand, the second component provides us with a similarity score given by the semantic relations between the derived logic forms. In order to obtain this score we apply several measures of similitude and relatedness based on the structure and content of WordNet.
Resumo:
This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.
Resumo:
In this article, the authors propose a theory of the truth value of propositions from a logic-mathematical point of view. The work that the authors present is an attempt to address this question from an epistemological, linguistic, and logical-mathematical point of view. What is it to exist and how do we define existence? The main objective of this work is an approach to the first of these questions. We leave a more thorough treatment of the problem of existence for future works.