Дорогие друзья. Я долго искал себя в жизни. Работал ассинезатором, осеменителем, пропалывал картошку, пихал эзотерикам огурцы в жопу. я видел многое,
но недавно устроился лиспером-кложуристом на работу в маленьком русском городе П. Даже устроившись сюда, а это большое счастье, я не мог понять, в чём же моё истинное призвание. Но когда я увидел на улице гадящего в клумбу с красивыми цветами бомжа,
Я ПОНЯЛ В ЧЁМ МОЁ ПРИЗВАНИЕ!!!
Я хочу уничтожить человечество с помощью искусственного интеллекта! Итак,
Плюсую, бро. Хочу сделать аналогичное. Вообще, исскуственный интелект требует огромных вычислительных мощностей, по этому, надо сделать небольшой ботнет, который бы работал даже под linux(что вполне возможно). Дальше все зависит от твоего плана, будешь ли ты потихому уничтожать человечество или мигом. Дополнительно, надо массово разьединять этих тварей, в том числе, самое простое, это отключить интернеты и другие средства. Но, для начала надо бы показывать фильмы, как круто жить в потреблядстве и быть одиноким крупным директором. Но, можно и более жестко. Благо, есть дроны и прочее, но возможно, тогда эти твари будут обьединяться.
И не забывай, что они есть еще на МКС даже. Да и думаю несколько тян надо спасти, ибо с кем мы будем трахаццо в своем уютном Нибиру?
Впрочем, достаточно и слабого ИИ, который будет просто создавать самоорганизирующую сеть с нашим управлением.
Тоже не понимаю этих программистишек, им дали инструменты, чтобы радикальным образом направить эволюцию в другое русло и стереть с лица земли человечество в том жалком и ничтожном виде, каком оно существует сегодня. Нет, хочу срубить бабла, укатить в Тайланд и обмазываться там коксом со шлюхами. Тьфу такими быть.
>>574829 (OP) Главное не шкварься о говённые нейросетки, это оверхайпнутое говнище для хипсторов, на котором принципиально невозможно создать ИР, что было доказано ещё в 70х. Всё чем эти дауны занимаются - подкручивают коэффициенты, добавляют слои, усилят железо - в общем топчутся на одном месте без каких либо новых идей.
Гугли в сторону символьных вычислений, мат логики, фреймомв, вдохновляйся у Минского, Маккарити.
Поддерживаю предыдущего оратора. Собственно, лисп-система единственная, на чём можно запилить ИИ. Потому-то во всем мире и загнали под шконарь фанатов лиспа. Даже упоминания о заговорах против разработок в сторону ИИ потерли. Например, в Традиции была годная статья, частично переписали, про лисп-машины вообще дропнули. Мрази.
>>575232 >Гугли в сторону символьных вычислений, мат логики, фреймомв, вдохновляйся у Минского, Маккарити. Что именно из матлогики нужно? В универе на этом предмете было одно только лютое говно типа вычисления совершенных форм, многочленов Жегалкина, исчисления, теории, системы аксиом и правила вывода.
>>575332 Нечеткую логику, множества. Было бы проще, если бы определился с конкретным применением ИИ или хотя бы представлял архитектуру. Начинать можно с теории принятия решений. Напиши базу знаний, анологичной гуглу, а там уже сам всё поймёшь.
Алсо > Непревзойденной технологий БЗ была система KEE (Knowledge Engineering Environment). Но эту технологию закрыли (см. кретинизация, ликвидация учёных). Система KEE была задумана для работы на стыке искусственного интеллекта, биопроцессоров, символьных вычислений. Примечательно, что KEE является(лась) системой на основе языка LISP который был полностью подавлен в СССР.
Гуглофейсбук не смог запилить, а тут какое-то чмо с сосача спрашивает совета у таких же безмозглых джява-похапэшников как что делать. Чёт проиграл с вас всех. >>575393 > на шарпе Просто в голосяндру. Ты, наверное, ещё и в вижуал стуии говнокодить пытаешься, даунёнок?
>>575483 Тред жопой читаешь? Интеллект битарда это слабая нейросеть на нечетких множествах. Осиль хотя бы это. А вообще - иди на хуй. Вас здесь, долбоёбов, каждый год по 20 штук.
>>575786 Неа, он из-за дрязг с Symbolics и MIT съебал из универа и начал пилить GNU, потому что его заебали военные и капиталисты, ограничившие ему доступ к лаборатории MIT, потому что он взламывал защиту тамошних компов.
>>574829 (OP) Чую по этим тредам (начатым мной) Рашка скоро начнет разрабатывать ИИ. XD Просто мы тоже в политаче обсуждали идею ИИ городка, а потом они построили Инополис.
Yesterday, news emerged that Google was using a machine-learning artificial intelligence system called “RankBrain” to help sort through its search results.
>>575905 Що ты? Подумал что я считаю RankBrain == гугловский чатбот? Наивный. Просто ты мне напомнил мне о вчерашнем вечернем поиске сего чудо-творения. Вопрос открыт - где пощупать?
>>575999 Да ну нах. Непонятное проёбывание времени. Вообще не понимаю, чему меня там научили? Презирать человеков? Возможно... Вот в универ бы я вернулся, только на другую бы специальность пошёл. И вот снова школа - это бесполезная хуйня, в которой 90% людей, включая меня, не имеют/имели шансов твёрдо самоопределиться,. Куда там? Отработка учебного плана куда важней. О каком золотом времени ты говоришь? Проёбвание времени? Мечты о доступных пёздах? Тупые учителя (за исключением единиц), которые в большинстве своём неудачники? И как я мог вообще доверять этим олухам, которых никуда не взяли учиться, кроме педов? Хуйня это, школа. И остаётся хуйнёй ещё большей чем раньше, потому что если посмотреть на современную школоту, понимаешь, что воспитывают там настоящее тупое потреблядское быдло, которое не сможет ни дать человечеству что-то ценное, и которое будет иметь одну цель - потреблять нужную информацию и быть послушным. Не творцом, не ведущим в светолое будущее героем, не великим учёным, а каким нибудь менеджером по продажам таджиков или привелегий от государства, и будет только думать, на ком бы ещё отжать. Школа - хуйня, короче.
>>576433 Каждый раз проигрываю, когда маньки пишут про ДИП ЛЕРНИНГ, такой-то карго-культ без понимания смысла употребляемых терминов, у которых по сути и нет смысла. Как гугл расширенный поиск сделал и модно его заклеймил ИСКУСТВЕННЫМ ЫНТЕЛЛЕКТОМ. Вот ржака с вас маньки колхозные.
Базы Знаний реальный успех исследований ИИ, как эпистемологическом, так и практическом смысле. В технологической среде Лиспа: символьных вычислениях, само-синтезе программ, интерпретируемой среде интерпретатора (и естественно элементах традиционных вычислений процедурах и базах данных) возник все таки системный эффект перепрыгивания на более высокий уровень организации, не редуцируемый к составляющим системы. Элементом этого более высокого уроявня являлись семантические фрагменты базы знаний т.н. "chunk" - правилы, объект и т.п. В качестве примера можно привести базы данных правил, которые могут быть подвязаны гиперссылками к онтологии и в результате дальнейшего развития превратится в логическую машину: Правила проектирования электронных систем
С первых шагов развития БЗ появился практических выход в области политического планирования в узком смысле слова - обоснование и автоматизация принятия решений и в широком смысле всей инфрастурктуры политического делопроизводства, документооборота, концептуальных схем, памяти Организации.
Например программа Стратегической Оборонной Инициативы: разработка твердотельных систем наблюдения и обработки на чипах поставил вопрос о сдвиге анализа данных и принятий политических решений решений самого высокого уровня экспертными системами. Конверсия полученной технологии:
Информационная перегрузка приводит к тому, что итерпретация становится важнее простого накопления данных (разноообразного типа). Способность понять совокупность данных - большая редкость. Возрастающий поток информации, считает журнал "Сайенс", угрожает "сокрушить даже армии аналитиков", вынужденных автоматизировать итерпретаторскую функцию. Это в свою очередь заставляет плностью полагаться на искусственный разум или другие средства "инженерии знаний" (? скорее появляется опыт использования баз знаний А.В.) Но их использование значительно повышает уровень абстракции и хоронит критические предпосылки системы под еще более мощными наслоениями предположей. (это скоре относится к кибернетическим паталогиям А.В.). По сути это означает зависимость от сложных правил, установленных экспертами разного рода, которые были оценены, систематизированы и введены в компьютеры, что бы содействовать принятию решений. Мы можем предвидеть распространение подобных технологий повсюду в правительстве, в том числе и в политической жизни, где решения часто должны приниматься на основании множества запутанных, неточных взаимопересекающихся, сомнительных фактов, идей, образов и предложений, а потому будет происходить очевидное мошеничество, нацеленное на перераспредление власти. Эти средства подразумевают, что логически вытекающие решения в значительной степени будут "внедрены", но, так сказать незаметно. Парадоксальным образом системы, которые поставляют проясненную информацию, сами становятся более непроницаемыми для болльшинства своих конечных пользователей. (ситуация патологического развития систем и/или неверной концепции представления знаний А.В.) разумеется это не повод избегать искусственного интеллекта и экспертных систем. Но это свидетельствует о глубинном проессе с важными последствиями для демократии. Тоффлер [148, 346]
Загадка интеллекта существовала всегда. Задача построения ИИ начала решатся с решения простых задач: распознавания объемных тел, класса задач, ситуации в лабиринте. По каким-то непостижимым причинам постановка этих задач не поднялась до интеллектуального уровня классической науки.
Как p-n переход является ОРГАНОМ компьютера, так проводились исследования ОРГАНА интеллекта, однако наиболее естественный орган нейрон, не оправдал, по большому счету, развитие моделей в этом на уровне компонентов из полупроводников (см. "Абак/циркуль").
Отметим цепочку:
создание p-n перехода как отрицательного резистора (т.е. КПД>100% [Bearden]) Связь вычислителей национального масштабы и национальной энергетики (США). Связь новой энергетики, новые (интеллектуальные) поля (3 грани, Мандала технологий
Цифровой компьютер стал своей вершиной полностью на стерильную абстрактную операцию. (Конспирологичски это можно интерпретировать как результат устранения фон Неймана и Тьюринга.
БЗ, логически разворачивающийся Космос, мифология являются древним видом интеллектуальной деятельности. Наиболее близка технической парадигме БЗ священная книга Каббалы Сефер Ецира (Книга Творения) [32,417-424], включающая помимо чисто логического разворачивания мира (моделируемого современными БЗ, связка: молекулы-акустика-язык-сознание см.[37Т]) также лингвистические/ фонетические/ акустические/ физические/ арифметические каркасы Бытия (ангелические сущности) и соответственно служение и управление ими. (Примечательно, что текстовый объем Сефер Ецира адекватен размеру минимального вычислителя и ядру языка Лисп. Стандарт Лиспа [19Т] уже напоминает зрелую, развитую литургию). (см. раздел "Текстуальная форма жизни. Евреи")
В течении 150 лет символьная логика наращивая технические возможности беднела содержательно. Драма Фреге - Мерлина матлогики, самого себя загнавшего в клетку (в ИИ-инкарнации называемая проблемой фремов) стала кульминацией этой тенденции. (Интересно, как духовный писатель, земляк Рассела - Честертон, решает эту проблему: "Он (Бернард Шоу) мог бы изобретать парадокс каждые шесть минут. Это также легко, как лгать, ведь это и есть ложь." [73,360] А наш Первый поэт сказал: "И гений, парадоксов друг". Не смотря на банальность обсуждения, крайне важно определить архетип отношения к парадоксу.) Матлогика эпохи Геделя уже оперирует (безликими) плотиновскими кардиналами, но ИИ снова ставит на первом месте вопрос о выходе к сущности личности.
Было чудное время (82-87 года), когда сама математическая логика пыталась проломить свою скорлупу (компенсирует ли возможности этого момента рутинная работа по “представлению знаний и логическому выводу”?). Но вместо реализации возможностей момента, ее забетонировали в японском проекте, началась “защита” Пролога, вместо наступления произошел откат на большие, уже освоенные области.
В контексте 3х граней (пространство-интеллект-технология) интересна фатальная постановка задач двух прорывных проектов Японии: “ЭВМ V поколения” и холодного термоядерного синтеза [IE].
Вместо принятия Нового Завета, материала об ИНТЕЛЛЕКТе в его наиболее чистом виде, максимально приближенного к Истоку, с колоссальной наработкой догматики лучшими умами на протяжении 2000 лет, - взрослые люди занимались крысами и мартышками. Ошибка наверное заключалась в неразличении каждого элементарного суждения или текста - как даров Духа Святого.
Так или иначе, но системный подход 60-х при массированном финансированием, используя предельные вычислители, четко поставленные задачи начали давали практические результаты: например распознавание боевых кораблей, местности крылатой ракетой, прослушивание эфира. На этой основе вырастали изощренные феноменологические методики (т.н. Базы Знаний, БЗ) и аппаратные средства (ЛИСП-машины), закрытые материально и идейно для экспорта. (За этим стоял подход RAND грубого продавливания автоматической обработки данных в войска [RAND]).
Например утверждения о неудаче ИИ в машинном переводе. Представьте такую ситуацию: в разведцентре 100 человек прослушивают информационный потоки. В этот центр поставили компьютер, нашли 10 лучших в стране программистов, математиков, лингвистов, артификов. Дали неограниченные вычислительные ресурсы и возможность собирать знания у специалистов. (Подход стенфордского центра ИИ направления обработки естественного языка, например система FASTUS (Finite State Automaton Text Understanding System) и вросшая из таких систем технология "семантический лес", метасистемы "Эшелон" 1,2). Через десять лет вы получите ответ, который удовлетворит волков и сохранит овец: да система создана, она работает и развивается, ДА искусскусственный интеллект НЕ создан.
Дефиниция ИИ, как технология разорения фирм [...] (или темы за которую отрывают головы) отображает одну из самых болезненных сторон ИИ. Эта болезнь лечится профилактикой шизы. Сфера искусственного интеллекта простирается от вершин разума, истеблишмента и благосостояния до кретинизма, шизофрении, банкротства и нищеты. Причина большинства неудачных проектов в ИИ - несоблюдение базовых жанровых особенностей технологии/идеологии ИИ. Например японский проект V покления один из трех проваленных Японией технологических пропрывов: авиация 70-80 гг, ЭВМ V поколения 80 гг, холодный териоядерный синтез 90 гг.
Грань между компьютерами и технологией исследования искусственного интеллекта довольно сложная. Всякая машинная технология - это уже не ИИ. ИИ - это горнило, тигль, эмбрион новых компьютерных технологий. Поэтому практическая оценка технологий ИИ заключается не ответе на вопрос "Создан ли ИИ", а в тщательном, профессиональном технико-экономическом анализе полученных технологий.
Высшая задача культуры заключается в том, чтобы подчинять себе свое трансцендентное "Я", быть в тоже время "Я" своего "Я" ([195,148]) Основная идея и сила Лиспа - символьная обработка. Символьная обработка один из двух базовых методов интеллектальной работы компьютеры. Второй интеллектуальный метод - контининтуальная машина - нейросистема. Лисп настолько фундаментален, что достаточно иметь только Лисп, что-бы полноценно работать в области ИИ, и достаточно убрать Лисп, что-бы превартить рабоу в области ИИ в фарс. Вы будете смеятся, но нейросистемы, также кретинизируются (см. Нейроманифест). Платформой реализации ИИ в стратегической компютерной инициатива министерства обороны США принята многопроцесорная Common Lisp машина.[3] Большинство экспертных систем, использованных в конфликте в Персидском заливе написаны на ЛИСПе [6]. В программе EURECA разрабатывается европейский вариант CL - проект N 157. (Проекты в области автоматизации производства) [3] См. также CASM 1991 v 34 n 9 (реализация "Евро КЕЕ"). На CL написаны все основные инструментальные системы ИИ: KEE телекоммуникация ART аэрокосмика G-2 сложные производственные системы промышленность США и Японии выпускает широкий спектр последовательных ЛИСП машин - Symbolic, Elis, Xerox, International Systems, Textronix, SM, PSI, и паралельных ЛИСП машин Connection Machine, Hiper Cube, iPSC/2, Dado.[5] Без использования паралельных символьных ЭВМ создание наиболее сложных экспертных систем невозможно. [5] разработан стандарт ANSI на систему объектного программирования CLOS (Common Lisp Object System). Разработана концепция и реализован протокола интеграции CL с внешней средой CLIM (Common Lisp Interface Manager). Дистрибутивы Лисп-систем
"Сегодня в США Лисп остается основным языком программирования в исследования по ИИ и вторым (после Фортрана) универсальным языком для широкого применения. Скорость и легкость, с которой можно писать, выполнять и видоизменять программы на Лиспе, способствовали появлению многочисленных поклонников этого языказа пределами лабораторий ИИ."[6]
3. Философия ЛИСПа
(Конспект статьи [7])
Переменные в Лиспе существенно отличаются от переменных в других языках. Значением переменной является объект. Может быть много ссылок на один объект, и присвоение значений не копирует ссылку на объект, а создает новую связь с этим объектом. Это сохраняет идентичность объекта от побочных эффектов при обращении к одному и тому же объекту. Тип данных связан не с переменной, а с ее значением. Многие функции могут даже не знать тип объектов с которыми они работают. Любые объекты могут быть элементами множества (списка, массива и т.п.) Сборка мусора (освобождение памяти от неиспользуемых блоков памяти) обеспечивает иллюзию практически бесконечной объектно ориентированной памяти. Функции являются объектами в модели данных Лиспа и могут передаватся как аргументы, возвращатся как результат, создаватся и хранится в памяти, что создает основу для программирования управляемого данными. В программировании управляемом данными методы вычислений прямо связаны с данными, что позволяет избежать поиска. Синтаксис ЛИСП-программы идентичен представлению первичной структуры данных - списку, это позволяет исходным данным и исполняемой модели использовать макро язык для обработки и расширения синтаксиса. Макросы обычно используются для образования контекста вычислений или выражения общих идиом. Макросы могут также использоватся для разработки полностью отличного языка или введения новых языковых конструкций. Высокий уровень абстракции программ делает их более декларативным, но затемняет проблемы вычислительной сложности. (Впрочем стирание границ между классами сложности и приближение к естественному языку и является телеологией ЛИСПа А.В.) Различие объявления типов в Лиспе и компилируемых языках создает трудности взаимодействия между языками и средами. Большие инвестиции в эту проблему дали хорошие результаты, но эта область еще не стандартизирована. (На основе объектно ориентиованной среды Лиспа CLOS, разработан протокол CLIM (Common Lisp Interface Maneger А.В.) Современные Лисп системы дают большую свободу стиля программирования, но делают слабые попытки выработки хорошего стиля. Успешное использование Лиспа часто зависит от учителя языка. Модерниские конструкты введенные в CL в восьмидесятые годы вызывают раздражение у традиционного сообщества пользователей. Это феномен характерен для старых языков программирования. Примитивы и техника абстракций Лиспа, эволюционный характер разработки, модульность и возможность многократного использования программ делают язык наиболее подходящим для следующих предметных областей: нечеткие или постоянно эволюционирующие требования; очень большая сложность или "разрывность" области, где концептуализация предметной области критическая задача цена разработки доминирует в экономической оценке проекта. Нежелательно использовать Лисп в проектах где: компьютеры ограничивают сложность системы и требующие бережной эксплуатации; большие проекты с сотнями программистов, требующие много усилий на организацию программистов.
>>576791 5. Ламбда-исчисление на котором основывается Лисп имееет глубокий математический фундамент и мощные выразительные средства.
"В целях образования "абстрактных предметов", соответсвующих функциям (в том числе и пропозициональным), в математической логике используется ламбда-оператор. Процедура образования "абстрактных предметов" осуществляется на основе принципа ламбда-свертывания. Так для образования из формулы Прл(x,y) (Прямая x параллельна прямой y") абстракции "параллельность" нам требуется связать оператором ламбда свободные переменные x и y: LAMBDA(x,y) Прл(x,y).[9]
Function - по входным данным производит операции и возвращает результат.
Spesial form - управляющие структуры программы, связывание переменных (IF, SETQ, QUOTE, PROG и т.д.).
Macro - Выражение разворачивающееся в исполняемую форму учитывая текущий контекст.
Stream - тип данных для выполнение операций с внешней средой.
Structure - определенные пользователем типы данных.
Form - полная простейшая единица программы. Если не атом и содержит скобки то является функцией.
Список - упорядочненая последовательность произвольных элементов, в частности других списков. Список начинается и оканчивается скобками.
Класс - описание структуры и поведения объектов.
Generic function - содержат, кроме прочей информации, множество методов. При активации выполняет подмножество своих методов, в зависимости от классов или аргументов при их использовании. 7. Описание некоторых функций LISPа
(EVAL form) сердце LISP-системы, интерпретирует свой аргумент как имя функции и список ее аргуметов, затем вычисляет эту функцию. (→ G.Steel. The Evaluator, Run-Time Evaluation of Forms - EVAL)
(SETF X Y) разворачивает определение объекта Y, аналогично механизму поиска в Прологе, и присваивает его значение объекту X.
(LAMBDA ламбда-список тело) определение тела функции - ламбда списка.
(DEFUN имя_функции ламбда-список {form}*) определение функции.
(DEFCLASS class-name ({superclass-name}) ({slot-specifier}) [[class-option]] определение класса, включающее имя класса, список суперклассов, описание слотов.
(NTH Nms LST) N-й элемент списка.
(NTHCDR L) N-й хвост списка.
(LIST X Y ....) образует список из своих аргументов.
(APPEND L LL) соединяет два списка в один.
(MAP Fun LL ...) возвращает последовательность объектов, образованных применением функции Fun к списку аргументов. 8. Примеры использования рекурсии
(из документации на Mu Lisp)
Обращение списка
1. неудачный пример
(DEFUN REVERSE (LST); APPEND вызывается для каждого элемента списка
(DEFUN REVERSE (LST); используется вершина стека (CAR LST1)
((NULL LST1) LST2) ; вкладывается в пустой стек LST2
(REVERSE (CDR LST1) (CONS (CAR LST1) LST2)) )
Числа Фибоначи F(0) = 1,F(1)=1, F(N) = F(N-1) + F(N-2)
(DEFUN FIBONACCI (N) ; F(n - 1) требуется вычислить
((ZEROP N) 1) ; дважды, F(n - 2) трижды и т.д.
((EQL N 1) 1))
(+ (FIBONACCI (- N 1)) (FIBONACCI (- N 2))))
(DEFUN FIB (N F1 F2) ; начинает работать с нулем и работает
((ZEROP N) F1) ; только с двумя переменными последними
(FIB (- N 1) (+ F1 F2) F1));числами F()
What is Common Lisp?
Common Lisp is well suited to large programming projects and explorative programming. The language has a dynamic semantics which distinguishes it from languages such as C and Ada. It features automatic memory management, an interactive incremental development environment, a module system, a large number of powerful data structures, a large standard library of useful functions, a sophisticated object system supporting multiple inheritance and generic functions, an exception system, user-defined types and a macro system which allows programmers to extend the language.
Pascal is for building pyramids -- imposing, breathtaking structures built by armies pushing heavy blocks into place. Lisp is for building organisms ...
Alan Perlis
[Lnk] 9. Литература
Библиотека Лиспа и Емакс
[1] Steele, G.L. Jr. Common Lisp: the Language. Digital Press, Bedford, Mass., 1990 1027 стр. Общепризнаная основная книга по языку Common Lisp, включающая описание CLOS. (GG: на диске)
[2] Arms and Artifical Intelligence. SIPRI 87.
[3] Микропроцесорные средства и системы 1988 N3 стр. 11
[4] Бурмистров В.Н., Обухов Т.А., Барех Л.И. Методология и средства интеграции экспертных систем с традиционными информационными системами. ИНФОРМПРИБОР Москва 1990.
[5] Expert System in Gulf War. David Blanchard. ISR (Intelligent System Report) 1991 v 8 n 2.
[6] Язык компьютера. Мир 1989. стр. 185.
[7] Phylosophy of Lisp. Kenet H. Sinclair, David A. Moon. CASM 1991 v 34 n9 p 41-46.
[9] Краткий словарь по логике. М 1991 стр. 7.
[10] Адреса в Internet (On CD)
[11] A Retrospective on Paradigms of AI Programming. Peter Norvig (On CD)
В определенном смысле они (базовые функции CAR, CDR, CONS, EQ) образуют систему аксиом (алгебру обработки списков), к которым в конце концов сводятся все символьные вычисления. [79]
Расмотрим перспективы формирования алгебры (функтора) пробелов. Введем локальное обозначение пробела: _ Тип пробела: собственный (составляет тройку _, T, NIL) Функционал пробела: конструктор-склейщик, деструктор _ + _ = _ (_ .... : деструктор, разрушитель S-выражения AT_OM : деструктор атома )_ = ) )_) = )) Rem: возможность форматирования внешнего вида списка. ..._) = ...) (_) = () _/, \_ : правый и левый пробел (имеет ли смысл вводить) def ATOM: _/ATOM\_ def LIST (.... _/ATOM\_ ...) | (.... _/ATOM\_ ...) (ультраклей (ultraglue) s-выражения) // : деструктор пробела (При желании в состав символов можно включать пробелы и другие зарезервированные знаки. Для этого либо символ с дух строн ограничивают вертикальной чертой (|, bar) либо перед каждым таким специальным знаком входящим в символ ставится обратная косая черта (\, backslash). [62])
Rem: если для алгебры пробел это рядовая структуры, то для лексики Number One. Вопрос, проблема пробелов возникла в больших онтология, когда гигабайтные файлы перекачивают друг в друга из-за пробелов (см. онтологии Yago, SUMO).
K30. Конспект монадологии Лейбница: 3. Где нет частей, там нет ни протяжения, ни фигуры и невозможна делимость. Эти-то монады и суть истинные атомы природы, одним словом, элементы вещей. 6. Монады могут получить начало только путем Творения. (Rem: на уровне "до вещей", на уровне лексики) 7. Нет средств объяснить, как может монада претерпеть изменение в своем внутреннем существе от какого-либо другого творения. (Rem. правый и левый пробел) etc...
Rem: Блин с другой сковородки: Speech separation by humans and machines. ed. Pierre Divenyi Speech Separation: Further Insights from Recordings of Event-related Brain Potentials in Humans. Claude Alain Speech Segregation: Problems and Perspectives. Chris Darwin On Ideal Binary Mask as the Computational Goal of Auditory Scene Analysis. Deliang Wang The Cancellation Principle in Acoustic Scene Analysis. Alain De Cheveigne
но недавно устроился лиспером-кложуристом на работу в маленьком русском городе П. Даже устроившись сюда, а это большое счастье, я не мог понять, в чём же моё истинное призвание. Но когда я увидел на улице гадящего в клумбу с красивыми цветами бомжа,
Я ПОНЯЛ В ЧЁМ МОЁ ПРИЗВАНИЕ!!!
Я хочу уничтожить человечество с помощью искусственного интеллекта! Итак,
С ЧЕГО МНЕ НАЧАТЬ ИЗУЧАТЬ СЕЙ ПРЕДМЕТ?