Онтология CYC
Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.
Подобные документы
Создание простейшей программы. Работа с окнами сообщений и ввод данных. Типы данных, константы, переменные. Процедуры и функции пользователя. Работа с числовой и строковой информацией. Использование скриптов на HTML-страницах. Математические функции.
учебное пособие, добавлен 14.01.2012Основные синтаксические правила записи программ на языке Object Pascal. Использование блоков при определении области видимости константы, переменной или функции. Примеры константных выражений и инициализации переменных. Классификация типов данных.
контрольная работа, добавлен 06.11.2011Изучение системно-онтологического анализа процесса проведения испытаний комплексной системы защиты информации (КСЗИ). Характеристика феномена онтологии. Анализ фрагмента онтологического графа разрабатываемой онтологии процесса проведения испытаний КСЗИ.
статья, добавлен 29.01.2016- 54. Система BIOS
Информационные сообщения при включении компьютера. Процедура самотестирования (POST), примеры звуковых сигналов. Загрузчик операционной системы, его функции. Разделы жестких дисков, специальные средства для разбивки. Примеры и типы файловых систем.
презентация, добавлен 12.09.2017 Разработка программы на языке С++, которая вычисляет значение функции у(х) в х=х0. Использование среды обработки CodeBlocks. Вычисление формулы, определяющей решение поставленной задачи. Применение линейного, ветвящегося и циклического типов алгоритмов.
контрольная работа, добавлен 22.10.2018Acquaintance with methods of data processing and transmission in computer mathematics. Consideration of the features of teaching computer skills in computer mathematics. General characteristics of the stages of development of a conceptual database schema.
статья, добавлен 29.05.2021Disclosure as a mechanism to identify lines with Romanian chromatic words on the basis of computer technologies as a stage in the development of a dictionary of poetic meanings of colors. The collaboration of computer science specialists and linguists.
статья, добавлен 23.02.2016Решение нелинейного уравнения методом секущих. Вычисление значения функции при помощи интерполяционной формулы. Решение линейной системы с трехдиагональной матрицей. Каноническая форма записи. Сходимость одношаговых стационарных итерационных методов.
курсовая работа, добавлен 13.12.2015Характерные примеры одинаковых структур в природе. Свойства логической функции "отношение", основные способы ее представления. Структура поля по Б. Расселу, как множество множеств значений аргументов данного отношения. Изоморфизм и гомоморфизм систем.
презентация, добавлен 19.12.2013Возможность вставки картинки, рисунка и отсканированной фотографии из других программ в программной среде Microsoft Excel. Математические формулы и функции. Относительная и абсолютная адресация ячеек. Форматирование и редактирование электронных таблиц.
презентация, добавлен 07.04.2018Анализ аналитических выражений преобразований Лапласа для различных видов звеньев. Расчетные формулы для плотности и функции распределения времени пребывания и времени ожидания в логистической системе, условия построения их графических зависимостей.
статья, добавлен 13.01.2017Рассмотрение сущности пространства имен – множества, созданного для группировки уникальных идентификаторов, помогающих избегать конфликтов имен (идентификаторов). Пространства имен как важный инструмент при разработке сложных информационных систем.
статья, добавлен 12.04.2019Создание кодов макросов "Вставка таблицы", "Вставка формулы", результаты их использования. Применение электронных таблиц для решения задач. Построение двумерного графика эпициклоиды по параметрическим уравнениям кривой; графика функции и нахождение корня.
отчет по практике, добавлен 18.02.2019The prerequisites for the emergence and formation of areas of computer science that explores the possibilities of electronic encryption devices using large-scale integrated computer circuits. The structure of cryptographic techniques to explore data.
книга, добавлен 08.03.2014New computer arithmetics doing the parallel process of multiplying and division. A scoring in accuracy of representation of numbers is as result of the development of arithmetics. Factorizations of operands is in a basis of parallel computer arithmetics.
статья, добавлен 10.08.2013Features of the mechanism that will help to identify lines with Romanian chromatic words on the basis of computer technology. Steps develop a dictionary of poetic meanings of colors. Development of the dictionary linguists and computer scientists.
статья, добавлен 23.02.2016Исследование популярных Интегрированных сред программирования на C++. Структура проекта программы C++, ее компоненты и функции. Типы данных, используемые переменные и константы. Распространенные операторы, оценка их возможностей. Ввод / Вывод данных.
курсовая работа, добавлен 30.05.2022Structure and functions of the computer. General characteristics and capabilities of the operating system Windows XP, its member programs and functional features. Structure and principles of programming in C ++ Builder IDE, evaluation of results.
курс лекций, добавлен 11.10.2014Понятие интегрального искусственного интеллекта. Гиперграфовый язык представления концептуальных знаний. Прикладная онтология как единый интерфейс между подсистемами интегральной системы искусственного интеллекта. Прикладная онтология "Планиметрия".
статья, добавлен 17.01.2018Свойства совершенной дизъюнктивной и конъюнктивной нормальной форм формулы. Минимизация булевой функции методом диаграмм Вейча с помощью карты Карно. Составление таблицы истинности. Построение схем на логических элементах. Разработка машинных моделей.
контрольная работа, добавлен 01.02.2020Получение практических навыков создания ОК: Константы, Перечисления. Создание формы констант. Вызов контекстного меню. Дерево объектов конфигураций. Связывание константы с подсистемой "Предприятие" в открывшемся окне. Создание и редактирование реквизитов.
лабораторная работа, добавлен 24.02.2024USA. Howard H. Aiken the computer. Ope ration of the eniac. The development of computers in the USA. Macintosh performa 6200/6300. Top 20 computer systems. The development of computers in Ukraine and the former USSR. Kiev the homecity of mesm.
реферат, добавлен 28.07.2008Методика определения интерполяционной формулы для функции двух переменных в окружности. Алгоритм вычисления собственных чисел оператора Лапласа на языке программирования Фортран. Сведение задачи Дирихле к алгебраической проблеме собственных значений.
учебное пособие, добавлен 09.01.2017Приближенное решение задачи Дирихле для уравнения Лапласа в квадрате. Выведение общей формулы для нахождения значений функции во внутренних точках. Составление программы реализации метода Зайделя для решения системы линейных алгебраических уравнений.
курсовая работа, добавлен 09.02.2019Специальные символы языка Pascal: идентификаторы, числа, константы, переменные. Арифметические и логические операции. Стандартные функции, используемые в выражениях. Скалярные, пользовательские, структурированные типы данных. Структура программы.
курсовая работа, добавлен 09.06.2014