Вопросы по теме 'first-order-logic'

Преобразование предложений в логику первого порядка
в логике первого порядка я знаю правила. Однако всякий раз, когда я конвертирую некоторые предложения в FOL, я получаю ошибки, я читаю много книг и руководств, есть ли у вас какие-нибудь уловки, которые могут мне помочь, несколько примеров, когда...
7647 просмотров
nlp first-order-logic
schedule 22.10.2021
Как смоделировать загадку кораблей Эйнштейна в Prover9 (логика первого порядка)
Мне нужно смоделировать следующую головоломку в Prover9 В порту 5 судов: Греческий корабль отправляется в шесть и несет кофе. Корабль посередине имеет черный дымоход. Английский корабль отправляется в девять. Французский...
1290 просмотров
theorem-proving first-order-logic zebra-puzzle
schedule 25.11.2021
Исчисление суперпозиции и упорядочение уравнений
Суперпозиционное исчисление - это метод доказательства теорем, который делает парамодуляцию менее плодотворной, вводя порядок уменьшения вместо применения каждого уравнения в обоих направлениях. Для очень простого тестового примера рассмотрите...
103 просмотров
algorithm language-agnostic theorem-proving first-order-logic
schedule 10.11.2021
Реализация пролога алгоритма Беккерта и Посегги
Beckert & Posegga обычно позиционируется как самый короткий логический прувер первого порядка. Но есть одна загвоздка, а именно: требуется подготовительный этап, формула должна быть внесена в специальную форму, прежде чем испытатель сможет ее...
177 просмотров
prolog first-order-logic
schedule 27.11.2021
Рассуждения в логике первого порядка
Я читал о преобразовании предложений естественного языка в логику первого порядка, и мне было любопытно, как логические рассуждения могут быть выражены в логике первого порядка. Я хочу знать, как преобразовать предложения типа «Событие A происходит...
356 просмотров
nlp first-order-logic
schedule 09.03.2022
Квант логики предикатов и скобки
Взято с: https://cs.nyu.edu/faculty/davise/ai/pred-examples.html Пусть U будет вселенной, содержащей людей и песни. Пусть L — язык со следующими примитивами. c(P,S) --- Person P composed song S. l(P,S) --- Person P likes song S. s(P,S) ---...
306 просмотров
logic predicate first-order-logic
schedule 29.03.2022
Для каких именно квантификаторов подходит SMT?
Я рассматривал различные решатели SMT, в основном Z3, CVC4 и VeriT. Все они имеют расплывчатые описания своей способности решать задачи SMT с помощью квантификаторов. Их документация в основном основана на примерах (Z3) или состоит из академических...
367 просмотров
z3 smt first-order-logic decidable cvc4
schedule 19.06.2022
Логика предикатов в Haskell
Я использовал следующую структуру данных для представления пропозициональной логики в Haskell: data Prop = Pred String | Not Prop | And Prop Prop | Or Prop Prop | Impl Prop Prop | Equiv Prop Prop deriving (Eq,...
4152 просмотров
data-structures haskell first-order-logic context-free-grammar
schedule 15.07.2022
p(x)⇒∀x.p(x) случайно?
Я столкнулся с вопросом о том, является ли текущее предложение действительным/условным/неудовлетворительным: p(x)⇒∀x.p(x) Я думаю, что ответ правильный. в разделе 6.10 учебника здесь...
570 просмотров
logic first-order-logic
schedule 24.07.2022
Определение того, какой логический набор содержит конкретный оператор: DL, FOL, Second-Order
Я работаю над онтологией для представления информации в Starcraft, и у меня возникли проблемы с определением того, может ли следующая общая аксиома класса быть представлена ​​в DL. Если нет, я хотел бы знать минимальный логический набор, необходимый...
91 просмотров
ontology description-logic first-order-logic
schedule 29.08.2022
Fitch Format Proofs — есть какие-нибудь ресурсы?
В настоящее время я изучаю логические доказательства первого порядка в формате Fitch Format. Мой лектор внимательно следит за Language, Доказательство и логика Джона Барвайза. Я пытаюсь сделать некоторые доказательства, но у меня возникли...
2987 просмотров
computer-science first-order-logic fitch-proofs
schedule 13.09.2022
Символическая логическая эквивалентность
Есть ли разница между этими двумя утверждениями, учитывая следующий язык?? Бен любит собак, а Джон или Мэри любят собак. Бен любит собак, а Джон или Мэри любят собак. С использованием: Б: Бен любит собак. Д: Джон любит собак. М:...
212 просмотров
logic first-order-logic
schedule 28.12.2022
Пролог - какие предложения нельзя выразить
Мне было интересно, какие предложения нельзя выразить на Прологе? Я изучал логическое программирование в целом и узнал, что логика первого порядка более выразительна по сравнению с логикой определенных предложений (предложение Хорна), на которой...
993 просмотров
logic prolog first-order-logic logic-programming
schedule 28.06.2023
Что поддерживается в логике первого порядка, чего нет в логике описания?
При изучении логики описания (ДО) очень часто можно прочитать, что это фрагмент логики первого порядка (ЛОЛ), но трудно прочесть что-то явно о том, что исключено из ДО, что является частью ЛОЛ, что делает ДО (со всеми его диалектами АЛК, ШОИН и...
2186 просмотров
owl description-logic first-order-logic
schedule 05.01.2023
Haskell - реализация логических выражений первого порядка
Я пытаюсь реализовать FOL с помощью Haskell. Логика первого порядка может быть в форме предложений, связанных между собой связками, такими как And и Or. Существуют также квантификаторы, которые имеют ограниченную область действия в выражении. Что...
369 просмотров
haskell ghci first-order-logic
schedule 04.11.2022
Как elim в Coq работает с квантификатором существования?
Меня смущает то, что Coq занимается экзистенциальной количественной оценкой. У меня есть предикат P и предположение H P : nat -> Prop H : exists n, P n в то время как текущая цель (что угодно) (Some goal) Если я хочу создать...
679 просмотров
first-order-logic coq
schedule 01.07.2023
В чем смысл кода ocaml для переопределения и комбинации в частичных функциях
Я читаю книгу Руководство по практической логике и автоматизированному мышлению . В нем есть некоторый код для определения конечных частичных функций в файле lib.ml . Я не мог понять смысла кода переопределения и объединения в частичных функциях....
236 просмотров
function ocaml first-order-logic formal-methods
schedule 20.12.2022
Логическое представление первого порядка этого утверждения?
Для выражения Прибыл рейс из Бостона. Мне нужно дать событийно-ориентированное представление логики первого порядка. Если бы это было the flight arrived , я бы сказал Прибыл(е) ^ прибыл_вещь(е,рейс) Как включить в него...
52 просмотров
first-order-logic
schedule 17.02.2023
Что означает это выражение с квантором всеобщности?
Я только что столкнулся с этим выражением, и, поскольку я никогда раньше не изучал универсальный квантификатор, поэтому я понятия не имею, что это значит, может ли кто-нибудь объяснить мне это, спасибо. ∀α.α → α Я знаю, что это универсальный...
41 просмотров
universal quantifiers first-order-logic
schedule 07.02.2023
Присвоение значения в Alloy и использование Enum
Как назначить переменную в Alloy? Sig ClassA{ variable_1: String, variable_2: Int } Sig ClassB{ variable_1: String, variable_2: Int } pred isLess[a:ClassA,b:ClassB]{ a.variable_2 < b.variable_2 } assert integrityTest{...
228 просмотров
enums declarative-programming first-order-logic alloy
schedule 13.11.2022