Может ли кто-нибудь помочь мне доказать X=M, используя следующий набор уравнений (логика первого...

Исчисление суперпозиции - это метод доказательства теорем, который делает парамодуляцию менее...

Я пытаюсь доказать некоторые эквиваленты FOL. У меня проблемы с использованием законов Деморгана...

Я пытаюсь доказать это значение, однако я застреваю и не могу понять, куда идти дальше.Я знаю, что...

Мне нужно реализовать структуру данных для разрешения единиц измерения. Единичное разрешение - это...

Я новичок в Alloy. Я пытаюсь формализовать систему с использованием Alloy. Здесь я хочу выполнить...

Я не могу понять FOL для этого вопроса .. Нужна помощь с этим вопросом. Я пробовал ∀ x, ∃y...

Я новичок в Alloy.Я хочу моделировать IFTTT из сплава.В IFTTT есть одно событие триггера и одно...

Как назначить переменную в Alloy? Sig ClassA{ variable_1: String, variable_2: Int } Sig ClassB{...

Учитывая набор формул на языке TPTP, существует ли стандартный способ получения набора аксиом,...

У меня есть вопрос об упражнении FOL, в котором я должен доказать, возможно ли объединить два...

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

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

Я очень новичок в PROLOG, поэтому это может быть очень тривиальный вопрос, но я абсолютно не знаю,...

Я изучаю двоичные деревья в Прологе. Я знаю структуру, но я не понимаю этот код в своих слайдах:...

При попытке решить логические задачи на компьютере обычно сначала конвертируют их в CNF, потому что...

Я пытаюсь доказать проблему с помощью Prover9, он постоянно говорит «Исчерпаны» (что означает, что...

Я пытаюсь понять, как пролог представляет логику первого порядка.как я могу представить, например,...

Я новичок в Alloy (язык спецификаций) и мне нужно проделать дополнительную работу, основываясь на...

в логике первого порядка, я знаю правила.Однако всякий раз, когда я конвертирую некоторые...

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

Как представить следующее предложение в FOL (Логика первого порядка): «Есть животное, которое ест...

Я использовал следующую структуру данных для представления логики высказываний в Haskell: data Prop...