Логика вероятностная — логика, в которой формулы оцениваются значениями, интерпретируемыми как вероятности того, что данная формула принимает значение «Истина». С правилами вывода в Л.В. связываются процедуры, позволяющие вычислять вероятностную оценку истинности выводимой формулы по известным оценкам истинности для формул-посылок.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]