Логические модели знаний

Логические модели знаний - основа человеческих рассуждений и умозаключений, которые, в свою очередь, могут быть описаны подходящими логическими исчислениями.

Логические исчисления могут быть представлены как формальные системы в следующем виде:

М=(T,P,A,F),

где T - множество базовых элементов (например, буквы некоторого алфавита);

P - множество синтаксических правил, на основе которых из T строятся правильно построенные формулы;

A - множество правильно построенных формул, элементы которого называются аксиомами;

F - правила вывода, которые из множества А позволяют получать новые правильно построенные формулы (теоремы).

К таким логическим исчислениям можно отнести:

· силлогистику Аристотеля;

· прикладные исчисления высказываний и предикатов, среди которых можно выделить псевдофизические логики.