Automated Reasoning in the Age of the Internet

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

The internet hosts a vast store of information that we cannot and should not ignore. It’s not enough just to retrieve facts. To make full use of the internet we must also infer new information from old. This is an exciting new opportunity for automated reasoning, but it also presents new kinds of research challenge.

-There are a huge number of potential axioms from which to infer new theorems. Methods of choosing appropriate axioms are needed.
-Information is stored on the Internet in diverse forms, e.g., graph and relational databases, JSON (JavaScript Object Notation), CSV (Comma-Separated Values) files, and many others. Some contain errors and others are incomplete: lacking vital contextual details such as time and units of measurements.
-Information retrieved from the Internet must be automatically curated into a common format before we can apply inference to it. Such a representation must be flexible enough to represent a wide diversity of knowledge formats, as well as supporting the diverse kinds of inference we propose.
-We can employ forms of inference that are novel in automated reasoning, such as using regression to form new functions from sets of number pairs, and then extrapolation to predict new pairs.
-Information is of mixed quality and accuracy, so introduces uncertainty into the theorems inferred. Some inference operations, such as regression, also introduce uncertainty. Uncertainty estimates need to be inherited during inference and reported to users in an intelligible form.

We will report on the FRANK (Formally know as RIF: Rich Inference Framework. We changed the name as the RIF acronym is already in use, standing for Requirements Interchange Format.) system that explores this new research direction.
Original languageEnglish
Title of host publication13th International Conference on Artificial Intelligence and Symbolic Computation
Place of PublicationSuzhou, China
PublisherSpringer, Cham
Number of pages16
VolumeLNCS 11110
ISBN (Electronic)978-3-319-99957-9
ISBN (Print)978-3-319-99956-2
Publication statusE-pub ahead of print - 22 Aug 2018
Event13th International Conference on Artificial Intelligence and Symbolic Computation - Suzhou, China
Duration: 16 Sept 201819 Sept 2018

Publication series

NameLecture Notes in Computer Science
PublisherSpringer, Cham
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th International Conference on Artificial Intelligence and Symbolic Computation
Abbreviated titleAISC 2018
Internet address

Keywords / Materials (for Non-textual outputs)

  • Query answering
  • Prediction
  • Automated reasoning
  • World Wide Web


Dive into the research topics of 'Automated Reasoning in the Age of the Internet'. Together they form a unique fingerprint.

Cite this