Коллективный разум для OLPC - свалка

Эта страница не обязана быть упорядоченной, в неё сваливаются все сырые мысли, сырые планы, намерения и пр. Многие из назначаемых заданий будут вначале обмысливаться здесь. Ссылаться на страницу, как на источник информации нельзя!

Программирование

чем можно пользоваться

Руководство как писать для "Сахара" (:

создание обёртки чтобы превратить не-python приложение в activity

Основные понятия

Излагаются в книжках Тони Бьюзена . Главным образом, в “Супермышлении”

Mindmap-редакторы

mindmap.ru

Обзор четырех редакторов - Vym, FreeMind, Compendium, ThinkGraph

страница загрузки mindmap-редакторов (в том числе и платных)

Процесс

Сформировать у всех одинаковый язык. В нашем случае: каждый приобретает понимание слов “знание”, “модель предметной области”, “онтология”, “семантическая сеть (network, а не web!)”, “mindmap” … TODO дополнять список/

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

Расковырять ноутбук и вики OLPC. Понять, какие требования предъявляются к:

системным требования программы

средствам разработки (сюда же и язык разработки) - разбирается ceg. В процессе дополняем странички раздела “Программирование”

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

Ближайшие планы

Доклады

Знания

kuv - доклад о Protege и представление знаний в виде онтологии - четверг 28.02 редактор Protege - итоги доклада

Ира - представление знаний в виде mindmap. Чем различаются разные редакторы mindmap? План доклада вторник, 4.03

Ира - фреймовая модель представления знаний. + редакторы фреймовых моделей (тут же замешан и Protege) ? а надо ли по основам фреймовой модели достаточно почитать вот это руководство

kuv - представление знаний в виде семантической сети. ? а надо ли

kuv- средства коллективного проектирования. Сюда же - Collaborative Protege

OLPC

ceg - требования к инструментарию, создание типового приложения с оберткой.

Практика

— Yuri V Katkov 2008/03/21 13:32 : думаю, что с подготовкой мы практически закончили. Всем бы советовал дополничельно прочитать книжку Тони Бьюзена “Супермышление”. В ближайшее время хотелось бы, чтобы все собрались и попробовали на листке А3 призвести ту деятельность, которую наши маленькие негритята будут производить на зелёных ХО.

Самостоятельное изучение

Дома обязательно нужно выполнить эти задания. Основания - понимание проблемы, подготовка к программированию приложения. Каждое задание выполняется после чтения соответствующего доклада. наверное, надо приносить сделанные задания и показывать их друг другу.

Знания

Зачем изучать? Чтобы понять, что именно делают люди, связанные с инженерией знаний. Чтобы понять, чего не хватает в существующих приложениях (осознать требования)

скачать любой mindmap-редактор и нарисовать в нем карту. Если не получается придумать тему карты, рисуем карту занятий какого-нибудь насыщенного дня. Или карту какого-либо учебного предмета.

написать в любом редакторе онтологии какую-либо простую онтологию предметной области. Задание смотрим здесь

обязательно создать семантическую сеть в соответствующем редакторе.

OLPC

установить себе эмулятор XO или каким-либо другим образом запустить оболочку Sugar на домашней машине. кажися, все смогли

написать приложение сложности hello world и сделать ему обертку на Python.Результат запускается на XO. Катя хотела попробовать пописать реальный код, ей идет задача обучения нубов cool-OLPC-coding'у. Катя же формирует чать списка инструментария, которая относится к написанию кода. Мы все пишем на qt? На gtk? Или, может, все на питоне?

Еще RUP

http://www.ts.mah.se/RUP/RationalUnifiedProcess/ - здесь берём шаблоны

книжки: RUP For Small Teams(это просто библия), Applying UML 2.0 and Design Patterns

Наш руп - в принципе, готова карта ролей и карта артефактов - выложить все на вики или сделать по Rational-шаблону

Еще знания

* в википедии страницы: Представление знаний - плохонькая стать, но большой портал. Также английская версия хороша * http://www.makhfi.com/KCM_intro.htm * http://www.visual-literacy.org/pages/documents.htm - много и по делу * дружественная нам вики проекта Онтолинж-КАОН и её ссылки c подборкой материалов по визуализации (в основном онтологий) * Выбираем модель представления знаний. Отсюда я выудил, что бывают:

Сетевая модель - думаю, что выберу её по причине простоты перехода к понрятному представлению для юзера

классифицирующие сети

функциональные сети

сценарии

Логическая модель - мы видели её в Прологе

Продукционная модель

Фреймовая модель - нечто, похожее на классы

Мысли

Совсем не понятно, какова первоначальная задача системы. Варианты:

Помоги нам эффективнее общаться

Помоги мне думать

Подумай за меня

Третье, вроде как, отметается. Какие вещи помогают думать и не требуют значительных ограничений на формат ввода Мыслей?

Начитавшись Бузана, сразу вспомнил об ассоциациях.

Есть сайт Yahoo!, в котором поисковый сервис “угадывает” твои мысли и предлагает варианты. Нужно посмотреть, делается ли это по статистике поиска, или это то самое место, где они используют онтологию.

Явно по статистике работает гугловская строчка ввода.

Зная склонения и спряжения, додумывает запрос словарь Abbyy Lingvo и (хило) Stardict

Идейка - программа собирает статистку и предлагает ассоциации, которые мы использовали в прошлый раз/которые сейчас возникли у партнёра по обмену знаниями

Вообще, мы минимизируем функцию Обрабатываемость_машиной(Понятность_человеком). Как же, интересно, выглядит её график?

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

Еще идея: посмотреть старые языки экспертных систем и инженерии знаний - Д.Уотермен “Руководство по ЭС”, стр 114. AL/X, KAS, EMYCIN, ROSIE(написано, что он естественный, правила), SRL (хвалит за гибкость, фреймы). Там же на странице 103 - классификация методов: Основанный на правилах/фреймах, ориентированный на процедуры/логику/объекты/доступ

На первый взгляд, не очень напрягает Модальная логика . Но можно ли по модальным утверждениям делать логический вывод? Есть также нечеткая логика (с выводом, сильно корявым на длинных деревьях), вероятностная(тот же недостаток - большие неопределённости при большом количестве факторов) и темпоральная логика (не копал).

Старые штуковины - программы для наполнения базы знаний, ориентированные на эксперта. Примеры: ROGET, SEEK.

Модальная и другие странные виды логики

Боюсь, что не успею освоить сам - создаю задачу для Иры. Опишу, как могу.