List the four inputs an EBL system requires.

Answer

A target concept, a training example, a domain theory, and an operationality criterion.

EBL proves the example is an instance of the target using the domain theory, then generalizes that proof into a rule of the operational form required.