Search results for "truth"
showing 10 items of 190 documents
The Gupta-Belnap Fixed-Point Problem and the Theory of Clones of Functions
2003
This paper presents the Gupta-Belnap Fixed-Point problem: to characterize the truth-functional schemes of the first-order logic such that, for every interpreted language L, a truth predicate for L can be defined in L using a Kripkean fixed-point. A propositional version of the problem is defined using the stipulation logic of A. Visser and then the strategy adopted for the solution to the three-valued case is presented, using the theory of clones of functions.
Alain Badiou y la educación como proceso de subjetivación a través de verdades
2021
El siguiente texto presenta algunas tesis acerca de lo que puede aportar la obra del filósofo francés Alain Badiou en el debate acerca de la situación actual de la educación. Para ello se hará una lectura de su obra en clave propedéutica. La hipótesis de partida es que dicha obra puede leerse como un proyecto de recuperación de la filosofía entendida como una educación a través de verdades. Para ubicar esta tesis en el debate educativo contemporáneo se utilizará la teoría elaborada por Gert Biesta, quien ha construido en las últimas décadas un sistema de pensamiento que ofrece un marco teórico con el que fundamenta propuestas educativas alternativas a las tendencias individualistas, funcion…
La educación para la emancipación política a través del arte en el pensamiento de Alain Badiou
2011
[ES] En el siguiente texto trataremos de dar cuenta, de la mano del pensamiento del filósofo francés Alain Badiou, del papel que pueden jugar las prácticas artísticas en la formación para la emancipación política. En las siguientes líneas veremos cómo la relación entre arte y política se encuentra mediada por una actitud filosófica que reivindica que: 1) existen verdades universales y eternas, pero singulares e inmanentes al mundo en el que vivimos; 2) los términos "justicia" o "emancipación política" nombran los procedimientos de verdad en el seno de un orden político y social determinado; 3) para hacer efectivos dichos procedimientos es necesario participar en ellos; 4) el arte constituye…
A novel visual pipework inspection system
2017
The interior visual inspection of pipelines in the nuclear industry is a safety critical activity conducted during outages to ensure the continued safe and reliable operation of plant. Typically, the video output by a manually deployed probe is viewed by an operator looking to identify and localize surface defects such as corrosion, erosion and pitting. However, it is very challenging to estimate the nature and extent of defects by viewing a large structure through a relatively small field of view. This work describes a new visual inspection system employing photogrammetry using a fisheye camera and a structured light system to map the internal geometry of pipelines by generating a photorea…
Mobile Robot and Mobile Manipulator Research Towards ASTM Standards Development
2016
International audience; Performance standards for industrial mobile robots and mobile manipulators (robot arms onboard mobile robots) have only recently begun development. Low cost and standardized measurement techniques are needed to characterize system performance, compare different systems, and to determine if recalibration is required. This paper discusses work at the National Institute of Standards and Technology (NIST) and within the ASTM Committee F45 on Driverless Automatic Guided Industrial Vehicles. This includes standards for both terminology, F45.91, and for navigation performance test methods, F45.02. The paper defines terms that are being considered. Additionally, the paper de…
Integrated satellite data fusion and mining for monitoring lake water quality status of the Albufera de Valencia in Spain
2015
Abstract Lake eutrophication is a critical issue in the interplay of water supply, environmental management, and ecosystem conservation. Integrated sensing, monitoring, and modeling for a holistic lake water quality assessment with respect to multiple constituents is in acute need. The aim of this paper is to develop an integrated algorithm for data fusion and mining of satellite remote sensing images to generate daily estimates of some water quality parameters of interest, such as chlorophyll a concentrations and water transparency, to be applied for the assessment of the hypertrophic Albufera de Valencia. The Albufera de Valencia is the largest freshwater lake in Spain, which can often pr…
noRANSAC for fundamental matrix estimation
2011
The estimation of the fundamental matrix from a set of corresponding points is a relevant topic in epipolar stereo geometry [10]. Due to the high amount of outliers between the matches, RANSAC-based approaches [7, 13, 29] have been used to obtain the fundamental matrix. In this paper two new contributes are presented: a new normalized epipolar error measure which takes into account the shape of the features used as matches [17] and a new strategy to compare fundamental matrices. The proposed error measure gives good results and it does not depend on the image scale. Moreover, the new evaluation strategy describes a valid tool to compare diffe rent RANSAC-based methods because it does not re…
Automated Patch Assessment for Program Repair at Scale
2021
AbstractIn this paper, we do automatic correctness assessment for patches generated by program repair systems. We consider the human-written patch as ground truth oracle and randomly generate tests based on it, a technique proposed by Shamshiri et al., called Random testing with Ground Truth (RGT) in this paper. We build a curated dataset of 638 patches for Defects4J generated by 14 state-of-the-art repair systems, we evaluate automated patch assessment on this dataset. The results of this study are novel and significant: First, we improve the state of the art performance of automatic patch assessment with RGT by 190% by improving the oracle; Second, we show that RGT is reliable enough to h…
Fuzzy Logic, Vagueness and Uncertainty
2009
Selection of Subjunctors in Turkic Non-Finite Complement Clauses
2013
The topic of the paper is Turkic clausal complementation: the syntactic and semantic behavior of complement clauses, the subjunctors that mark them, and the roles of various predicate types in selecting them. Two main types of bound complementizers serve as subjunctors in complement clauses: a participial and an infinitival type, both usually corresponding to the English complimentizer that. Traditionally, the semantic behavior of the complement clauses has been thought to depend on a distinction between factive and non-factive verbs. Complement clauses provided with participial subjunctors have been described as factive in contrast to non-factive complement clauses provided with infinitiva…