Tractable Reasoning in Aritificial Intelligence