Использование только этих предикатов..... child(X) X is a child unwell(X,Y) X is unwell on day Y location(X,Y,Z) Location of X on day Y is Z (school, park, home) sunny(X) X is a sunny day Generally, children do not go to...

У меня есть следующий обзорный вопрос к предстоящему экзамену, с которым я хотел бы получить некоторую помощь. Я должен ответить на запрос «Мэри использует только зеленые яблоки для приготовления пирогов», используя разрешение. Моя текущая база...

Я пытаюсь построить онтологию, чтобы вывести некоторую информацию о классификации предметной области и терминологии, но у меня возникают некоторые концептуальные трудности. Позвольте мне объяснить проблему. В Protègè 4.1 я создал 6 подклассов...

Доброе утро, я хочу понять, как я могу описать что-то, используя логику первого порядка. Например, я хочу описать, что такое фильм (сущность) и что такое атрибут (например, актер: Клуни) для фильма. Как я могу описать это, используя логику первого...

Может ли кто-нибудь помочь мне доказать X=M , используя следующий набор уравнений (логика первого порядка) в Isabelle / HOL? N>=M forall n. 0=<n<N --> n<M X=N где N, M, X - целые постоянные. n целочисленная переменная...

Область дискурса - это предложения p(x) - x есть тавтология q(x) - x есть противоречие (они были написаны мной) Итак, я хочу констатировать, что отрицание противоречия есть тавтология в ЛЖ. Vx(¬q(x)→p(x)) Это то, что я придумал, но чем больше я об...

Существуют ли высокоуровневые API/среды/библиотеки для проверки эффективности конкретного подхода (например, эвристического алгоритма) для создания конструктивных доказательств на основе логики первого порядка/теории типов? Я пытаюсь найти удобный...