DeepAI AI Chat
Log In Sign Up

Using the AIDA Language to Formally Organize Scientific Claims

by   Tobias Kuhn, et al.

Scientific communication still mainly relies on natural language written in scientific papers, which makes the described knowledge very difficult to access with automatic means. We can therefore only make limited use of formal knowledge organization methods to support researchers and other interested parties with features such as automatic aggregations, fact checking, consistency checking, question answering, and powerful semantic search. Existing approaches to solve this problem by improving the scientific communication methods have either very restricted coverage, require formal logic skills on the side of the researchers, or depend on unreliable machine learning for the formalization of knowledge. Here, I propose an approach to this problem that is general, intuitive, and flexible. It is based on a unique kind of controlled natural language, called AIDA, consisting of English sentences that are atomic, independent, declarative, and absolute. Such sentences can then serve as nodes in a network of scientific claims linked to publications, researchers, and domain elements. I present here some small studies on preliminary applications of this language. The results indicate that it is well accepted by users and provides a good basis for the creation of a knowledge graph of scientific findings.


page 1

page 2

page 3

page 4


Extracting Core Claims from Scientific Articles

The number of scientific articles has grown rapidly over the years and t...

Expressing High-Level Scientific Claims with Formal Semantics

The use of semantic technologies is gaining significant traction in scie...

Scientific Fact-Checking: A Survey of Resources and Approaches

The task of fact-checking deals with assessing the veracity of factual c...

Measuring Scientific Broadness

Who has not read letters of recommendations that comment on a student's ...

Unsupervised Knowledge Graph Construction and Event-centric Knowledge Infusion for Scientific NLI

With the advance of natural language inference (NLI), a rising demand fo...

Science Checker: Extractive-Boolean Question Answering For Scientific Fact Checking

With the explosive growth of scientific publications, making the synthes...

The Controlled Natural Language of Randall Munroe's Thing Explainer

It is rare that texts or entire books written in a Controlled Natural La...