Enforcing Logically Weaker Knowledge in Classical Logic.

Philippe Besnard Éric Grégoire Sébastien Ramon

Published in: KSEM (2011)

Keyphrases

classical logic
logic programming
possibilistic logic
genetic algorithm
knowledge base
knowledge representation
expert systems
knowledge discovery
general purpose
neural network
decision making
probability distribution
autoepistemic logic
commonsense reasoning
rationality postulates