В загальному випадку в основі логічних моделей знань лежить поняття формальної теорії (S), яка визначається кортежем, який включає наступні елементи:

Question

Answer

виділену множина формул, які називають аксіомами теорії S, тобто безліч апріорних формул;

Answer

скінчену  множину базових символів - (алфавіт) теорії S;

Answer

скінченну множину відношень {r1 ., rn} між формулами, які називають  правилами виводу.

Answer

підмножину виразів теорії S, під якими  розуміються кінцеві послідовності базових символів теорії S;

Crowdly