Как следует из названия, я пытаюсь разобрать, например term(A, b, c(d, "e", 7)) в таблице Lua, например {term, {A, b, {c, {d, "e", 7}}}} Это грамматика, которую я построил: local pattern = re.compile[=[ term <- variable...

Я не очень ясно понимаю этот пример. Пример взят из Руководства по логике описания. В последней строке примера «требуется индукция, следовательно, такое рассуждение не первого порядка». Эта фраза полностью вывела меня из себя. ваше...

Я пытаюсь понять, как вы могли бы закодировать «[агент A] хочет [глагол] для [агента B]» как логику первого порядка (например, «Джон хочет укусить Сару»). Чтобы закодировать «Джон кусает Сару» как FOL, будет: bites(John, Sara) или, если хотите,...

У меня есть следующая формула ФОЛ: ∀e(S(e)) → ∃d(P(d)) И словарный запас: variables: e:'exam', d:'day' functions: S:'successful', P:'party' Сначала я перевел эту формулу на: For every successful exam, there will be a day of party Хотя,...

Я читал эту исследовательскую работу: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.365.9467&rep=rep1&type=pdf Таким образом, вкратце, они преобразуют квантифицированные рупорные предложения в рупорные предложения без кванторов путем...