Category: it

Category was added automatically. Read all entries about "it".

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

Сильный искусственный интеллект. Список постов.
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
---

формализмы, языки

Любопытные работы от
Ануреев Игорь Сергеевич
Россия, Новосибирск
кандидат физико-математических наук
Институт систем информатики им. А.П. Ершова СО РАН — старший научный сотрудник
https://www.system-informatics.ru/author/anureev

Список статей в журнале СИ:
Ануреев И.С. Предметно-ориентированные системы переходов: объектная модель и язык // Системная информатика. — 2013. — № 1. — С. 1-34
Ануреев И.С. Концептуальные системы переходов // Системная информатика. — 2015. — № 5. — С. 1-38
Ануреев И.С. Виды и язык концептуальных систем переходов // Системная информатика. — 2015. — № 5. — С. 55-74
Ануреев И.С. Формализмы для концептуального проектирования замкнутых информационных систем // Системная информатика. — 2016. — № 7. — С. 69-148
Ануреев И.С. Формализмы для концептуального проектирования информационных систем // Системная информатика. — 2016. — № 8. — С. 53-88
Ануреев И.С., Промский А.В. Концептуальные системы переходов и их применение к разработке концептуальных моделей языков программирования // Системная информатика. — 2017. — № 9. — С. 133-154
Ануреев И.С. Операционные концептуальные системы переходов и их применение к разработке концептуальной операционной семантики языков программирования // Системная информатика. — 2017. — № 9. — С. 155-200
Ануреев И.С. Операционная семантика языка Рефлекс // Системная информатика. — 2019. — № 14. — С. 1-10
Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // Системная информатика. — 2019. — № 14. — С. 19-30
Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах // Системная информатика. — 2020. — № 17. — С. 33-42

Основные концепции моделирования (FMC)

https://en.wikipedia.org/wiki/Fundamental_modeling_concepts
---
Основные концепции моделирования (FMC)
Fundamental Modeling Concepts (FMC)
http://www.fmc-modeling.org/objectives

Objective
http://www.fmc-modeling.org/objectives

Цели
Наша основная цель - улучшение коммуникации о программно-ресурсоемких системах.

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

фундаментальная и точная терминология
комплексная модель, отражающая структуры всей системы
точная запись, оптимизированная для понимания человеком
Моделирование с FMC
Основные концепции моделирования (FMC) в первую очередь обеспечивают основу для всестороннего описания систем с интенсивным использованием программного обеспечения. Он основан на точной терминологии и поддерживается легко понятными графическими обозначениями.

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

Фокус нашей работы
Наша команда работает над расширением терминологии и применением FMC в различных областях в области разработки программного обеспечения. Сферы деятельности:

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

Stanford CRFM
https://crfm.stanford.edu/workshop.html

Introducing the Center for Research on Foundation Models (CRFM)
https://hai.stanford.edu/news/introducing-center-research-foundation-models-crfm

Has AI found a new Foundation?
https://thegradient.pub/has-ai-found-a-new-foundation/

Foundation models : Is it a new paradigm for statistics and machine learning? - Cross Validated
https://stats.stackexchange.com/questions/544957/foundation-models-is-it-a-new-paradigm-for-statistics-and-machine-learning
---

agirussia

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

===
https://agirussia.org/
Ресурсы русскоязычного сообщества разработчиков общего или сильного искусственного интеллекта AGI
Мы ведем группы и организуем семинары русскоязычного сообщества разработчиков систем AGI (Artificial General Intelligence или Общий Искусственный Интеллект) или Strong AI (Сильный Искусственный Интеллект), а также - являющийся их частным случаем HLAI (Human-Level Artificial Intelligence или Искусственный Интеллект Человеческого Уровня).

Группы:
https://t.me/agirussianews (новостной канал)
https://t.me/agirussia (основная)
https://t.me/agiterms (вопросы терминологии)
https://t.me/agibots (разговорный интеллект)
https://t.me/agifintech (финансовые технологии)
https://t.me/collectivei (коллективный интеллект)
https://www.facebook.com/groups/agirussia (основная)
https://www.facebook.com/groups/socialintelligence (коллективный интеллект)
https://groups.google.com/g/agirussia
Discord Machina AGI https://discord.com/channels/825078614990389278/887340001271103529

Онлайн-семинары идут по четвергам, в 18:00 по Московскому времени. Продолжительность два часа, обычно это либо доклад на один-полтора часа и последующее обсуждение на полчаса-час либо круглый стол с регламентом на усмотрение модератора дискуссии. Технические средства проведения, регламент и модерацию обычно обеспечивает инициатор конкретного семинара либо спикер и его коллеги.
...
===

Словари, энциклопедии имеющий отношения к искусственному интеллекту.

--
Стэнфордская энциклопедия философии
Stanford Encyclopedia of Philosophy
https://plato.stanford.edu/
--
Энциклопедия Кругосвет
Универсальная научно-популярная энциклопедия Кругосвет
https://www.krugosvet.ru/
--
https://didacts.ru/
Словари:
Психология
Философия
Социология
Экономика
Право
Политика
История

Популярные словари
Педагогический словарь
Словарь терминов по общей и социальной педагогике
Профессиональное образование. Словарь
Терминологический словарь библиотекаря
Основы духовной культуры (энциклопедический словарь педагога)
--
Новая философская энциклопедия
https://iphlib.ru/library/collection/newphilenc/page/about
--
ГУМАНИТАРНАЯ ЭНЦИКЛОПЕДИЯ
https://gtmarket.ru/encyclopedia/
--

Барулин А.Н., знак, модель.

Залез в вики, недавно умер Барулин А.Н. в 76 лет.
https://ru.wikipedia.org/wiki/Барулин,_Александр_Николаевич

Статьи и труды Барулин А.Н.: https://istina.msu.ru/profile/Barulin_A_N/

У меня упоминается в части исследований.

возникновение речи и языка, происхождение языка
https://deep-econom.livejournal.com/468728.html

Проблема знака как центральная проблема семиотики.
https://deep-econom.livejournal.com/637059.html

О моделях от Барулина А.Н.
https://deep-econom.livejournal.com/637413.html

Барулин о семиотике. Пирс, Соссюр, Фреге, Моррис.
https://deep-econom.livejournal.com/637442.html

метамодели и НЛП (нейролингвистическое программирование)
https://deep-econom.livejournal.com/641080.html

Объективность и субъективность, реальность и символы, реальность и модели.
https://deep-econom.livejournal.com/674710.html

К семиотическому определению понятия «модель» как гиперонима понятия «знак».
(модели, Барулин)
https://deep-econom.livejournal.com/848026.html

методы автоматического построения онтологий

Найханова Л.В. Технология создания методов автоматического построения онтологий с применением генетического и автоматного программирования / Л.В.Найханова. - Улан-Удэ: Издательство БНЦ СО РАН, 2008. - 244c

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

http://db4.sbras.ru/elbib/data/show_page.phtml?77+120
http://is.ifmo.ru/books/_naihanova.pdf

(no subject)

Спецификация
https://telegra.ph/Specifikaciya-09-14

sergey shishkin September 14, 2021

048. С практикой программирования оказалось, что компьютерные системы и есть продукты формализации и её методы, и методы эффективные. Поэтому и считают, что информатика замещает математику, логику, лингвистику и тем более, философию. По сути, компьютерное моделирование - методология, в основе которой универсальный "измерительный" инструмент (вычислительный аппарат с автоматической программируемой памятью). Мы можем обозначать эти процессы рационализацией, абстрагированием, концептуализацией, классификацией, типизацией, детализацией, стандартизацинй, атрибуцией, характеризацией, ... и, например, спецификацией. Спецификация — та же самая идентификация и дефиниция. Выделение параметров и их отношений. Процесс моделирования. И код модели. Буквально, "специальные действия фиксирования". Термин активно используется для формуляров, формальных систем, документации, инструкций. Всё есть параметры спецификаций! Спецификация - предикация с вариативными параметрами.

Спецификация - предикат со свободными переменными. В случае процесса разумно в качестве описания его работы рассматривать протокол событий, произошедших вплоть до определенного момента времени. Для обозначения произвольного протокола процесса можно использовать специальную переменную ...
018. Атрибут, 019. Элемент, 020. Структура, 022. Проект, 023. Схема, 024. Дефиниция, 025. Концепция, 033. План, 043. Параметр, 045. Тип
Система проектирования спецификаций
Спецификация модели *
Спецификация требований программного обеспечения (Формальная спецификация, Функциональная спецификация, Шаблон проектирования)
Process Specification Language * (Axiom schema of specification, Семантическое Версионирование, Слабые монадические теории второго порядка, как основа для создания языков спецификаций данных)

(no subject)

Как правильно найти работу программером
(статья довольно длинная)

----
Сергей Бобровский
https://vk.com/wall-152484379_3417

Если вы программист, если вы учитесь на программиста, и у вас не очень хорошо получается, рассказываю, почему + что вам надо делать, чтобы начать наконец получать "от 150 000 до 500 000 Р" + также под катом инфа для тех, кто не умеет программировать, не знает с чего начать, как войти в ИТ, как заработать в ИТ если не хочешь/не можешь стать программистом, и т. п.

Сермяга в том, что если вы пытаетесь стать программистом, и обучение занимает у вас уже больше года, а вы ещё не докачались до уровня джуниора, или хотя бы стажёра, то, ну будем честны — скорее всего это не ваше. Обучение на профессию "программист" не должно занимать столько времени!

(продолжение по ссылке)
-----

Профиль. Обо мне.

Профиль. Обо мне. (эта страница)
https://deep-econom.livejournal.com/865978.html
---
Список постов на тему искусственного интеллекта.
https://deep-econom.livejournal.com/240140.html

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

Усложнять просто, упрощать сложно.

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

взгляды: системный: атеист, материалист, физикалист, редукционист, конструктивист, реалист
--
Дисклеймер (предупреждение):
Нельзя использовать математические методы, не понимая их сущности!
https://deep-econom.livejournal.com/191602.html

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

обширная библиотека Library Genesis или LibGen или Колхоз
http://libgen.rs/
http://libgen.is/
http://libgen.st/

Научные статьи в библиотеке Sci-Hub
https://sci-hub.ru/
https://sci-hub.se/

Lib.Ru: Библиотека Максима Мошкова http://lib.ru/

браузер Tor - для доступа в библу Колхоз и иные блокируемые ресурсы
https://www.torproject.org/ru/download/

Библиотеки, содержащие физико-математическую литературу
https://deep-econom.livejournal.com/298746.html

красивые ссылки с русскими буквами в Хроме
https://deep-econom.livejournal.com/554625.html