powered by simpleCommunicator - 2.0.49     © 2025 Programmizd 02
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Немного о ВТФ
25 сообщений из 239, страница 4 из 10
Немного о ВТФ
    #40041375
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
exp98
mayton, это называется дедукцией. Или почти ею. Грубо говоря, всевозможные сочетания из БД. А мои примеры про индукцию и т.п., когда чего-то в БД недостаточно. Откуда, что и как тогда взять? и возможно ли взять?

Тонко.

Я согласен насчет того что если в БД недостаточно - то мы в тупике. Фантазия и гипотезы - это явно не сильная
сторона Пролога.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041379
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
tchingiz

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


А давайте попробуем. Я все равно профан в Прологах и поэтому мне не жаль ошибаться. Имею право пока еще.

Начнем с простого. Определение простого числа. Я не писал это. Взял со стековера.
https://stackoverflow.com/questions/23282097/prolog-program-to-check-if-a-number-is-prime

Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
?- [user].
|: divisible(X,Y) :- 0 is X mod Y, !.
|: divisible(X,Y) :- X > Y+1, divisible(X, Y+1).
|: isPrime(2) :- true,!.
|: isPrime(X) :- X < 2,!,false.
|: isPrime(X) :- not(divisible(X, 2)).
|: ^D% user://1 compiled 0.00 sec, 5 clauses
true.



Вот с восклицательным знаком - непонятно. Это получается утверждение - наоборот?
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041382
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Я==0 в П.
Здесь вещь простая, поэтому поверхностно кажется правдой.
Мне кажется, что всё такое подобное раньше называлось экспертными системами, которые писать можно хоть на П., хоть на Б.
Например ЭС продукционного типа.
Имелись просто пустые оболочки ЭС.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041817
Фотография tchingiz
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
mayton
tchingiz

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


А давайте попробуем. Я все равно профан в Прологах и поэтому мне не жаль ошибаться. Имею право пока еще.

Начнем с простого. Определение простого числа. Я не писал это. Взял со стековера.
https://stackoverflow.com/questions/23282097/prolog-program-to-check-if-a-number-is-prime

Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
?- [user].
|: divisible(X,Y) :- 0 is X mod Y, !.
|: divisible(X,Y) :- X > Y+1, divisible(X, Y+1).
|: isPrime(2) :- true,!.
|: isPrime(X) :- X < 2,!,false.
|: isPrime(X) :- not(divisible(X, 2)).
|: ^D% user://1 compiled 0.00 sec, 5 clauses
true.



Вот с восклицательным знаком - непонятно. Это получается утверждение - наоборот?

Пролог меня довел до белого каления в 93 году. И склероз, он все побеждает.
Восклицательный знак - это вроде отсечение.
Пролог все делает тупым перебором, восклицательный знак каким то образом уменьшает
перебор, отсекая ветки, не нужные с точки зрения программиста.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041820
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
tchingiz

Пролог меня довел до белого каления в 93 году. И склероз, он все побеждает.
Восклицательный знак - это вроде отсечение.
Пролог все делает тупым перебором, восклицательный знак каким то образом уменьшает
перебор, отсекая ветки, не нужные с точки зрения программиста.

Я с пол-года назад начал читать Ивана Братко но забросил. Нудно.
Братко также упоминает о низкой производительности Prolog-машины и дает
советы по оптимизациям.

Но вот самый первый вопрос который я искал по книге - как объявить факт наоборот?

Тоесть если я утверждаю Платон - человек.

Код: sql
1.
human("Platon").



То как мне утверждать что курица - не человек? Или контр-утверждение принципиально не работает в Прологе?

Код: sql
1.
!human("chicken").
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041824
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Знаю точно, что
Платон - Человек!
а некоторые б-бы точно - курицы.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041837
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
mayton
tchingiz

Пролог меня довел до белого каления в 93 году. И склероз, он все побеждает.
Восклицательный знак - это вроде отсечение.
Пролог все делает тупым перебором, восклицательный знак каким то образом уменьшает
перебор, отсекая ветки, не нужные с точки зрения программиста.

Я с пол-года назад начал читать Ивана Братко но забросил. Нудно.
Братко также упоминает о низкой производительности Prolog-машины и дает
советы по оптимизациям.

Но вот самый первый вопрос который я искал по книге - как объявить факт наоборот?

Тоесть если я утверждаю Платон - человек.

Код: sql
1.
human("Platon").




То как мне утверждать что курица - не человек? Или контр-утверждение принципиально не работает в Прологе?

Код: sql
1.
!human("chicken").


разве в прологе !, а не "not"

так что, емнип, вот так not(human("chicken"))
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041844
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
ZyK_BotaN, да так получилось.

Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
?- [user].
|: not(human("chicken")).
|: human("platon").
|: ^D% user://1 compiled 0.01 sec, 2 clauses
true.

?- human("chicken").
false.

?- human("platon").
true.



Но этого-же эффекта я мог добится и не объявляя никаких предикатов с курицей.

Каково место таких отрицательных предикатов в экспертных системах?
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041845
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
mayton
Каково место таких отрицательных предикатов в экспертных системах?

явно указать что чикен точно не хуман.
ибо если сделать запрос "не хуман), то чикен в ответ не попадет, если не указать явно, что он не хуман.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041892
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Давай докопаемся до древнего зашквара.

Платон говорил дескыть - человек - двуногое без перьев. На Prolog (я использую вариант SWI-Prolog
и запускаю его через докер чтоб не устанавливать лишний раз).

Далее я пытаюсь описать систему утверждений и правил. Платон - человек. Цыпа - двуногий.

И утверждение что ощипаный - суть без перьев. И главное утверждение Платона в конце.

Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
human(platon).
featherless(platon).

bipedal(platon).
bipedal(chicken).

featherless(X) :- plucked(X).
human(X) :- featherless(X), bipedal(X).



И вопрос. Является ли ощипанный петух человеком по Платону?

Пока застрял на ошибке.
Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
?- [user].
|: human(platon).
|: featherless(platon).
|:
|: bipedal(platon).
|: bipedal(chicken).
|:
|: featherless(X) :- plucked(X).

Warning: user://1:14:
Warning:    Clauses of featherless/1 are not together in the source-file
Warning:    Earlier definition at user://1:9
Warning:    Current predicate: bipedal/1
Warning:    Use :- discontiguous featherless/1. to suppress this message
|: human(X) :- featherless(X), bipedal(X).

Warning: user://1:21:
Warning:    Clauses of human/1 are not together in the source-file
Warning:    Earlier definition at user://1:8
Warning:    Current predicate: featherless/1
Warning:    Use :- discontiguous human/1. to suppress this message

...
Рейтинг: 0 / 0
Немного о ВТФ
    #40041909
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Swi-Prolog консоль.

Код: sql
1.
2.
$ docker pull swipl
$ docker run -it swipl



Поскольку файлы грузить из докера неудобно. Я делаю юзерский ввод

Код: sql
1.
[user].



После ввода фактов и правил я делаю Ctrl+D и перехожу в режим вопросов.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40042210
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Получилось разобраться со значениями х, которые делятся на квадраты простых чисел.

В результате сменилось название статьи:

Доказательство Великой теоремы Ферма на множествах пар натуральных чисел (частный случай)

и аннотации:

Великая теорема Ферма доказана для любого натурального числа х и для всех натуральных чисел y,
где x > y, при определённой последовательности значений степеней n.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40042231
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Gennadiy Usov, что ты зачеловек!
Название темы читал? Немного о ВТФ.
Да-да, НЕ МНОГО .

Не видишь, здесь на Платона клевещут... Платон мне друг, и истина важнее. Не он про петуха.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40042233
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Я прошу прощения. Виноват. К чорту петухов. Я отдельно подниму тему.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40042577
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
mayton
И вопрос. Является ли ощипанный петух человеком по Платону?
Вопрос как хоть выглядит?
И на мой взгляд, не описан ни один общипанный представитель. Есть один б/перьев, да и тот - Plato.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40043761
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Добавил в статью задачу 3: Доказательство ВТФ на множествах Рх при чётных числах n.

Оказалось, что ВТФ доказана при величине чётной степени n для всех множеств Рх,
где значение х меньше произведения простых чисел Р таких,
что величина (Р – 1) является множителем величины n.

В статье есть пример для x^N + y^N = z^N

N = 900. Сомножители: 2, 2, 3, 3, 5, 5.
Возможные множители – это различные комбинации произведений сомножителей.
Из них нужно выбрать такие множители А, что (А +1) – простое число.
Из всех возможных множителей отбираем следующие множители: 180, 30,18, 10, 6, 2.
Для полученных множителей определяем простые числа: 181, 31, 19, 11, 7, 3.
Произведение полученных простых чисел равно:
Х = 24626679.

Следовательно, ВТФ доказана для всех множеств Рх, где х < 24626679, при n = 900.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40043796
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
На самом деле при N = 900 ВТФ доказана для всех Рх
за исключением
пар чисел х и y, которые делятся на число Х = 24626679.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40043887
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
Ещё один пример:

N =720
Сомножители : 2,2,2,2,3,3,5
Множители (отобранные): 2,4,6,10,12,16,18,30,40,60,180,240
Простые числа: 3,5,7,11,13,17,19,31,41,61,181,241
Произведение простых чисел: Х = 16402077585488595

То есть, при N = 720 ВТФ доказана для всех Рх
за исключением
пар чисел х и y, которые делятся на число Х = 16402077585488595.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044018
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Gennadiy Usov
На самом деле при N = 900 ВТФ доказана для всех Рх
за исключением пар чисел х и y, которые делятся на число Х = 24626679.
Ехидно замечу, что таких исключений >99,999% среди бесконечного числа пар натуральных.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044056
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
exp98
Gennadiy Usov
На самом деле при N = 900 ВТФ доказана для всех Рх
за исключением пар чисел х и y, которые делятся на число Х = 24626679.
Ехидно замечу, что таких исключений >99,999% среди бесконечного числа пар натуральных.
А как быть с такими же исключениями, когда :
- Эйлер доказал ТОЛЬКО для n = 3;
- Ферма доказал ТОЛЬКО для n = 4;
- Лежен Дирихле и Лежандр доказали ТОЛЬКО для n = 5;
- Ламе доказал ТОЛЬКО для n = 7;
и этот список можно продолжить
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044103
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Gennadiy Usov, но вы же не Эйлер?.. он кажется умер ...
С кем-нибудь из современных, как?
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044112
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
exp98
Gennadiy Usov, но вы же не Эйлер?.. он кажется умер ...
С кем-нибудь из современных, как?
Есть фермисты, которые пытаются решить задачу сразу: одной формулой.
Пока никак.
Их очень много, об этом есть публикации.
Про доказательство на 160 страниц ничего сказать не могу.

А задача ВТФ лучше решается, если будет много частных случаев.
У меня один из таких случаев, который "охватывает" точечно всё множество троек: х, y, n.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044147
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Gennadiy Usov
задача ВТФ лучше решается, если будет много частных случаев.
Как раз это в 90-х и было показано с помощью компа. Его - в дверь, а он - обратно в окно.
Gennadiy Usov
У меня один из таких случаев, который "охватывает" точечно всё множество троек: х, y, n.
Это давно понятно. Теперь: Как работать с "исключениями" для чётного эн? какова их классификация, что может делать их исключением ....
Что с нечётными эн?
М.б. принципиально недостаточно одних только теорчисел-методов?

Очень давно уже, мне прислали полное док-во на предмет обсудить. Обстоятельства были неудачные, не до того было, даже не читал. Особенность была в том, что док-во - оно было большое - почти наверное полностью использовало методы матлогики. Хотя судя по безвестности, что-то там было не так.
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044157
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Я наверное больше физик чем математик. Я ставлю эксперимент. Бросаю миллиард рандомных чисел в формулу
великой ТФ. В левую часть где С в кубе. Ищу поиском что в правой части не существует таких целых А и Б.

И после этого мне Ферма неинтересен. Это как если-бы я миллиард раз замерял зависимость давления газа от объема
(изотерма) и уже заколебал себя и окружающих. Ну тоесть он доказан практически.

А сколько математиков в мире поняли и приняли последнее доказательство ВТФ?
...
Рейтинг: 0 / 0
Немного о ВТФ
    #40044169
Gennadiy Usov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
mayton
А сколько математиков в мире поняли и приняли последнее доказательство ВТФ?
В журнале, где я публикуюсь, в разделе математика хватает фермистов (или гипотеза Била):
я с ними иногда дискутирую на предмет ошибочности в доказательстве.

А что творится в мире?
Наверное, ещё больше фермистов.
Все они хотят, чтобы их "признало мировое сообщество" (это я вычитал в одной статье)

Я бы и не начинал эту тему, но обнаружились интересные последовательности
или закономерности (как в задаче N ферзей).
И всё "слепилось" за 3 недели.
...
Рейтинг: 0 / 0
25 сообщений из 239, страница 4 из 10
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Немного о ВТФ
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Найденые пользователи ...
Разблокировать пользователей ...
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]