Căutarea și reprezentarea cunoștințelor în inteligența artificială. Teorie și aplicații