An approach based on Logic Forms and WordNet relationships to Textual Entailment performance

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.

Applying logic forms and statistical methods to CL-SR performance

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.

Logic Based Pattern Recognition - Ontology Content (2)

Logic based Pattern Recognition extends the well known similarity models, where the distance measure is the base instrument for recognition. Initial part (1) of current publication in iTECH-06 reduces the logic based recognition models to the reduced disjunctive normal forms of partially defined Boolean functions. This step appears as a way to alternative pattern recognition instruments through combining metric and logic hypotheses and features, leading to studies of logic forms, hypotheses, hierarchies of hypotheses and effective algorithmic solutions. Current part (2) provides probabilistic conclusions on effective recognition by logic means in a model environment of binary attributes.

Transreal arithmetic as a consistent basis for paraconsistent logics

Paraconsistent logics are non-classical logics which allow non-trivial and consistent reasoning about inconsistent axioms. They have been pro- posed as a formal basis for handling inconsistent data, as commonly arise in human enterprises, and as methods for fuzzy reasoning, with applica- tions in Artificial Intelligence and the control of complex systems. Formalisations of paraconsistent logics usually require heroic mathe- matical efforts to provide a consistent axiomatisation of an inconsistent system. Here we use transreal arithmetic, which is known to be consis- tent, to arithmetise a paraconsistent logic. This is theoretically simple and should lead to efficient computer implementations. We introduce the metalogical principle of monotonicity which is a very simple way of making logics paraconsistent. Our logic has dialetheaic truth values which are both False and True. It allows contradictory propositions, allows variable contradictions, but blocks literal contradictions. Thus literal reasoning, in this logic, forms an on-the- y, syntactic partition of the propositions into internally consistent sets. We show how the set of all paraconsistent, possible worlds can be represented in a transreal space. During the development of our logic we discuss how other paraconsistent logics could be arithmetised in transreal arithmetic.

A knowledge-based textual entailment approach applied to the QA answer validation at CLEF 2006

The Answer Validation Exercise (AVE) is a pilot track within the Cross-Language Evaluation Forum (CLEF) 2006. The AVE competition provides an evaluation frame- work for answer validations in Question Answering (QA). In our participation in AVE, we propose a system that has been initially used for other task as Recognising Textual Entailment (RTE). The aim of our participation is to evaluate the improvement our system brings to QA. Moreover, due to the fact that these two task (AVE and RTE) have the same main idea, which is to find semantic implications between two fragments of text, our system has been able to be directly applied to the AVE competition. Our system is based on the representation of the texts by means of logic forms and the computation of semantic comparison between them. This comparison is carried out using two different approaches. The first one managed by a deeper study of the Word- Net relations, and the second uses the measure defined by Lin in order to compute the semantic similarity between the logic form predicates. Moreover, we have also designed a voting strategy between our system and the MLEnt system, also presented by the University of Alicante, with the aim of obtaining a joint execution of the two systems developed at the University of Alicante. Although the results obtained have not been very high, we consider that they are quite promising and this supports the fact that there is still a lot of work on researching in any kind of textual entailment.

The University of Alicante at CL-SR Track

In this paper, the new features that IR-n system applies on the topic processing for CL-SR are described. This set of features are based on applying logic forms to topics with the aim of incrementing the weight of topic terms according to a set of syntactic rules.

AliQAn, Spanish QA system at multilingual QA@CLEF-2008

Comunicación presentada en Cross-Language Evaluation Forum (CLEF 2008), Aarhus, Denmark, September 17-19, 2008.

A treatise on logic, or, The laws of pure thought : comprising both the Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic /

Mode of access: Internet.

A treatise on logic : or, The laws of pure thought; comprising both Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic /

Mode of access: Internet.

The logic of ideas in Christopher Hill's English revolution

This article examines the role played by ideas and their thinkers in Christopher Hill's histories of the English Revolution. Hill protested against a reductionist economic determinism with no place for the intrinsic power of ideas, but his account of ideas gave them a progressive logic parallel to, if not always easy to link with, that of economic development, and threatened to divorce them from their muddled and imperfect thinkers. This account of the logic of ideas had a striking impact on the way in which the more mainstream radicals of the English Revolution appeared in Hill's work, with both the Levellers and James Harrington being half assimilated to, and half pushed aside in favor of, the more thoroughgoing economic radicals who expressed, in however ragged a way, the intrinsic potential of their ideas. However, Hill's writings also betray a surprising attraction to religious over secular forms of radicalism.

Verifying Harder's Conjecture for Classical and Siegel Modular Forms

A conjecture by Harder shows a surprising congruence between the coefficients of “classical” modular forms and the Hecke eigenvalues of corresponding Siegel modular forms, contigent upon “large primes” dividing the critical values of the given classical modular form. Harder’s Conjecture has already been verified for one-dimensional spaces of classical and Siegel modular forms (along with some two-dimensional cases), and for primes p 37. We verify the conjecture for higher-dimensional spaces, and up to a comparable prime p.

The Darién Region, Connecting Road of the Americas, among the expressions of hydric wealth, land vocation and the extractive exploration on its violated forms

Colombia has oceanic waters, catchment areas, like lakes, cienagas and swamps, water flows, like rivers, gorges and streams, small rivers and groundwater. The oceanic waters are the Caribbean Sea-1600 km and the Pacific Ocean-1300 km that comprise the north and west continental territory, respectively. Actually the Region of Darién, geographically bounded by the Carribean Sea to the north is becoming to be focused by studies due to use conflicts and disputes about water and a forest reserve on its territories. Considering its location, strategic at northwestern Colombia, frontier region with Central America, several dynamics are imposed. One of them is the implantation of a road system entitled Connecting Road of the Americas. This fact means the construction of an infra-structure that will cross a special zone formed by swamps and jungle known as The Darién Gap. Evidences of such interests are revealed by projects like the constructions of Turbo's Port in the Atlantic Ocean, Department of Antioquia and Tribugá's Port in the Pacific Ocean, Department of Choco, the mountain road and the coastal conection Colombia-Venezuela attending to the main intentions of the central region of the department (Metropolitan Area of Aburrá Valley-AMVA). Human settlements form a productive system, based on small and medium familiar agriculture's production, corresponding to the western portion and piedmont of Abibe's mountain at its antioquian portion, alluvial plan that forms the rivers on this area, the littoral zone that delimits the Carribean Sea, the Darién and Baudó Mountains and the gulf that receives, among other waters, the ones from Atrato and León, as well as the exodus process constitutes a forced exit resulting from actions of several armed groups. It can be identified intense historical, cultural, political and environmental relations, specially the last one associated with strategic ecosystems that are fundamental for the hydric regulation of the region, as well as food safety of the local inhabitants. Results from two researches (UPB, 2007 y 2010) reveals this quick transformation in the spatial re-configuration, demographical and economical indicators and the exacerbated fight for resources, damaging the extractive vocation in the Region. Path to commerce of illegalities (drugs, guns) and to implementation of the agroindustrial project for biofuel production, cooperation program that involves Venezuela, Brazil and Colombia. Appropriation modes allow the existence of strategies since global interests revealing a development logic that privileges the conception of an artificialized nature. Since the smallest portion of rural areas, specific modes of resources exploration are linked to imposed interests of transnational corporations. Disparate consequences are going deeper evidenced by social, technical and nature transformations, envisioning risks for the habitability's condition

The Darién Region, Connecting Road of the Americas, among the expressions of hydric wealth, land vocation and the extractive exploration on its violated forms

Colombia has oceanic waters, catchment areas, like lakes, cienagas and swamps, water flows, like rivers, gorges and streams, small rivers and groundwater. The oceanic waters are the Caribbean Sea-1600 km and the Pacific Ocean-1300 km that comprise the north and west continental territory, respectively. Actually the Region of Darién, geographically bounded by the Carribean Sea to the north is becoming to be focused by studies due to use conflicts and disputes about water and a forest reserve on its territories. Considering its location, strategic at northwestern Colombia, frontier region with Central America, several dynamics are imposed. One of them is the implantation of a road system entitled Connecting Road of the Americas. This fact means the construction of an infra-structure that will cross a special zone formed by swamps and jungle known as The Darién Gap. Evidences of such interests are revealed by projects like the constructions of Turbo's Port in the Atlantic Ocean, Department of Antioquia and Tribugá's Port in the Pacific Ocean, Department of Choco, the mountain road and the coastal conection Colombia-Venezuela attending to the main intentions of the central region of the department (Metropolitan Area of Aburrá Valley-AMVA). Human settlements form a productive system, based on small and medium familiar agriculture's production, corresponding to the western portion and piedmont of Abibe's mountain at its antioquian portion, alluvial plan that forms the rivers on this area, the littoral zone that delimits the Carribean Sea, the Darién and Baudó Mountains and the gulf that receives, among other waters, the ones from Atrato and León, as well as the exodus process constitutes a forced exit resulting from actions of several armed groups. It can be identified intense historical, cultural, political and environmental relations, specially the last one associated with strategic ecosystems that are fundamental for the hydric regulation of the region, as well as food safety of the local inhabitants. Results from two researches (UPB, 2007 y 2010) reveals this quick transformation in the spatial re-configuration, demographical and economical indicators and the exacerbated fight for resources, damaging the extractive vocation in the Region. Path to commerce of illegalities (drugs, guns) and to implementation of the agroindustrial project for biofuel production, cooperation program that involves Venezuela, Brazil and Colombia. Appropriation modes allow the existence of strategies since global interests revealing a development logic that privileges the conception of an artificialized nature. Since the smallest portion of rural areas, specific modes of resources exploration are linked to imposed interests of transnational corporations. Disparate consequences are going deeper evidenced by social, technical and nature transformations, envisioning risks for the habitability's condition

The Darién Region, Connecting Road of the Americas, among the expressions of hydric wealth, land vocation and the extractive exploration on its violated forms

Colombia has oceanic waters, catchment areas, like lakes, cienagas and swamps, water flows, like rivers, gorges and streams, small rivers and groundwater. The oceanic waters are the Caribbean Sea-1600 km and the Pacific Ocean-1300 km that comprise the north and west continental territory, respectively. Actually the Region of Darién, geographically bounded by the Carribean Sea to the north is becoming to be focused by studies due to use conflicts and disputes about water and a forest reserve on its territories. Considering its location, strategic at northwestern Colombia, frontier region with Central America, several dynamics are imposed. One of them is the implantation of a road system entitled Connecting Road of the Americas. This fact means the construction of an infra-structure that will cross a special zone formed by swamps and jungle known as The Darién Gap. Evidences of such interests are revealed by projects like the constructions of Turbo's Port in the Atlantic Ocean, Department of Antioquia and Tribugá's Port in the Pacific Ocean, Department of Choco, the mountain road and the coastal conection Colombia-Venezuela attending to the main intentions of the central region of the department (Metropolitan Area of Aburrá Valley-AMVA). Human settlements form a productive system, based on small and medium familiar agriculture's production, corresponding to the western portion and piedmont of Abibe's mountain at its antioquian portion, alluvial plan that forms the rivers on this area, the littoral zone that delimits the Carribean Sea, the Darién and Baudó Mountains and the gulf that receives, among other waters, the ones from Atrato and León, as well as the exodus process constitutes a forced exit resulting from actions of several armed groups. It can be identified intense historical, cultural, political and environmental relations, specially the last one associated with strategic ecosystems that are fundamental for the hydric regulation of the region, as well as food safety of the local inhabitants. Results from two researches (UPB, 2007 y 2010) reveals this quick transformation in the spatial re-configuration, demographical and economical indicators and the exacerbated fight for resources, damaging the extractive vocation in the Region. Path to commerce of illegalities (drugs, guns) and to implementation of the agroindustrial project for biofuel production, cooperation program that involves Venezuela, Brazil and Colombia. Appropriation modes allow the existence of strategies since global interests revealing a development logic that privileges the conception of an artificialized nature. Since the smallest portion of rural areas, specific modes of resources exploration are linked to imposed interests of transnational corporations. Disparate consequences are going deeper evidenced by social, technical and nature transformations, envisioning risks for the habitability's condition

Relating data—parallelism and (and—) parallelism in logic programs

Much work has been done in the áreas of and-parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types of parallelism offer advantages and disadvantages. Traditional (and-) parallel models offer generality, being able to exploit parallelism in a large class of programs (including that exploited by data parallelism techniques). Data parallelism techniques on the other hand offer increased performance for a restricted class of programs. The thesis of this paper is that these two forms of parallelism are not fundamentally different and that relating them opens the possibility of obtaining the advantages of both within the same system. Some relevant issues are discussed and solutions proposed. The discussion is illustrated through visualizations of actual parallel executions implementing the ideas proposed.