Category: история

Category was added automatically. Read all entries about "история".

Оглавление сборника постов.

Сильный искусственный интеллект. Список постов.
https://deep-econom.livejournal.com/240140.html

Оглавление сборника постов.
https://deep-econom.livejournal.com/406760.html

Сильный искусственный интеллект. Мой новый блог.
https://alex-bur-agi.livejournal.com/

Поиск по блогу. Нажмите ссылку и замените строку ABC на нужную вам.
Поиск в гугле
Поиск инструментом ЖЖ
Поиск в яндекс

----Telegram----
Сильный искусственный интеллект. Моя группа в Telegram.
AGI/HLAI/SAI-SCA - сильный искусственный интеллект - системный кибернетический подход.
SCA (Systemic-Cybernetic Approach).
https://t.me/AGIRussia_SCA

Об общем искусственном интеллекте - по-русски
русскоязычные ученые, инженеры, энтузиасты
https://t.me/agirussia
---

Теория косвенных измерений.

Первую лекция, пятую и дополнение стоит почитать в качестве примера того, как строятся теории (математические для физических явлений), как они становятся физическими, а также о теории измерений.
Достаточно первой лекции и дополнения.
---
ЛЕКЦИИ ПО ОСНОВАМ КВАНТОВОЙ МЕХАНИКИ. (ТЕОРИЯ КОСВЕННЫХ ИЗМЕРЕНИЙ) (1939)
ПЕРВАЯ ЛЕКЦИЯ (26.III 1939 г.)
ВТОРАЯ ЛЕКЦИЯ (8.IV 1939 г.)
ТРЕТЬЯ ЛЕКЦИЯ (20.IV 1939 г)
ЧЕТВЕРТАЯ ЛЕКЦИЯ (8.V 1939 г.)
ПЯТАЯ ЛЕКЦИЯ (20.V 1939 г.)
ДОПОЛНЕНИЕ

http://alexandr4784.narod.ru/mandel2.html
---

Карри-Говард для FOL

https://akuklev.livejournal.com/1296572.html

Карри-Говард для FOL
Как все тут знают, по соответствию Карри-Говарда интуиционистской логике высказываний (логике нулевого порядка) соотведствует просто-типизированное лямбда-исчисление с произведениями STLC.

Утверждениям в логике соответствуют типы в STLC, доказательствам утверждений — термы соответствующих типов. У STLC с произведениями есть прекрасная категорная семантика — декартово-замкнутые категории.

С логикой первого порядка всё чуть сложнее. Там кроме утверждений появляются предикаты и отношения — утверждения, зависимые от одной или нескольких переменных, которые тоже имеют свои типы, в зависимости от подлежащей теории. Например, если мы в рамках логики первого порядка описываем линейные пространства, у нас будут типы K скаляров и V векторов.

То есть тут у нас есть такие сущности:
– Типы элементов (например, скаляров и векторов), они образуют категорию с конечными (декартовыми) произведениями. Среди них выделенный тип “1” — нейтральный элемент произведений. Назовём эту категорию T, и в ней особо выделим проекции X ↠ Y (морфизмы, которые выделяют из произведения A × B ×···× D подпроизведение, скажем, B × C, и, опционально, меняют порядок аргументов).
– Типы предикатов P(x : T), где T какой-то тип элементов. Отношения суть предикаты на произведении нескольких элементарных типов отношений, например Id(p : T × T), а обыкновенные высказывания суть предикаты на 1. Если мы хотим чтобы у нас была логика первого порядка с равенством, то как раз постулируется что для каждого типа элементов автоматически есть предикат Id(x : T, y : T).
– Мы хотим, чтобы совокупность предикатов над одним и тем же типом была реализацией логики высказываний (т.е. категория предикатов над T была декартово замкнутой)
– Мы хотим, чтобы каждая проекция в категории элементов X ↠ Y порождала контравариантный функтор между категориями предикатов над Y и предиктов над X (это значит мы можем менять местами переменные у предикатов и добавлять переменные, которые никак не используются), сохраняющий структуру декартовой замкнутости.
— Далее мы хотим, чтобы у нас были кванторы — функторы сопряженные с вложениями слева и справа, соответственно предикаты P(x : X, y : Y) в предикаты (∀x,P)(y : Y) и (∃y,P)(y : Y). То есть мы уменьшаем количество переменных (можем уменьшить и до нуля, тогда получатся предикаты над единицей, то есть высказывания), замыкая убираемые переменные квантором всеобщности или существования.

Вот собственно и вся категорная семантика FOL, называются такие штуковины гипердоктринами (или, соответственно гипердоктринами с равенством, если требуются id-типы). Привожу определение по Pierre Clairambault, “From Categories with Families to Locally Cartesian Closed Categories”:

(картинка)

А вообще это классика, R. A. G. Seely, Hyperdoctrines, natural deduction, and the Beck condition, Zeitschrift für math. Logik und Grundlagen der Math., Band 29, 505-542 (1983).

Графы Пирса. Боброва. Цитаты.

---
можно скачать пдф
http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/511/505
А. С. Боброва
ГРАФЫ Ч. ПИРСА: ОСОБЕННОСТИ ИХ ПОСТРОЕНИЯ И ПРОЧТЕНИЯ
---
Цитаты.
--
стр.77 сборника (стр.2 файла)
Теория должна была стать простой, но при этом продуктивной системой для работы с логическими отношениями. Она должна была предложить «сырой вариант обобщенной диаграммы Сознания (Mind)» (MS 490 в [Pietarinen 2015: 901], а потому ее
базовую единицу — граф — исследователь рассматривал как способ передачи утверждений — мыслей.
Это делает понятным сопоставление графов с «кинофильмами мыслей», которое мы встречаем в трудах американского мыслителя.
--
моё:
***базовую единицу — граф — исследователь рассматривал как способ передачи утверждений — мыслей

Да. Типа того.
Смысл=связь. Соответственно упорядоченная пара (*,*) - модель, есть мысль.
Мышление это генерация и трансформация моделей, суть графов.
Т.е. еще один великий говорит о том же, что и я.

про графы от философа Боброва А.С. про графы

Надо будет про графы просмотреть/осмыслить
---
Боброва Ангелина Сергеевна
https://www.rsuh.ru/who_is_who/detail.php?ID=307307

---Конспект от С.Шишкина---
А. С. Боброва ГРАФЫ Ч. ПИРСА: ОСОБЕННОСТИ ИХ ПОСТРОЕНИЯ И ПРОЧТЕНИЯ (Конспект)
https://telegra.ph/GRAFY-CH-PIRSA-08-03
---
Боброва А.С. Аргументативная теория рассуждений для аргументационных теорий. Электронный научный журнал РАЦИО.РУ 9, 2013. [URL]: http://www.kantiana.ru/upload/iblock/af1/02_bobrova.pdf
Боброва А.С. Теория аргументации сегодня и проблема субъекта // Выпуск № 14 (2014) электронного научного журнала РАЦИО.ru. [URL]: http://www.kantiana.ru/upload/iblock/685/2014_13_02_bobrova.pdf
Bobrova A. Argument from Analogy and its interpretation: a Problem of Evaluation // Studies in Logic, vol. 63. UK: College publications, 2016. P. 281–290.
Боброва А.С. Почему логика изучает рассуждения? Взгляд Ч.С. Пирса // Вестник РГГУ. Сер. «Философия. Социология. Искусствоведение», № 3 (5), 2016. С. 28–36.
Боброва А.С. Идеи теоретической философии Канта в графической теории Пирса // Кантовский сборник № 4, 2016. С. 107–116.
Боброва А.С. Графы Пирса: особенности их построения и прочтения // Логико-философские штудии. Ежегодник Ассоциации логиков Санкт-Петербурга. Том 14, 2016. C. 76–90.
Боброва А.С. Логическая теория, построенная геометрическим образом // Логико-философские штудии. Ежегодник Ассоциации логиков Санкт-Петербурга, том 15 (1), 2017. C. 28–43.
Боброва А.С. Критическое мышление. Проблема определения // Электронный научный журнал РАЦИО.ru. Выпуск № 18 (1), 2017. [URL]: https://journals.kantiana.ru/journals/ratio/3747/10327/
Bobrova A. Argumentation Profiles vs. Argumentation Schemes // Studies in Logic, vol. 63. UK: College publications, 2018. P. 49–62.
Боброва А.С. Чему учат диаграммы? Рассуждения и восприятие // Логические исследования, том. 24. № 2, 2018. С. 70–76.
Боброва А.С. Критическое мышление или логика? // Логико-философские штудии. Том 16, № 3 (2018). С. 200–216.
Боброва А.С. Обучение графами – диаграммы Ч.С. Пирса и преподавание логики // Логико-философские штудии. Том 17, № 1 (2019). С. 32–50.
Боброва А.С. Как сделать тавтологии ясными? // Логические исследования. Т. 25. № 1. 2019. С. 20–36.
---

Критическое мышление. Проблема определения
https://journals.kantiana.ru/ratio/3747/10327/
---

Представления графов и сетей (кодирование, укладки и вложения)
В. П. Козырев, С. В. Юшманов
http://mi.mathnet.ru/rus/intv/v27/p129

Аннотация: Определяются специальные представления графов и характеризуются классы графов, допускающих эффективные специальные представления. Изучаются представления графов семействами множеств объектов различной природы, излагается топологическая тематика укладки графов на поверхностях. Описываются метрические и алгебраические представления графов в арифметических пространствах. Приводятся некоторые результаты о представлениях графов с помощью стандартных операций. В качестве приложений приводятся результаты, относящиеся к двум областям знания: к автоматизации синтеза ЭВМ и организации работ программирования на них, а также к записи молекул и химических формул в органической и неорганической химии.
---
---

Рубинштейн, С. Л. Основы общей психологии.

Рубинштейн, С. Л. Основы общей психологии – Издательство: Питер, 2002 г., 720 стр.
http://yanko.lib.ru/books/psycho/rubinshteyn=osnovu_obzhey_psc.pdf
http://psylib.org.ua/books/rubin01/index.htm

стр.384.
Мышление как познавательная теоретическая деятельность теснейшим образом связано с действием. Человек познает действительность, воздействуя на нее, понимает мир, изменяя его. Мышление не просто сопровождается действием или действие – мышлением; действие – это первичная форма существования мышления. Первичный вид мышления – это мышление в действии и действием, мышление, которое совершается в действии и в действии выявляется.
http://psylib.org.ua/books/rubin01/txt19.htm

ps
Рубинштейн Сергей Леонидович, (1889-1960)
http://www.psy.msu.ru/people/rubinstein.html
https://ru.wikipedia.org/wiki/Рубинштейн,_Сергей_Леонидович

Сталинская премия второй степени (1942) — за работу «Основы общей психологии» (1940)
Основные научные труды: “Принцип творческой самодеятельности” (1922), “Основы общей психологии (1940; 1946; 1989), “Бытие и сознание” (1957), “О мышлении и путях его развития” (1958), “Принципы и пути развития психологии” (1959).

Штейнбух К. Автомат и человек.

Штейнбух К.(Steinbuch K.) - Автомат и человек. Кибернетические факты и гипотезы-Советское радио (1967).djvu

стр.38-41
В блок-схеме изображаются уже не отдельные элементы системы как таковые (например, сопротивления, Диоды, конденсаторы и т. д.), а составленные из них функциональные единицы, как-то: усилители, счетчики, блок программного управления, устройство логических переключений, запоминающее устройство (рис. 5).

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

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

Словарь по теории графов WikiGRAPP.

Словарь по теории графов WikiGRAPP.
http://pco.iis.nsk.su/grapp/index.php/Заглавная_страница

«WikiGRAPP» — это электронный вики словарь по теории графов и ее применениям в информатике и программировании.

«WikiGRAPP» создается сотрудниками лаборатории конструирования и оптимизации программ Института систем информатики им. А.П.Ершова СО РАН.

http://pco.iis.nsk.su/grapp/index.php/Служебная:Категории
Большие графы‏‎ (34 объекта)
Визуализация графов‏‎ (32 объекта)
Гиперграфы‏‎ (16 объектов)
Деревья‏‎ (12 объектов)
Коды деревьев‏‎ (10 объектов)
Неориентированные графы‏‎ (22 объекта)
Обыкновенные графы‏‎ (3 объекта)
Ориентированные графы‏‎ (56 объектов)
Потоковый анализ программ‏‎ (8 объектов)
Сводимые и регуляризуемые графы‏‎ (39 объектов)
Теория автоматов‏‎ (30 объектов)
Теория вычислений‏‎ (26 объектов)
Теория программирования‏‎ (2 объекта)
Теория схем программ‏‎ (13 объектов)
Теория формальных языков‏‎ (40 объектов)