The CrossJustice Project is an expert system containing a knowledge base about European and national laws relating to the rights granted to suspect or accused persons.
NOTER_PAGE: (3 . 0.13379835129993659)
The first limitation of s(CASP) is that it admits only one negated literal in a negative condition. In contrast, in Prolog it is possible to negate a conjunction (or disjunction) of literals.
NOTER_PAGE: (5 . 0.6525047558655676)
The second related limitation is that s(CASP) does not support disjunction in the body of rules.
NOTER_PAGE: (5 . 0.719720989220038)
The third limitation is that explanations in s(CASP) do not translate meta-predicates, which are predicates that have other predicates as arguments, into natural language.
NOTER_PAGE: (6 . 0.10716550412175016)
On the other hand, the ability of s(CASP) to reason abductively with predicates whose truth values are unknown, is very useful in legal reasoning, especially when considering the multiple sources of law and their validity relative to one another.