Cyc

Обзор[]

Проект начал Дуглас Ленат в 1984 году в Microelectronics and Computer Technology Corporation. Название «Cyc» (образованное от «encyclopedia» произносится «цик») является зарегистрированной торговой маркой компании Cycorp, Inc в Остине, которой управляет Ленат и созданной для разработки Cyc. База знаний является собственностью компании, однако небольшая часть базы, предназначенная для установления общего словаря для программ автоматического рассуждения, была выпущена как OpenCyc под открытой лицензией. Позднее, Cyc стала доступной для исследователей ИИ под специальной исследовательской лицензией как ResearchCyc.

Типичным примером знаний в базе являются «Всякое дерево является растением» и «Растения смертны». Если спросить «умирают ли деревья?», машина логического вывода может сделать очевидный вывод и дать правильный ответ. База Знаний (англ. Knowledge Base

или KB) содержит более миллиона занесённых туда людьми утверждений, правил и общеупотребительных идей. Они формулируются на языке CycL, который основан на исчислении предикатов и имеет схожий с лиспом синтаксис. Англоязычные пользователи шутят что они «велосипедисты» (от англ. cyclist

— велосипедист).

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

Электронные библиотечные сервисы

Электронный каталог библиотеки — http://193.106.214.30/MarcWeb2/Default.asp

Электронно-библиотечная система «Университетская библиотека онлайн» — https://biblioclub.ru/index.php?page=ko

Напоминаем, что в электронно-библиотечной системе «Университетская библиотека онлайн» создан сервис Книгообеспеченность по направлениям подготовки КГИК (ниже можно ознакомиться с инструкциями).

Национальная электронная библиотека (НЭБ) — http://нэб.рф (доступ в рамках читального зала библиотеки КГИК).

Электронная подписка на периодические издания ИВИС. Необходимо авторизоваться на странице https://dlib.eastview.com/browse/udb/12 и ввести логин и пароль (получить параметры доступа в библиотеке)

Youtubeканал: «Видеокниговед»

В рамках национальной подписки, вам доступны электронные книги Springer, опубликованные в 2019 году.

Также доступна следующая база данных:

1. Платформа Springer Link — https://rd.springer.com/

— Более 3000 журналов Springer 1997-2020 гг;

2. Платформа Nature — https://www.nature.com/

90 авторитетных естественнонаучных журналов, включая старейший и один из самых авторитетных научных журналов — Nature.

3. База данных Springer Materials — http://materials.springer.com/

Springer Materials – это самая полная база данных, описывающая свойства и характеристики материалов. Она аккумулирует информацию из таких дисциплин, как материаловедение, физика, физическая и неорганическая химия, машиностроение и другие.

4. База данных Springer Protocols — http://www.springerprotocols.com/

Springer Protocols – это бесценный ресурс для современных исследовательских лабораторий. Крупнейшая база данных воспроизводимых лабораторных протоколов (более 40 000) предоставляет доступ к надежный и проверенным данным, накопленным за последние 30 лет.

5. База данных zbMath — https://zbmath.org/

zbMATH – самая полная математическая база данных, охватывающая материалы с конца 19 века. zbMath содержит около 4 000 000 документов из более 3000 журналов и 170 000 книг по математике, статистике, информатике, а также машиностроению, физике, естественным наукам и другие.

6. База данных Nano — http://nano.nature.com/

База данных Nano впервые стала доступна для всех грантополучателей РФФИ. Этот уникальный ресурс предоставляет данные о более 200 000 наноматериалов и наноустройств.

Инструкции_Университетская библиотека.pdf

Критика проекта Cyc[]

Cyc описывают как «одно из наиболее противоречивых начинаний в истории искусственного интеллекта» (Бертино и др. стр. 275), так что он неизбежно получил свою долю критики.

Чрезмерная сложность системы — без сомнения необходимая в силу энциклопедических амбиций — и соответственно сложность добавления (вручную) данных в систему
Проблемы масштабируемости from widespread reification, особенно как константы
Неудовлетворительное использование концепции материи, и связанного с этим, различия между внутренними и внешними свойствами
Отсутствие вменяемых измерений производительности или сравнений эффективности машины вывода Cyc
Нынешняя неполнота системы как в ширину, так и глубину, и связанная с этим сложность в измерении её полноты
Недостаток документации
Отсутствие не устаревшего онлайнового обучающего материала усложняет изучение системы для новичков
Несмотря на своё название система OpenCyc не является полностью открытой: данные доступны для редактирования пользователям, но код недоступен для расширения разработчикам.

Данные вопросы обсуждались в разных местах с момента запуска проекта. Даг Ленат и другие опубликовали множество аргументов в защиту своего проекта.

Описание Базы Знаний, терминология[]

Концепции в Cyc называются константами. Имена констант начинаются с необязательных символов «#$» и чувствительны к регистру.
Существуют константы для:

Отдельных элементов, которые называются individual, например #$BillClinton или #$France.
Совокупностей (Collections) таких, как например, #$Tree-ThePlant (в которую входят все деревья) или #$EquivalenceRelation (в которой содержатся все отношения эквивалентности). Член совокупности называется экземпляром данной коллекции.
Функций истинности (Truth Functions) которые можно применять к одной или нескольким концепциям и возвращающие значение истина или ложь. Например #$siblings (потомки одного родителя) является отношением родства, истинным только в том случае, когда два его аргумента являются братьями или сёстрами. По соглашению, константы функций истинности начинаются с буквы в нижнем регистре. Функции истинности поддаются разбиению на логические связки (такие как #$and, #$or, #$not, #$implies), кванторы (#$forAll, #$thereExists, и т. д.) и предикаты.
Функций Functions, которые образуют новые термы из данных. Например, если передать функции #$FruitFn в качестве аргумента тип (или коллекцию) растений, вернёт коллекцию их фруктов. По соглашению, имена констанит функций начинаются с буквы в верхнем регистре и заканчиваются строкой «Fn».

Наиболее важными предикатами являются #$isa и #$genls. Первый является утверждением что некий элемент является экземпляром некой коллекции, а второй что коллекция является подколлекцией другой коллекции. Факты о концепциях декларируются с помощью особых высказываний языка CycL. Предикаты записываются в скобках перед своими аргументами:

(#$isa #$BillClinton #$UnitedStatesPresident)

означает что «Билл Клинтон входит в совокупность президентов США», а высказывание

(#$genls #$Tree-ThePlant #$Plant)

читается как «Все деревья являются растениями».

(#$capitalCity #$France #$Paris)

значит: «Париж столица Франции».

Высказывания также могут содержать переменные, строки начинающиеся со знака «?». Эти высказывания называются «правилами». Одно из важнейших правил, относящихся к предикату #$isa читается:

(#$implies
   (#$and
      (#$isa ?OBJ ?SUBSET)
      (#$genls ?SUBSET ?SUPERSET))
   (#$isa ?OBJ ?SUPERSET))

что означает «если OBJ является экземпляром коллекции SUBSET, а SUBSET в свою очередь является подколлекцией SUPERSET тогда также OBJ является экземпляром коллекции SUPERSET». Другой типичный пример:

(#$relationAllExists #$biologicalMother #$ChordataPhylum #$FemaleAnimal)

что означает что любой экземпляр коллекции #$ChordataPhylum (то есть любое хордовое) связан с самкой животного (экземпляром #$FemaleAnimal), которая является его матерью (что описывается предикатом #$BiologicalMother).

База знаний Cyc разделена на микротеории (Mt), коллекции концепций и фактов принадлежащих одной конкретной области знаний. В отличие от полной базы знаний, всякая микротеория должна быть свободной от противоречий. Всякая микротеория имеет название, которое является обычной константой; по соглашению константы микротеорий содержат строку «Mt». Пример — #$MathMt, микротеория содержащая математические знания. Микротеории могут наследоваться одна от другой и организованы в иерархию: одной из специализаций #$MathMt является #$GeometryGMt — микротеория о геометрии.

Инструкция по использованию электронной библиотечной системы «Университетская библиотека онлайн»

«Университетская библиотека онлайн» — это электронная библиотека, обеспечивающая доступ к наиболее востребованным материалам-первоисточникам, учебной, научной и художественной литературе ведущих издательств. Базы данных ресурса содержат справочники, словари, энциклопедии, иллюстрированные издания по искусству на русском, немецком и английском языках.

ПЕРВОНАЧАЛЬНО НУЖНО

2) Ввести логин и пароль.

Персональный логин и пароль можно получить самостоятельно в компьютерных классах или библиотеке института, пройдя регистрацию на сайте http://biblioclub.ru/

КАК НАЙТИ КНИГУ ПО РАЗДЕЛУ

1. Зайти в каталог книг по разделам, выбрать раздел. 2. Выбрать автора, название книги. 3. Ввести «постраничный просмотр».

КАК НАЙТИ КНИГУ ПО НАЗВАНИЮ/КЛЮЧЕВОМУ СЛОВУ/ АВТОРУ

Поиск на главной странице сайта осуществляется по названию книги или имени автора. При нажатии иконки «Найти» рядом с полем для ввода искомого слова Вы переходите в раздел расширенного поиска. В разделе данном разделе Пользователю доступны: Фильтры для поиска информации 1. Название. 2. Аннотация. 3. Ключевые слова. 4. Автор. 5. Содержание. 6. Полнотекстовый поиск. Критерии поиска: 1. Точное совпадение слов. 2. Искать все в одной книге. Механизм поиска «Университетской библиотеки онлайн» обеспечивает: • поиск по одному из фильтров; • полнотекстовый поиск; • поиска по нескольким критериям в одном запросе. По результатам обработки поискового запроса на экран будут выведены представления (списки), сгруппированные и упорядоченные по критериям.

КАКИЕ ФОРМАТЫ ДОКУМЕНТОВ ПРЕДСТАВЛЕНЫ В ЭЛЕКТРОННОЙ БИБЛИОТЕКЕ

В основном, в библиотеке представлены следующие форматы: PDF, DjVU (факсимильный формат), для мобильных устройств JAR. Присутствуют книги в форматах FB2, TXT, PRT. Тексты адаптированы для чтения с экрана и использования как на устройствах EBOOK, так и на КПК.

КАК РАСПЕЧАТАТЬ ТЕКСТ

Нет возможности выводить на печать сразу всю книжку, поскольку это противоречит самой идее ограничения использования контента. Для печати же отдельных страниц есть инструмент «Печать страницы», расположенный рядом с «Текст страницы». При его активации открывается новое окно браузера, в него подгружается изо-е страницы «как есть», вызывается диалоговое окно принтера. Пользователю остается только выбрать принтер и нажать «Печать». Большего сделать средствами браузера нельзя.

ПРИМЕЧАНИЯ

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

Зарубежные базы данных

Полная электронная коллекция Всемирного банка World Bank eLibrary состоит из электронных книг, отчетов, журнальных статей, исследовательских обзоров, опубликованных с начала 1990-ых годов.

World Development Indicators — содержит статистические сведения по экономическим, социальным, финансовым показателям, а также данные по природным ресурсам и окружающей среде. Имеется удобная возможность графического представления полученной информации.

World Development Indicators — 50+ ключевыхиндикаторов.

КНИГИ: 2 800+ книги 7 300+ глав.

ЖУРНАЛЫ: 970+ статейбезэмбаргоизтакихпопулярныхжурналовкак World Bank Eco-nomic Review, World Bank Research Observer, и Development Outreach.

РАБОЧИЕСТАТЬИ: 7 730+ из Policy Research Working Papers, World Bank Discussion Papers, World Bank Technical Papers, and World Bank Working Papers.

ДРУГОЙ ТИП КОНТЕНТА: 3 500+ из экономических обзоров, годовых отчетов MIGA, ICSID, IFC.

Global Development Finance — содержит сведения о государственном долге и его выплатах, иностранных инвестициях и финансовых потоках 135-ти стран. Временной охват — с 1970 по 2012 г. (включая принятые на себя странами обязательства). Имеется удобная возможность графического представления полученной информации.

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

Школа НАББ «Библиотеки — дорога к знаниям»

«Школа НАББ в городах России» — обзорный ролик, посвященный образовательной деятельности НАББ в городах Российской Федерации.

15-16 декабря 2022 г.

г. Калуга, очно

Тема: «Роль библиотек в обеспечении современных технологий образования и просвещения в цифровой и инклюзивной среде»

ПРЕСС-РЕЛИЗ | ПРОГРАММА | ИНФОРМАЦИОННОЕ ПИСЬМО

19-20 октября 2022 г.

г. Пермь, очно

Тема: «Современные цифровые технологии для муниципальных библиотек и библиотек образовательных учреждений»

ПРЕСС-РЕЛИЗ | ПРОГРАММА | ПОСТ-РЕЛИЗ

11-13 октября 2022 г.

Онлайн

Тема: «Цифровая библиотека будущего»

22-23 июня 2022 г.

г. Саратов

Тема: «Библиотеки в современном процессе цифровой трансформации»

ИНФОРМАЦИОННОЕ ПИСЬМО | ПРОГРАММА (pdf) | ОНЛАЙН-ПРОГРАММА | ПОСТ-РЕЛИЗ | ПРЕЗЕНТАЦИИ

19-22 октября 2021 г.

г. Салехард

Тема: «Современные информационные технологии и ресурсы для библиотек»

ПРОГРАММА | ПОСТ-РЕЛИЗ

ЗАПИСЬ ЛЕКЦИОННЫХ СЕССИЙ: 21 октября ; 22 октября

12-14 октября 2020 г.

Онлайн

Тема: «Школа библиотечного лидерства НАББ»

ПОСТ-РЕЛИЗ | САЙТ | МАТЕРИАЛЫ |

17-19 февраля 2020 г.

г. Санкт-Петербург

Первая сессия: Публичные библиотеки в цифровой среде»

Вторая сессия: Роль научных и учебных библиотек в информационной поддержке и сопровождении научной и образовательной деятельности в условиях цифровой среды»

В рамках научно-практической конференции «Буква и Цифра: библиотеки на пути к цифровизации («БиблиоПитер-2020»)

ПОСТ-РЕЛИЗ | ПРОГРАММА | ИНФОРМАЦИОННОЕ ПИСЬМО

ВИДЕОЗАПИСЬ первой лекционно-семинарской сессии

ВИДЕОЗАПИСЬ второй лекционно-семинарской сессии

8-9 апреля 2019 г.

г. Саратов

Третья сессия

Тема: «Новые тенденции в развитии библиотечно-информационной сферы: региональный аспект»

ПОСТ-РЕЛИЗ | ПРЕЗЕНТАЦИИ ДОКЛАДОВ

9-12 октября 2018 г.

г. Томск

Осенняя сессия

Тема: «Деятельность публичных библиотек в современных условиях»

9-10 апреля 2018 г.

г. Саратов

Весенняя сессия. Второй семестр

Тема: «Роль современной библиотеки в развитии информационно-образовательной среды региона»

ПРЕСС-РЕЛИЗ | ПРОГРАММА

12-14 декабря 2017 г.

г. Москва

Зимняя сессия. Первый семестр

Тема «Современные направления модернизации и развития информационных технологий и ресурсов библиотек»

ПРЕСС-РЕЛИЗ | ПРОГРАММА

17-18 октября 2017 г.

г. Челябинск

Осенняя сессия. Первый семестр

Тема: «Современные направления модернизации и развитие информационных технологий и ресурсов библиотек»

ПРОГРАММА | ОТЧЕТ ПЕРВОГО ДНЯ | ПОСТ-РЕЛИЗ | ФОТООБЗОР | ВИДЕОЗАПИСЬ

ВИДЕОЗАПИСЬ семинара «Современные возможности системы автоматизации библиотек ИРБИС»

15-16 сентября 2017 г.

г. Новосибирск

Осенняя сессия. Первый семестр

Тема: «Современные направления модернизации и развития библиотек: библиотечно-информационные технологии, ресурсы, пространство»

7-8 июня 2017 г.

Крым, г. Судак

Летняя сессия. Крымская экспресс-школа

Тема: «Информационные ресурсы для поддержки библиотечного образования»

15-16 марта 2017 г.

г. Саратов

Весенняя сессия

Тема:«Современные проблемы развития библиотечных технологий и библиотечного образования»

СМИ о Школе НАББ «Библиотеки — дорога к знаниям»:

Шрайберг, Я. Л. Школа «Библиотеки — дорога к знаниям» НАББ : итоги первого года работы / Я. Л. Шрайберг, Е. В. Линдеман // Университетская книга : информационно-аналитический журнал. — 22.03.2018. — Электрон. дан. — Режим доступа : http://www.unkniga.ru/biblioteki/bibdelo/8131-shkola-biblioteki-doroga-k-znaniyam-itogi-pervogo-goda-raboty.html

OpenCyc[]

Последняя версия OpenCyc, 1.0 была выпущена в июле 2006 года. OpenCyc 1.0 включает в себя полную онтологию Cyc содержащую сотни
тысяч выражений, миллионы утверждений, связывающих термы между собой. База знаний содержит 470000 концепций и 306000 фактов и
её можно просмотреть на сайте OpenCyc. Первая версия OpenCyc была выпущена в мае 2001 года и содержала только 6000 концепий и
60000 фактов. База знаний выпущена под лицензией Apache. Cycorp намерена выпускать OpenCyc под параллельными,
менее жесткими лицензиями чтобы удовлетворить потребности своих пользователей. Интерпретатор CycL и SubL (программа,
которая позволяет вам просматривать и изменять базу данных и делать выводы) выпущена бесплатно, но только в двоичном виде, без
исходных текстов. Она работает как под GNU/Linux так и под Microsoft Windows.

ResearchCyc[]

В июле 2006 года Cycorp выпустила ResearchCyc 1.0, бесплатную (но с закрытыми исходниками) версию Cyc предназначенную для исследовательского сообщества. (ResearchCyc находился в бета версии в течение всего 2004 года, а выпущена в бета-тестирование она была в феврале 2005.) В дополнение к таксономической информации из OpenCyc, ResearchCyc включает значительно больше семантических знаний (то есть дополнительные факты) о концепциях в своей базе знаний, и включает большой лексикон, инструменты для грамматического разбора и генерации Английского языка, написанные на языке Java интерфейсы для редактирования знаний и создания запросов к базе.

Cycorp публично выразила своё намерение выпустить все термы и таксономические взаимосвязи содержащиеся в ResearchCyc как
часть OpenCyc и это было сделано в версии 1.0. Одна из указанных целей — создать полностью свободный и неограниченный семантический
словарь для использования в Semantic Web. Таксономия OpenCyc доступна в формате
Owl на сайте проекта OpenCyc.