February 10th, 2019

про причинность для размышления

когда говорим о причинах, мы говорим о процессе изменений состояния некоторой системы во времени
возьмем перечень факторов-событий Z1, Z2,...Zn и обозначим как Z(t)
Z1(t), Z2(t),..., Zn(t) это набор в момент времени t, можно назвать система факторов в момент времени t

возьмем произвольное событие S(t+1) в момент времени (t+1)
тогда Z1(t), Z2(t),..., Zn(t) есть причины для события S(t+1),
если и только если удаление любого элемента Zk(t) ведет к состоянию S1(t+1)<>S(t+1)

т.е. удаление любого элемента Zk(t) ведет к состоянию S1(t+1) отличному от состояния S(t+1)

это предварительная заготовка (рабочая гипотеза) и не является истиной в последней инстанции
Collapse )

Открытые проблемы Искусственной Жизни

===
Открытые проблемы Искусственной Жизни
---

Как живое возникло из неживого?

Создать молекулярный прото-организм в пробирке
Смоделировать переход к жизни при помощи моделей искусственной химии
Определить возможность существования фундаментально отличных от существующих живых организмов
Смоделировать полный жизненный цикл одноклеточного организма
Объяснить как правила и символы порождаются в результате физических процессов протекающих в организме
---

Каковы возможности и ограничения живых систем?

Определить неотъемлемые условия открытой эволюции жизни
Определить минимальные требования к эволюционному переходу от специализированных к общим реагирующим системам
Создать формальную базу для синтеза динамических иерархий на всех уровнях
Определить прогнозируемость эволюционных последствий от воздействия на организмы и экосистемы
Разработать теорию получения, обработки и передачи информации в эволюционирующих системах
---

Как жизнь относится к разуму, машинам и культуре?

Продемонстрировать возникновение разумности и сознания в искусственных живых системах
Оценить влияние машин на последующую эволюцию жизни
Предложить количественную модель взаимодействия культурной и биологической эволюции
Установить этические принципы искусственной жизни
из сборника Bedau, et al., 2001, Artificial Life, 6, 363-376:
---
http://www.keldysh.ru/pages/mrbur-web/misc/alprob.html
===

они все пишут о моделях

осознал неожиданное совпадение структуры формул из вики со своей конструкцией модели
---

сравните формулы из википедии (ниже ссылка)

с моей формулой

формальная_модель=((a,b),(c,d))=((a->b)->(c->d))

формализация понятия модель в терминах упорядоченных пар

https://deep-econom.livejournal.com/77792.html

----

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

это на мой взгляд говорит о правильности моего обобщения

общая структура формул совпадает по причине того, что это модель моделей, абстрактный универсальный примитив, ну вот они на него и выходят в той или ной конкретной области

круто ))

---из вики Аксиома унивалентности---

Collapse )

в подражание названию аксиома унивалентности хочется назвать свою конструкцию аксиома метамодельности
формальная_модель=((a,b),(c,d))=((a->b)->(c->d))

аксиома метамодельности ((*,*),(*,*))

((*->*)->(*->*))