25,878 Hits in 8.9 sec

T-verifier: Verifying truthfulness of fact statements

Xian Li, Weiyi Meng, Clement Yu
2011 2011 IEEE 27th International Conference on Data Engineering  
In the first step, we try to find a small number of alternative statements of the same topic as the given statement and make sure that one of these statements is truthful.  ...  In the second step, we identify the truthful statement from the given statement and the alternative statements.  ...  Alternative statements to DS are very important to the truthfulness judgment, because they provide the users with different versions of the fact.  ... 
doi:10.1109/icde.2011.5767859 dblp:conf/icde/LiMY11 fatcat:ayjpt4dsx5bv3ipiftq25tabqq

Page 49 of Judicature Vol. 16, Issue 2 [page]

1932 Judicature  
Here it serves to set forth divergent statements of the facts 2 Keigwin, Cases in Code Pleading (1926) 614. with a view simply to avoiding a variance between allegation and proof of these facts.  ...  In this case the use of plural counts seems to be more defensible, for alternative statement of facts may not here be in order at all, or, if in order, will not accomplish the end in view.  ... 

A Survey on Automated Fact-Checking [article]

Zhijiang Guo, Michael Schlichtkrull, Andreas Vlachos
2021 arXiv   pre-print
Fact-checking has become increasingly important due to the speed with which both information and misinformation can spread in the modern media ecosystem.  ...  predict the veracity of claims.  ...  and Derczynski, 2021) Statement 6,407 Text 3 Classes Wiki Da Table 3 : 3 Summary of factual verification datasets with artificial inputs.  ... 
arXiv:2108.11896v2 fatcat:qq5b347rtnd3hh65g6535zotly

News Verification Suite: Towards System Design to Supplement Reporters' and Editors' Judgements

Victoria L. Rubin
2018 Proceedings of the Annual Conference of CAIS / Actes du congrès annuel de l'ACSI  
with automatic verification functions, capitalizing on Natural Language Processing (NLP) and Data-Mining (DM).  ...  This paper offers a conceptual basis and describes elements for a multi-layered system to provide information users (newsreaders) with credible information and improve the work processes of the online  ...  Acknowledgements This research has been funded by the Government of Canada Social Sciences and Humanities Research Council (SSHRC) Insight Grant (#435-2015-0065) awarded to Dr.  ... 
doi:10.29173/cais1030 fatcat:7kgbunerqnch7org6mn5a6xika

SemEval-2021 Task 9: Fact Verification and Evidence Finding for Tabular Data in Scientific Documents (SEM-TAB-FACTS) [article]

Nancy X. R. Wang, Diwakar Mahajan, Marina Danilevsk. Sara Rosenthal
2021 arXiv   pre-print
In sub-task B, the focus was on identifying the specific cells of a table that provide evidence for the statement. 69 teams signed up to participate in the task with 19 successful submissions to subtask  ...  Our dataset contains 981 manually-generated tables and an auto-generated dataset of 1980 tables providing over 180K statement and over 16M evidence annotations. SEM-TAB-FACTS featured two sub-tasks.  ...  We believe the future of fact verification and AI in general will be in cooperation with humans rather than in replacement.  ... 
arXiv:2105.13995v1 fatcat:ci4evv4bsnadxjp2j2imxcpbvy

A Goal Modeling Framework for Self-contextualizable Software [chapter]

Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
2009 Lecture Notes in Business Information Processing  
context at its variation points, and provides constructs to hierarchically analyse context and discover alternative sets of facts the system has to monitor to verify a context.  ...  Tropos goal analysis provides constructs to hierarchically analyse goals and discover alternative sets of tasks the system can execute to satisfy goals; our framework extends Tropos goal model by considering  ...  Acknowledgement This work has been partially funded by EU Commission, through the SERENITY, and COMPAS projects, and by the PRIN program of MIUR under the MEnSA project.  ... 
doi:10.1007/978-3-642-01862-6_27 fatcat:zxzogyud6jck5b23pemujxrq7y

Beyond Structured Programming [article]

M.H. van Emden
2018 arXiv   pre-print
In 1971 this mode of verification was declared by Dijkstra as too hard to be of practical use---he advised that proof and code were to grow together.  ...  To verify a structured program according to Hoare's method one is faced with the problem of finding assertions to fit existing code.  ...  By choosing verification conditions with sufficiently simple program components their truth is obvious. Because of this simplicity, the verification condition is a mere "snippet of truth".  ... 
arXiv:1810.11673v1 fatcat:gykbxqfcnbauhfpgz75nybdrxy

Team Papelo: Transformer Networks at FEVER [article]

Christopher Malon
2019 arXiv   pre-print
We develop a system for the FEVER fact extraction and verification challenge that uses a high precision entailment classifier based on transformer networks pretrained with language modeling, to classify  ...  The entailment module evaluates potential evidence one statement at a time, together with the title of the page the evidence came from (providing a hint about possible pronoun antecedents).  ...  Introduction The release of the FEVER fact extraction and verification dataset (Thorne et al., 2018) provides a large-scale challenge that tests a combination of retrieval and textual entailment capabilities  ... 
arXiv:1901.02534v1 fatcat:3xlsv7s7bventldtpld3gdpn6e

Automated Fact Checking: Task formulations, methods and future directions [article]

James Thorne, Andreas Vlachos
2018 arXiv   pre-print
The recently increased focus on misinformation has stimulated research in fact checking, the task of assessing the truthfulness of a claim.  ...  We conclude with proposing avenues for future NLP research on automated fact checking.  ...  The Fact Extraction and VERification (FEVER) task (Thorne et al., 2018) requires combining information from multiple documents and sentences for fact checking.  ... 
arXiv:1806.07687v2 fatcat:ny2orsoyvfeylctzftssbqmm2i

Experimental investigations of ambiguity: the case of most

Hadas Kotek, Yasutada Sudo, Martin Hackl
2015 Natural Language Semantics  
In the study of natural language quantification, much recent attention has been devoted to the investigation of verification procedures associated with the proportional quantifier most.  ...  Our evidence comes in the form of verification profiles for sentences like Most of the dots are blue which, we argue, reflect the existence of a superlative reading of most.  ...  Acknowledgments We would like to thank Adam Albright, Edward Flemming, Danny Fox, the participants of the Syntax and Semantics Experimental Lab at MIT, and two anonymous NALS reviewers for valuable comments  ... 
doi:10.1007/s11050-015-9113-0 fatcat:dys6c3kjxzasthe37nfffosfpi

How Human-Mouse Interaction can Accurately Detect Faked Responses About Identity [chapter]

Merylin Monaro, Francesca Ileana Fugazza, Luciano Gamberini, Giuseppe Sartori
2017 Lecture Notes in Computer Science  
In addition to a high sensitivity, the described methodology exceeds the limits of the biometric measures currently available for identity verification and the constraints of the traditional lie detection  ...  Experimental results showed that this technique is able to detect fake responses about identities with an accuracy higher than 95%.  ...  a false statement [9] .  ... 
doi:10.1007/978-3-319-57753-1_10 fatcat:wuaupcqwkzfjhi35kdinejavfq

Recent Trends in the Philosophy of Science: Lessons for Sociology

Philip O. Sijuwade
2007 Journal of Social Sciences  
Although meticulous attention was paid to methodology, most of it seemed to be misplaced, as it was mainly concerned with the tools and techniques of empirical research rather than with the logic of scientific  ...  But unfortunately, the debate about the scientific status of sociology is still carried on in terms of an antiquated concept of science.  ...  evidence is indispensable for ascertaining the truth or falsity of statements about matters of fact.  ... 
doi:10.1080/09718923.2007.11978399 fatcat:lq4r3xmvr5cfnaaqkfl6x7eu6u

Under What Conditions is Knowledge Critical?

Paul Weingartner, Mandy Stake
2017 Philosophy of Science and Technology  
For example, Euclidean Geometry excludes positive or negative curvature; an alternative (hyperbolic) geometry with negative curvature was discovered by Lobachevsky and Bolyai.  ...  with a well-corroborated hypothesis or law.  ...  Verification is concerned therefore only with statements representing single events by direct or indirect observation or by experiment.  ... 
doi:10.21146/2413-9084-2017-22-2-43-59 fatcat:ikxkz3wj5fetlcs52z4ws4nw3i

Considerations on Guidelines of Epidemiologic Practice

Gio Batta Gori
2002 Annals of Epidemiology  
In effect, advocacy presents an alternative epidemiology much in the spirit of alternative medicine (34) (35) (36) (37) (38) .  ...  The extreme advocacy position is justified with statements that " epidemiologists among others have been misled by standard interpretations of the nature of science" , to the point that " to control for  ... 
doi:10.1016/s1047-2797(01)00257-5 pmid:11880213 fatcat:5xkcdklcejh4rlzsg5a2slhuqa

Interpreting formal logic

Jaroslav Peregrin
1994 Erkenntnis: An International Journal of Scientific Philosophy  
Thus, a semantic interpretation can be seen as a certain kind of account for truth; as an account for which Tarski's idea of identification of necessary truth with verification by every interpretation  ...  Hence verification by every interpretation is a necessary condition of necessary truth.  ... 
doi:10.1007/bf01128713 fatcat:gontcrlwtbgaxodcc4fk5wn2pm
« Previous Showing results 1 — 15 out of 25,878 results