Rethinking Defeasible Reasoning: A Scalable Approach

01/02/2020
by   Michael J. Maher, et al.
0

Recent technological advances have led to unprecedented amounts of generated data that originate from the Web, sensor networks and social media. Analytics in terms of defeasible reasoning - for example for decision making - could provide richer knowledge of the underlying domain. Traditionally, defeasible reasoning has focused on complex knowledge structures over small to medium amounts of data, but recent research efforts have attempted to parallelize the reasoning process over theories with large numbers of facts. Such work has shown that traditional defeasible logics come with overheads that limit scalability. In this work, we design a new logic for defeasible reasoning, thus ensuring scalability by design. We establish several properties of the logic, including its relation to existing defeasible logics. Our experimental results indicate that our approach is indeed scalable and defeasible reasoning can be applied to billions of facts.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/11/2014

Efficient Computation of the Well-Founded Semantics over Big Data

Data originating from the Web, sensor readings and social media result i...
research
02/06/2013

Limitations of Skeptical Default Reasoning

Poole has shown that nonmonotonic logics do not handle the lottery parad...
research
06/21/2021

Defeasible Reasoning via Datalog^

We address the problem of compiling defeasible theories to Datalog^ prog...
research
07/17/2022

Certain and Uncertain Inference with Trivalent Conditionals

Research on indicative conditionals usually aims either at determining t...
research
02/15/2022

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

Knowledge graph (KG) reasoning is becoming increasingly popular in both ...
research
07/31/2020

From Data to Knowledge to Action: A Global Enabler for the 21st Century

A confluence of advances in the computer and mathematical sciences has u...
research
05/15/2023

RDF Surfaces: Computer Says No

Logic can define how agents are provided or denied access to resources, ...

Please sign up or login with your details

Forgot password? Click here to reset