Paraconsistent Rule-based Reasoning with Graded Truth Values.

Francesco Luca De Angelis Giovanna Di Marzo Serugendo Andrzej Szalas

Published in: FLAP (2018)

Keyphrases

truth values
rule based reasoning
case based reasoning
inference rules
multi valued
inference mechanism
decision support system
artificial intelligence
fixpoint
knowledge representation
expert systems
owl ontologies
formal semantics
logic programs
general purpose
data model
valued logic