Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning.

Akiko Kondo Mitsuru Ishizuka

Published in: Knowl. Based Syst. (1996)

Keyphrases

segmentation method
prior knowledge
objective function
efficient inference
decision making
high level
pairwise
support vector machine
predicate logic