Описание тега first-order-logic
Логика первого порядка - это формальная логическая система, используемая в математике, философии, лингвистике и информатике.
2
ответа
Доказательства формата Fitch - есть ли ресурсы вокруг?
В настоящее время я изучаю логические доказательства первого порядка в формате Fitch. Мой лектор внимательно следит за языком, доказательством и логикой Джона Барвейса. Я пытаюсь сделать некоторые доказательства, но у меня возникают проблемы с поним…
09 июн '10 в 04:49
5
ответов
Предикат против функций в логике первого порядка
Я был так запутан в последнее время относительно различий между предикатом и функцией в логике первого порядка. Насколько я понимаю, пока Предикат - показать сравнение или показать связь между двумя объектами, такими как, President(Obama, America) Ф…
14 июн '11 в 00:08
0
ответов
Простой тест Prover9 не работает
У меня есть файл, который я использую в качестве входных данных для доказательства теоремы9. Он содержит только предположения. Я решил протестировать Prover9, используя в качестве цели одно из предположений. Очевидно, это должно быть доказано. Тем н…
04 апр '18 в 12:02
2
ответа
Логика первого заказа для полного новичка (рекомендации книги)?
Я записался на класс, который мне не следовало посещать. Так что теперь я слегка облажался, потому что я не понимаю ни одной из обозначений, использованных, когда мой профессор объяснял логику первого порядка. Мне нужны некоторые книжные предложения…
01 фев '11 в 09:48
1
ответ
Функция на левой стороне правила на слюни
Рассмотрим следующее правило для "location" r и s: ∀r,s[(danger(r)∧adjacent(r,s))→danger(s)] Я попытался реализовать следующим образом: function boolean adjacent(Location l1, Location l2) { if (l1.x == l2.x) return Math.abs(l1.y - l2.y) == 1; if (l1…
20 апр '16 в 09:50
1
ответ
Как доказать, что что-то * не * может быть переведено в логику описания?
Моя интуиция говорит, что невозможно перевести предложение все красные машины лучше всех синих машин в описание логики (в FOL это будет ∀x∀y (красный (x) ∧ синий (y) → лучше (x,y)) интерпретировать в области автомобилей). Действительно, единственной…
29 апр '17 в 16:54
1
ответ
Формулировка английских операторов как набора операторов логики первого порядка
В настоящее время я изучаю FOL и у меня есть ряд английских утверждений, которые я пытаюсь сформулировать в FOL. У меня есть английские заявления, а также мои попытки FOL на каждом. Мне просто интересно, есть ли кто-нибудь, кто может сообщить мне, е…
21 май '17 в 19:18
3
ответа
Регулярное выражение соответствует равное количество двух символов
Я бы хотел сопоставить параметры любой функции в виде строки с помощью регулярных выражений. В качестве примера приведем следующую строку: predicate(foo(x.bar, predicate(foo(...), bar)), bar) это может быть частью более длинной последовательности pr…
26 сен '16 в 13:58
1
ответ
Конвертировать предложения FOL в PROLOG
Я очень новичок в PROLOG, поэтому это может быть очень тривиальный вопрос, но я абсолютно не знаю, как его решить. Мне нужно сформулировать 4 предложения в коде PROLOG: Все собаки воют ночью. У любого, у кого есть кошки, не будет мышей. У легких спя…
01 янв '19 в 09:31
0
ответов
Отрицание в следующих предложениях
Я новичок в логике. Я написал отрицание на следующие предложения. (i) If you can run fast on sports meet then you can run fast on Olympic. (ii) If the connector is loose or it is unplugged machine will not work. Может ли кто-нибудь проверить, правил…
15 дек '18 в 09:08
2
ответа
p(x)⇒∀xp (x) является условным?
Я столкнулся с вопросом, спрашивающим, является ли текущее предложение действительным / условным / неудовлетворительным: p(x)⇒∀x.p(x) Я думаю, что ответ является правильным предложением. в разделе 6.10 учебника здесь http://logic.stanford.edu/introl…
17 июл '16 в 03:10
1
ответ
Рассуждение в логике первого порядка
Я читал о преобразовании предложений на естественном языке в логику первого порядка, и мне было любопытно, как логические рассуждения могут быть выражены в логике первого порядка. Я хочу знать, как преобразовать предложения типа "Событие A происходи…
12 апр '17 в 16:52
2
ответа
Логика и пролог первого порядка
Я пытаюсь понять, как пролог представляет логику первого порядка. Как я могу представить, например, в списке типов животных: собака (спот). кошка (nyny). летать (гарри) что все животные млекопитающие или насекомые?
15 мар '12 в 23:26
2
ответа
Когда использовать соединение, а когда использовать подтекст? (Логика первого порядка)
Сейчас я изучаю логику первого порядка. Я смотрю на этот пример: Некоторые собаки лают ∃x (собака (X) Λ кора (x)) У всех собак четыре ноги ∀x (собака (x) -> have_four_legs(x)) Мой вопрос: возможно ли для второго примера: ∀x (собака (x) Λ have_four_l…
20 фев '11 в 21:40
1
ответ
Слоны в логике первого порядка
Я имею в качестве фактов эти (эль означает слон): el(Sam) el(Clyde) el(Oscar) pink(Sam) gray(Clyde) likes(Clyde, Oscar) pink(Oscar)Vgray(Oscar) likes(Oscar, Sam) Теперь я хочу доказать (?), Что: Некоторому серому слону нравится розовый слон, что пер…
10 окт '15 в 15:40
1
ответ
Предикатный логический квантователь и скобки
Взято из: 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) --- Pe…
19 авг '18 в 16:00
0
ответов
Выражение головоломки Эйнштейна как набора замкнутых формул в логике первого порядка
Мне дана классическая головоломка Эйнштейна / Зебры в этой форме: Предположим, что на одной и той же дороге есть пять домов разных цветов. В каждом доме живет мужчина разной национальности. У каждого мужчины есть его любимый напиток, его любимая мар…
15 мар '13 в 04:25
1
ответ
Логика первого порядка - позиция квантификатора
Когда у вас есть оператор с →, имеет ли значение, используете ли вы квантификатор до или после импликации? ех. утверждение "Каждый человек любит царя" (2 разные семантические интерпретации) Каждый человек любит короля, и все эти короли могут отличат…
26 ноя '18 в 09:30
1
ответ
Логика высказываний и логика предикатов
С учетом предложения: 1. У Тома хороший ноутбук. 2. Том ходит в ресторан, только когда Мэри ходит в ресторан. Как я буду преобразовывать это в логику высказываний и логику предикатов. Я пытался дать ему шанс, но я не уверен, что это правильно. Propo…
21 май '14 в 08:57
1
ответ
Превратите английские предложения в логику первого порядка
Существуют ли инструменты или библиотеки, способные перевести английское предложение в логику первого порядка? Например: "Все, что любит всех людей, это собака". будет выглядеть так: ∀_(x,y) humman(y) ∩ love(x,y) → isdog(x) Я думаю, что это называет…
29 июл '14 в 00:02