Логические формы - это простые логические представления знаний первого порядка предложений естественного языка , образованные конъюнкцией понятийных предикатов, связанных через общие аргументы. Каждое существительное, глагол, прилагательное, наречие, местоимение, предлог и союз образуют сказуемое. Логические формы могут быть украшены значениями слов , чтобы устранить неоднозначность семантики слова. Существует два типа предикатов: события помечаются буквой e , а сущности — буквой x . Общие аргументы соединяют субъекты и объекты глаголов и предлогов вместе. Пример ввода/вывода может выглядеть так:
Логические формы используются в некоторых методах обработки естественного языка , таких как ответы на вопросы , а также в выводах как для систем баз данных , так и для систем контроля качества.