Лингвофорум

Существуют такие высказывания, которые несводимы к бинарным отношениям?

Вот смотрите, как можно выразить высказывание «я сплю» через бинарное отношение?

I am sleeping.

Отношение - спать с. Аргументы: я и я.
я - спать с - я. Я сплю с собой. Я сплю.

В конланге гариханло это будет выглядеть как:

मंरदोम्मं maⁿdommaⁿ

Цитата: Kaze no oto от июня  5, 2014, 22:09
Существуют такие высказывания, которые несводимы к бинарным отношениям?

Отношения без аргументов. Что им соответствует в естественном языке  :what: Наверно, безличные предложения.
Вечереет. Распогоживается.   

Цитата: Fobee от июня  6, 2014, 11:02
Отношение - спать с. Аргументы: я и я.
я - спать с - я. Я сплю с собой. Я сплю.

В конланге гариханло это будет выглядеть как:

मंरदोम्मं maⁿdommaⁿ

Спасибо, теперь я понял.

Цитата: _Swetlana от июня  6, 2014, 15:56

Цитата: Kaze no oto от июня  5, 2014, 22:09
Существуют такие высказывания, которые несводимы к бинарным отношениям?

Отношения без аргументов. Что им соответствует в естественном языке  :what: Наверно, безличные предложения.
Вечереет. Распогоживается.   

А приведите, пожалуйста, подобные отношения в формальных языках.

Цитата: Kaze no oto от июня  6, 2014, 16:07

Цитата: _Swetlana от июня  6, 2014, 15:56

Цитата: Kaze no oto от июня  5, 2014, 22:09
Существуют такие высказывания, которые несводимы к бинарным отношениям?

Отношения без аргументов. Что им соответствует в естественном языке  :what: Наверно, безличные предложения.
Вечереет. Распогоживается.   

А приведите, пожалуйста, подобные отношения в формальных языках.

1. Стандартные предикаты пролога true (всегда возвращает истину) и fail (всегда возвращает ложь).
2. Любую свою программу на прологе запускаю предикатом run. Предикаты, которые вызываются внутри run, уже имеют аргументы.
Правило для него выглядит так:
run if
   goal1(<...>) and
  <...> and
  goaln(<...>).

Нет, нульарность не катит.
Могу написать свой собственный бинарный предикат true с двумя фиктивными анонимными переменными и таким правилом:
true(_, _).

Нужен пример трёхарного отношения, которое не сводится к бинарному.

А почему, кстати, бинарного? Нуальарное ничем не хуже.
Я сижу за компом, флужу в Тараскиной теме и слушаю песенку. --> я_сижу_за_компом_флужу_в_Тараскиной_теме_и_слушаю_песенку().
:green:

Цитата: _Swetlana от июня  6, 2014, 16:41Нужен пример трёхарного отношения, которое не сводится к бинарному.

Ваня - шурин Пети. :green:

Цитата: Bhudh от июня  6, 2014, 18:42

Цитата: _Swetlana от июня  6, 2014, 16:41Нужен пример трёхарного отношения, которое не сводится к бинарному.

Ваня - шурин Пети. :green:

Композиция отношений.

есть(Вася,шурин(Вася, Петя)) - добавили фиктивный аргумент и представили тернарное отношение как композицию двух бинарных.

А жена? :eat:

В каком смысле жена?

А холостой Ваня может иметь шурина Петю?

«быть шурином» — это уже бинарное отношение.

Оно требует дополнительного отношения «быть братом».

Цитата: Fobee от июня  6, 2014, 18:44
Композиция отношений.

есть(Вася,шурин(Вася, Петя)) - добавили фиктивный аргумент и представили тернарное отношение как композицию двух бинарных.

:o
вася и петя - константы (в прологе константы с маленькой буквы пишут), заменим их свободными переменными X и Y.

% шурин и брат - правила вывода; родитель, муж, мужчина, женщина - истинные факты.
clauses
родитель(сидор, вася). родитель(сидор, ася).

муж(петя, ася).

мужчина(вася). мужчина(петя).

женщина(ася).

шурин(X, Y) если
    брат(X, Z) и
    женщина(Z) и
    муж(Y, Z).

брат(X, Y) если
    родитель(Z, X) и
    родитель(Z, Y) и
    мужчина(X) и
    X <> Y.

Во. Шурин трєбує аж 4 2арных и 2 1арных.

Цитата: Bhudh от июня  6, 2014, 19:13
Оно требует дополнительного отношения «быть братом».

Что такое «требует»?

Цитата: Тайльнемер от июня  7, 2014, 12:21

Цитата: Bhudh от июня  6, 2014, 19:13
Оно требует дополнительного отношения «быть братом».

Что такое «требует»?

Не поняла вопрос. Откройте толковый словарь, прочитайте определение шурина.

Декларативные языки программирования (в отличии от императивных) описывают проблемную ситуацию, которая у вас возникла.
Возникла следующая проблемная ситуация: как описать родственные отношения, чтобы система могла отвечать на запросы типа:
является ли некто шурином Y, или для некты перечислить всех его шуринов, или кому некто является шурином, или напечатать все пары шуряк - зятёк.
Вначале делаете всё на естественном языке. Затем переписываете на пролог, в данном случае одна строчка на ЕЯ - одна строчка на прологе. Пролог - язык самого высокого уровня.

Вы по сути составляете базу данных. Только в обычных БД только факты, а у вас еще правила типа "если - то". Для описания генеалогии какие-то отношения нужно принять за базовые, они будут истинными фактами, другие отношения будут через них определяться с помощью правил "если-то". Для описания отношения "быть кому-то шурином" (на ЕЯ! не на прологе) вы используете отношения "быть родителем кого-то", "быть братом кого-то", "быть мужем кого-то", "быть мужчиной", "быть женщиной". Родитель, муж, мужчина, женщина - базовые, брат - небазовое, т.к. может быть определено через базовые.

Теперь переписываем на пролог, один к одному. Но. Вы знаете, что нельзя быть братом самому себе, а система не знает. Она рассуждает так. У васи и васи есть общий родитель сидор, вася - мужчина, значит вася является братом васи.
Вы должны сообщить об этом системе в явном виде. Поэтому в правиле для брата появляется дополнительное условие X <>Y.