Онтология CYC

Разработчики Cyc. Douglas Lenat и адмирал Inman. Microelectronics and Computer TechnologyCorporation. Cyc и онтологии. CycL: константы. Значимость имен. Предикаты: типы аргументов. Функции, формулы и термы. Атомные формулы: примеры. Разрешение референции.

Подобные документы

  • Онтологии как компьютерные ресурсы, содержащие формализованное описание фрагмента знаний о мире. Семантическая структуризация – выстраивание когнитивного моста от способа описания мира человеком к методу представления информации в памяти компьютера.

    дипломная работа, добавлен 11.06.2018

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

    реферат, добавлен 15.12.2010

  • Review digital communication and traditional computer-based technologies. The European Telecommunications Standards Institute. Computer and network hardware and software. Features of use of information and communication technologies in modern society.

    презентация, добавлен 06.02.2017

  • Building a full map of the mental activity of the human brain. Various sensors detect the pressure pulses, temperature. Mind reading machine - a coordination of human psychology and computer techniques. Extract safe and confidential information.

    презентация, добавлен 30.05.2015

  • Investigation of polygonal meshes to represent objects in systems of computer-aided design and computer graphics. Use the method of the voting tensor to isolate in the geometric structures the sparsities, irregularities and possible sources of noise.

    статья, добавлен 28.09.2016

  • Модуль как автономно компилируемая программная единица, включающая в себя типы, константы, процедуры и функции инициирующей части. Наличие модулей в Turbo Pascal. Сущность и структура модуля. Стандартные модули в Паскаль: модуль Crt и модуль Graph.

    контрольная работа, добавлен 31.03.2011

  • The invention of the computer. Babbage's demonstration model mechanical calculator. Sequence of operations for column. The logical structure of the Analytical Engine. The programming language. Mechanical calculation device based on the design in 1853.

    реферат, добавлен 17.12.2015

  • Description of technology of off-wire computer networks with the productivity 100 Mb/s in the point of output and maintenance of information. Description of parameters of middle access and determination of multiple entrance. Physical layer, radio, WLAN.

    методичка, добавлен 10.08.2011

  • The elements of computer security. Cryptography approaches and attacks. An advanced encryption standard. Key generation and distribution approaches and attacks. The qualities of workable security solutions. The trusted platform module at biometrics.

    книга, добавлен 08.03.2014

  • Общее описание стратегий поиска в пространстве состояний. Порядок поиска по заданному критерию и понятие о А*-алгоритме. Реализация игры в "Пятнашки" с помощью программы SWI Prolog. Эвристики, предикаты, принципы, коды и примеры работы программы.

    лабораторная работа, добавлен 13.11.2015

  • Особенности использования новых информационных технологий для создания электронного образовательного ресурса. Исследование проблемы актуальности информации. Анализ принципов метода онтологии и перспективы его использования для решения данной проблемы.

    статья, добавлен 24.08.2020

  • Особенности системного анализа как метода исследования, его этапы. Понятие онтологии в информатике. Стандарт, концепции и язык описания онтологического исследования IDEF5. Виды схем и диаграмм. Гносеологический и структурный аспекты системного анализа.

    контрольная работа, добавлен 30.03.2017

  • The principles of construction of the integrated modular avionics aircraft and its functional elements. Methods and means of control of IMA computer systems. Evaluate the reliability of IMA computing structures for different hardware configurations.

    статья, добавлен 13.07.2022

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

    дипломная работа, добавлен 27.05.2018

  • Ячейки памяти, предназначенные для хранения данных. Использование констант в языке программирования С++. Коды управляющих последовательностей в программе. Символьные (не литеральные) целочисленные константы. Спецификатор volatile в программном коде.

    статья, добавлен 21.01.2018

  • Сущность метода прямоугольников как метода численного интегрирования функции одной переменной, формулы. Разработка блок-схемы программы на языке Turbo Pascal. Особенности реализации подпрограмм вычисления всех функций и численного метода и их отладка.

    контрольная работа, добавлен 29.04.2013

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

    курсовая работа, добавлен 31.05.2021

  • It is developed software integration of different computer-aided design systems in the design of wind power plants. The block-diagram of computer-aided design system is presented. Analysis and especially considering of the format conversion mechanism.

    статья, добавлен 26.06.2016

  • Создание компьютерных сетей для обмена информацией и совместного использования периферийного оборудования и устройств хранения информации. Структура доменной системы имен в Интернет, пространство имен DNS. Выбор имени домена, создание поддоменов.

    реферат, добавлен 29.06.2009

  • Типология методов распознавания образов и анализа изображений. Автоматизация процесса пополнения онтологии с применением процедуры верификации. Гибридная схема синтеза рисунков. Система статистического определения. Сущность способов машинного обучения.

    статья, добавлен 09.01.2016

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

    статья, добавлен 19.01.2018

  • Описание подхода к разработке системы синтеза графических изображений по онтологическим структурам. Разработка языка алгоритмического описания графики GRAphics Situation Planner для синтеза изображений. Проектирование объекта "Космическая верфь".

    статья, добавлен 16.01.2018

  • The creating and operating an arbitrary Database in computer mathematics. The conceptual design acts as the construction of an information model of the subject area of the. The definition of the objects of the subject area of the DB, their properties.

    статья, добавлен 17.02.2021

  • Заимствование понятия онтологии из философии, его активное использование в настоящее время в искусственном интеллекте и информатике. Разработка декларативных методов автоматического построения онтологий с использованием продукционной модели знаний.

    автореферат, добавлен 14.02.2018

  • Характеристика, назначение и типы систем программирования. Инструменты и библиотеки среды Delphi. Состав объектно-ориентированного языка C++. Изучение комплекса программ, поставляемых компанией Microsoft. Разработка открытой операционной система UNIX.

    курсовая работа, добавлен 15.12.2014

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.