An Efficient Abductive Reasoning System Based on Program Analysis.

Shohei Kato Hirohisa Seki Hidenori Itoh

Published in: WSA (1993)

Keyphrases

abductive reasoning
nonmonotonic reasoning
inference rules
logic programs
reasoning tasks
logical representation
plan recognition
probabilistic logic
causal inference
natural language understanding
keywords
prime implicates
consequence finding