Types of inference in ai