Това е само предварителен преглед!
Логически изводи на основата на сигурни и несигурни знания
Логическите модели са в основата на много от системите с изкуствен интелект. Базирани са главно на предикатната логика от първи ред и нейната основна съждителна логика...