ваппросс по формальной логике
Dec. 25th, 2004 04:55 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
hgrкак это называется, если:
есть функция
F, отбражающая А на В,
и есть функция
G, отображающая В на А,
однако:
две эти функции не являются обратными по отношению друг к другу, т.к. преобразование А на В возможно лишь в условиях осуществления преобразования В на А (и наоборот). т.е. отдельно друг от друга они не существуют.
т.е. между ними соотношение дополнительности, если не ошибаюсь, и принцип неопределенности тоже действует (по отношению к элементам множеств А и В).
мне кажется, что д.б. для этого дела какой-нить формальный аппарат.
еще иначе сформулирую тот же вопрос: как задать такое отношение между логическими функциями, которое было бы одновременно конъюнкцией и дизъюнкцией (т.е., по определению, у нас такая логика, где это возможно).
АПДЕЙТ см. комменты, а также я тут отчасти вспомнил, как называется та область, из которой у меня вопрос. кажется, это называется нежесткие множества (или как-то похоже). в этой теории д.б. свой аналог понятию "обратная функция". вот об ём я и спрашиваю.
есть функция
F, отбражающая А на В,
и есть функция
G, отображающая В на А,
однако:
две эти функции не являются обратными по отношению друг к другу, т.к. преобразование А на В возможно лишь в условиях осуществления преобразования В на А (и наоборот). т.е. отдельно друг от друга они не существуют.
т.е. между ними соотношение дополнительности, если не ошибаюсь, и принцип неопределенности тоже действует (по отношению к элементам множеств А и В).
мне кажется, что д.б. для этого дела какой-нить формальный аппарат.
еще иначе сформулирую тот же вопрос: как задать такое отношение между логическими функциями, которое было бы одновременно конъюнкцией и дизъюнкцией (т.е., по определению, у нас такая логика, где это возможно).
АПДЕЙТ см. комменты, а также я тут отчасти вспомнил, как называется та область, из которой у меня вопрос. кажется, это называется нежесткие множества (или как-то похоже). в этой теории д.б. свой аналог понятию "обратная функция". вот об ём я и спрашиваю.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2004-12-25 02:55 am (UTC)no subject
Date: 2004-12-25 03:01 am (UTC)функции таковы, что, если качественные "величины" представлять количественными, то произведение дельта А на дельта В не может быть меньше какой-то постоянной, которая больше нуля.
(для абсолютно однозначной референции нужна бесконечная текстура, а единица текстуры дает бесконечно-значимую референцию).
no subject
Date: 2004-12-25 03:18 am (UTC)координата и импульс существуют одновременно, но связаны соотношением гейзенберга.
в классической механике м.б. бы построить функцию зависимости импульса от координаты, а также (обратную) функцию координаты от импульса.
т.е., скажем, импульс это масса на скорость, где скорость это производная от координаты по времени, а можно, значит, обратно получить интегрированием координату из импульса. это будут две обратные функции.
но классической механики нет, и поэтому эти функции перестают быть обратными друг другу.
тогда какими друг другу они называются -- функции, которые устанавливают зависимость от координаты к ипульсу и обратно?
no subject
Date: 2004-12-25 03:20 am (UTC)no subject
Date: 2004-12-25 05:13 am (UTC)Нечеткая логика
Date: 2004-12-25 06:08 am (UTC)Материалы по нечеткой логике, нечетким множествам и операциям над ними есть на сайте http://fuzzyset.narod.ru/.
Там очень много ссылок, в т.ч. на сайт Л. Заде и на тексты публикаций в электронном виде.
no subject
Date: 2004-12-25 07:37 am (UTC)В классической механике, в гамильтоновом подходе (который и является основой для канонического квантования), состояние системы описывается набором координат и импульсов в фиксированный момент времени. И это независимые переменные. В квантовой механике операторы координат и импульсов следует тоже понимать, как измеряющие эти наблюдаемые в какой-то начальный момент времени. Они, безусловно, не коммутируют, так как скобка Пуассона классических наблюдаемых становится коммутатором квантовых. Из этого следует, что импульсы никак не могут быть зависимыми от координат - иначе им пришлось бы друг с другом коммутировать.
Паша М.
no subject
Date: 2004-12-25 08:05 am (UTC)Я бы рекомендовал из знакомых мне ресурсов:
http://www.pa.info.mie-u.ac.jp/~furu/ifsa/
Или, может, этот короткий FAQ Вам поможет:
http://www.kstu.ru/P/fuzzy/faq.htm
no subject
Date: 2004-12-25 09:56 am (UTC)no subject
Date: 2004-12-25 09:58 am (UTC)буду читать.
Re: Нечеткая логика
Date: 2004-12-25 09:59 am (UTC)Re: Нечеткая логика
Date: 2004-12-25 06:06 pm (UTC)ужосс как признателен.
Re: Нечеткая логика
Date: 2004-12-25 06:16 pm (UTC)Re: Нечеткая логика
Date: 2004-12-25 09:55 pm (UTC)кошмар.
но у меня сразу же родились идеи разных формализаций на основе :-) надо бы только, может, не всё в одну книгу!
Re: Нечеткая логика
Date: 2004-12-26 09:50 am (UTC)