An Architecture for Monitoring Norms that Combines OWL Reasoning and Forward Chaining over Rules.

Nicoletta Fornara Marco Sterpetti

Published in: JOWO (2021)

Keyphrases

forward chaining
backward chaining
defeasible logic
planning systems
knowledge representation
horn clauses
knowledge base
inference engine
blocks world
rule based systems
expert systems
theorem proving