1# Stream data reasoning
    2
    3Let us assume that we deal with series of data items, some of which
    4may be contradictory. Moreover, different sources may give data a
    5different degree of trustworthiness which can make some pieces of
    6inconsistent data to be preferred. Lets us assume that `p(A)` and `q(A)`
    7are contradictory and we receive, from source _S1_, `p(A)` and, from
    8source _S2_, `q(a)`. We may decide that: (i) `p(A)` is __true__ because _S1_ is
    9more realiable; (ii) or if _S2_ is more realiable, `q(a)` is __true__, and any
   10value `not a` (i.e., _X \= a_) `p(A)` is also __true__; (iii) or, if both
   11sources are equally reliable, them we have (at least) two different
   12models: one where `q(a)` is __true__ and another where `p(A)` is __true__ (also
   13for _X=a_).
   14
   15
   16## s(CASP) implementation
   17
   18```
   19scasp stream_data_reasoning.pl
   20```