Search results for "Checking"
showing 10 items of 53 documents
Qualifying semantic graphs using model checking
2011
International audience; Semantic interoperability problems have found their solutions using languages and techniques from the Semantic Web. The proliferation of ontologies and meta-information has improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of research concerns t…
A new approach based on NμSMV Model to query semantic graph
2011
International audience; The language most frequently used to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. Processing of large semantic graphs can be a limit to use semantics in modern information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…
Temporal Logic To Query Semantic Graphs Using The Model Checking Method
2012
International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…
ScaleSem : model checking and semantic web
2012
The increasing development of networks and especially the Internet has greatly expanded the gap between heterogeneous information systems. In a review of studies of interoperability of heterogeneous information systems, we find that all the work in this area tends to be in solving the problems of semantic heterogeneity. The W3C (World Wide Web Consortium) standards proposed to represent the semantic ontology. Ontology is becoming an indispensable support for interoperability of information systems, and in particular the semantics. The structure of the ontology is a combination of concepts, properties and relations. This combination is also called a semantic graph. Several languages have bee…
Fact-checking y vigilancia del poder: La verificación del discurso público en los nuevos medios de América Latina
2018
El fact-checking ha experimentado un desarrollo importante en los últimos años, como técnica destinada a la verificación del discurso público, en un momento en que la difusión de noticias falsas o la pérdida de calidad y credibilidad de los medios alcanza cotas preocupantes. Este artículo analiza nueve iniciativas surgidas desde 2010 en media docena de países latinoamericanos, representativas de un ecosistema emergente en una región enfrentada a menudo con problemas para alcanzar una verdadera democracia mediática. Desde una aproximación cualitativa y cuantitativa, esta investigación compara la metodología de trabajo y las modalidades de evaluación que presentan, así como las temáticas y ac…
Predominio de las cheapfakes en redes sociales. Complejidad técnica y funciones textuales de la desinformación desmentida en Argentina durante 2020
2022
Research on disinformation concentrates a growing interest in the design of deepfakes and the possible political, economic and social implications of their viral dissemination on social networks. However, as much or more worrying are the cheapfakes: the hoaxes created by the users themselves through the native features of their mobile devices, the rude manipulation of pre-existing files or the simple addition of text that alters the original meaning of the shared messages. The objective of this research is to analyze the degree of technological complexity of the disinformation that circulated in Argentina during 2020 throughout social networks, as well as the role that the text played in it…
Rhetorical strategies of counter-journalism:How American YouTubers are challenging dominant media election narratives
2021
Standardy i praktyki dziennikarskie, które mają służyć demokratycznej deliberacji w erze cyfryzacji są stałym przedmiotem analiz. Stany Zjednoczone to kraj o długiej tradycji dziennikarstwa śledczego, które wielokrotnie odkrywało szkodliwe działania polityków i biznesmenów. W dobie dominacji nowych mediów, do tych praktyk dziennikarskich dołączyła jeszcze konieczność sprawdzania faktów i kontrowania narracji i twierdzeń propagowanych w upolitycznionych mediach komercyjnych. Niniejszy artykuł poświęcony jest retoryce nowego gatunku kontrdziennikarstwa cyfrowego. Przedstawia wyniki analizy strategii retorycznych i erystycznych zidentyfikowanych w krótkich filmach rozpowszechnianych przez popu…
The Mirage of Truth
2022
Fact-checkers have grown recently, facing the decline of journalism and the acceleration of disinformation flows on the internet. Due to the recent scholarly attention to these journalistic outlets, some authors have pointed to diverse critics such as the political bias and the low impact of fact-checking initiatives. In line with the research approaching the weaponization of disinformation in politics, this chapter reflects on the instrumentalization of verifying practices as a fact to consider when studying fact-checking. The investigation applies a combined methodology to compare Bendita and Maldita initiatives. While the latter is internationally recognized as an entity of fact-checking…
Computational aspects in checking of coherence and propagation of conditional probability bounds
2000
In this paper we consider the problem of reducing the computational difficulties in g-coherence checking and propagation of imprecise conditional probability assessments. We review some theoretical results related with the linear structure of the random gain in the betting criterion. Then, we propose a modi ed version of two existing algorithms, used for g-coherence checking and propagation, which are based on linear systems with a reduced number of unknowns. The reduction in the number of unknowns is obtained by an iterative algorithm. Finally, to illustrate our procedure we give some applications.
Algorithms for coherence checking and propagation of conditional probability bounds
2001
In this paper, we propose some algorithms for the checking of generalized coherence (g-coherence) and for the extension of imprecise conditional probability assessments. Our concept of g-coherence is a generalization of de Finetti’s coherence principle and is equivalent to the ”avoiding uniform loss” property for lower and upper probabilities (a la Walley). By our algorithms we can check the g-coherence of a given imprecise assessment and we can correct it in order to obtain the associated coherent assessment (in the sense of Walley and Williams). Exploiting some properties of the random gain we show how, in the linear systems involved in our algorithms, we can work with a reduced set of va…