3.
Huge data set coming from
◦ the Web, government authorities, scientific
databases, sensors and more
Defeasible logic
◦ is suitable for encoding commonsense knowledge
and reasoning
◦ avoids triviality of inference due to low-quality data
Defeasible logic has low complexity
◦ The consequences of a defeasible theory D can be
computed in O(N) time, where N is the number of
symbols in D

4.
Reasoning is performed in the presence of
defeasible rules
Defeasible logic has been implemented for
in-memory reasoning, however, it was not
applicable for huge data sets
Solution: scalability/parallelization using the
MapReduce framework

8.
Provides an infrastructure that takes care of
◦ distribution of data
◦ management of fault tolerance
◦ results collection
For a specific problem
◦ developer writes a few routines which are following
the general interface

19.
Challenges of Non-Stratified Rule Sets
An efficient mechanism is need for –Δ and -∂
◦ all the available information for the literal must be
processed by a single node causing:
main memory insufficiency
skewed load balancing
Storing conclusions for +/–Δ and +/-∂ is not
feasible
◦ Consider the cartesian product of X, Y, Z for
X Predicate1 Y, Y Predicate2 Z.