例示プログラミング
例を与えるとシステムが規則を推論
帰納的推論
いくつかの例から普遍的法則を導く
一般化 / 知識形成