Онтология CYC
Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.
Подобные документы
Специфика языка представления знаний, характеристика семантического гиперграфа. Структура и предназначение прикладной онтологии, её применение. Определение имен понятий и отношений, описание процедуры на прикладной онтологии, сущность её фрагментов.
контрольная работа, добавлен 09.01.2016Онтология вин и еды, их сочетание. Возможные приложения. Формальное явное описание понятий в рассматриваемой предметной области. Этапы разработки онтологии. Перечисление важных терминов, иерархии классов. Организация классов в таксономию. Свойства слотов.
презентация, добавлен 01.09.2013Назначение электронной таблицы в первую очередь состоит в автоматизации вычислений над данными. Для этого в ячейки таблицы вводятся формулы. Пример вычисления по арифметическим формулам. Правило копирования формул. Арифметические и логические формулы.
презентация, добавлен 14.02.2025Характеристика методов численного интегрирования. Пример решения задачи приближенного вычисления определенного интеграла. Получение кубатурной формулы для интегрирования функций двух переменных на основе формулы Симпсона, её программная реализация.
курсовая работа, добавлен 26.12.2016Определение понятий: онтология, концепт, отношение, аксиомы. Коллекции электронных документов и задачи их автоматической обработки. Сущность онтологии, языки для ее описания. Специфика некоторых лингвистических ресурсов, применение для конкретной области.
презентация, добавлен 01.09.2013Нахождение значения формулы при данных аргументах, приближенное нахождение интеграла, работа с переменными, изменение аргументов, вызов справки. Функциональная структура программы и принципы ее построения. Реализация алгоритма распознавания функции.
курсовая работа, добавлен 18.08.2009Типы онтологий: верхнего уровня, предметных областей, прикладных онтологий. Основные характеристики лексических и лингвистических онтологий. Классификация по цели создания, по содержимому. Онтологии электронной коммерции. Большие и сверхбольшие тезаурусы.
презентация, добавлен 19.10.2013Принципы стандарта онтологического исследования при проектировании информационных систем. Использование онтологии в Semantiс Web. Перспективы внедрения онтологий в жилищно-коммунальное хозяйство. Процесс построения онтологии, согласно методологии IDEF5.
статья, добавлен 19.12.2017Стандартные функции Excel как специальные, заранее созданные формулы. Использование числовых, текстовых и логических значений в качестве аргументов. Ввод выражений в рабочем листе. Применение мастера назначений. Основные правила вычисления изречений.
реферат, добавлен 05.10.2014Табличное представление данных. Основные и производные данные. Управление данными с помощью Excel. Сложные формулы и стандартные функции. Форматирование и изменение размеров ячеек. Работа с несколькими рабочими листами. Использование ссылок и имен.
реферат, добавлен 18.01.2011Системы линейных алгебраических уравнений. Табличные формулы и операции с матрицами. Решение линейных алгебраических систем. Группировка рабочих листов в Microsoft Excel. Матричный способ решения задач оптимизации. Поиск значений аргументов функции.
методичка, добавлен 06.05.2015Понятие онтологии в информатике как попытки всеобъемлющей и детальной формализации некоторой области знаний с помощью концептуальной схемы. Способы сжатия информации на основе компьютерной онтологии, единицы ее измерения. Рассмотрение некоторых примеров.
контрольная работа, добавлен 12.06.2013Составление алгоритма и программы получения стандартного вида последовательности и рекуррентной формулы, с использованием средства разработки программного обеспечения Microsoft Visual Basic. Создание формы просмотра и обработки полученных результатов.
лабораторная работа, добавлен 25.11.2012The modern computer technologies. Drawing of clock-pulse generator that from pulse sequence for all programming system. Engineering graphics OrCAD Capture. Projecting and design of principal schemes in electronics, microelectronics and electrotechniques.
книга, добавлен 11.10.2014Разработка машино-читаемого словаря (онтологии) для описания области применения и особенностей реализации программных систем, использующих элементы крауд-вычислений. Особенности построения онтологии для описания приложений методом "сверху-вниз".
статья, добавлен 08.03.2019Лингвистические особенности организации ФИС (формулы изобретения на способ). Возможности переиспользования интерфейса системы автоматического синтеза формулы изобретения для определения запроса к системе автоматического поиска патентных текстов.
автореферат, добавлен 30.04.2018- 17. MS EXCELL
Основные положения и сущность работы операционной системы Excel, ее особенности и функциональность. Общие сведения о книгах и листах MS Excel. Типы данных, настройки и возможности их использования. Вычисления в Excel, формулы и функции, команды.
лабораторная работа, добавлен 13.01.2009 Определение понятий: онтология, концепт, отношение, аксиомы. Коллекции электронных документов и задачи их автоматической обработки. Концептуальное индексирование и спецификация концептуализации. Таксономические отношения. Языки для описания онтологий.
презентация, добавлен 19.10.2013Описание полуавтоматического метода расширения базовой онтологии для предметной области "радиационная безопасность", основанного на принципах NLP. Особенности решения проблемы неоднозначности слов с помощью словаря синонимов, пути расширения онтологии.
статья, добавлен 22.01.2017Букридеры как один из современных инструментов обучения. Общая характеристика рынка информациoнных технoлoгий в Рoccии. Знакомство с главными особенностями разработки электронного учебного пособия "Основные математические формулы" средствами Delphi.
курсовая работа, добавлен 26.02.2020Код макросов "Вставка таблицы" и "Вставка формулы". Оформление рисунков и таблиц в программе Microsoft Word. Создание макроса для вставки формулы в текст. Построение двумерного графика эпициклоиды по параметрическим уравнениям кривой в Microsoft Excel.
отчет по практике, добавлен 18.02.2019- 22. Дерево-формула
Алгоритм построения дерева-формулы арифметического выражения. Приоритеты операций, величина и степень. Рекурсивная процедура построения FormTree. Текст процедуры DelPar. Визуальная иллюстрация дифференцирования дерева-формулы. Текст программы на С++.
методичка, добавлен 08.09.2015 Рассмотрение основ представления чисел в компьютере. Общая характеристика и история создания электронной таблицы. Ознакомление с версиями Excel для Windows и Windows NT. Типы и форматы данных в программе; ввод формулы, ссылки, функции и диаграммы.
реферат, добавлен 29.11.2013Internet multimedia: media element such as sound, animation and video. File transfers: downloading (process of transferring the file from remote computer to your computer) and uploading (sending a copy of files from your computer to remote computer).
лекция, добавлен 15.04.2014Использование онтологий в сфере искусственного интеллекта. Базовые термины для свойств, относящихся к архитектуре онтологии. Построение графа предметно-ориентированных связей для онтологии компьютерных игр. Свойства определений, онтологических соглашений.
статья, добавлен 16.01.2018