A form of logic programming that allows a system to generate hypotheses based on a set of rules and data, and then tests these hypotheses against the data to find the most plausible explanation.

• medical diagnosis
• financial fraud detection
• robotic movement planning

For example, an ALP system could be used to diagnose a patient’s illness by generating hypotheses about the possible causes of their symptoms, testing these hypotheses against the patient’s medical history and test results, and then selecting the most likely cause based on the evidence.

• Selecting an appropriate semantic modeling technique