Общая логика

От / / Оставьте комментарий

Общая логика Common Logic (CL) — фреймворк для обмена и передачи знаний в компьютерных системах.  CL поощряет развитие множества диалектов, […]

ISO standards, Knowledge representation languages, стандарты ISO, Языки представления знаний

Общая логика

  • Common Logic (CL) — фреймворк для обмена и передачи знаний в компьютерных системах. 
  • CL поощряет развитие множества диалектов, каждый из которых соответствует абстрактной семантике. 
  • Диалекты CL сопоставимы и могут быть автоматически переведены друг на друга. 
  • Стандарт ISO определяет три диалекта: CLIF, CGIF и XCL. 
  • Разработка стандарта ISO началась в 2003 году и была завершена в 2007 году. 
  • В настоящее время готовится техническое исправление для стандарта. 
  • COLORE, Hets и cltools — реализации CL. 

Полный текст статьи:

Общая логика — Википедия

Похожие статьи:

  1. ИСО/МЭК 9995 Стандарт ISO/IEC 9995 ISO/IEC 9995 — серия стандартов, определяющих принципы компоновки компьютерных клавиатур.  Серия стандартов ISO/IEC...
  2. ISO/IEC JTC 1/SC 2 ISO/IEC JTC 1/SC 2 История и структура ISO/IEC JTC 1/SC 2 ISO/IEC JTC 1/SC 2 был...
  3. ИСО 9000 Стандарт ISO 9000 ISO 9000 — набор стандартов на системы менеджмента качества (СМК) от Международной организации...
  4. ИСО/МЭК 10367 ISO/IEC 10367 Определение и использование ISO/IEC 10367 ISO/IEC 10367 определяет графические наборы символов для уровней 2...
  5. ИСО 965 Стандарт ISO 965 ISO 965 — стандарт Международной организации по стандартизации, регулирующий допуски на метрическую резьбу...
  6. ИСО/МЭК 20000 ISO/IEC 20000 ISO/IEC 20000 — международный стандарт управления ИТ-услугами, разработанный в 2005 году.  Стандарт основан на...
  7. ISO 13485 Стандарт ISO 13485 ISO 13485 — добровольный стандарт, разработанный ISO для медицинских изделий.  Текущая версия стандарта...
  8. ISO 3166 Стандарт ISO 3166 ISO 3166 — стандарт, определяющий коды для названий стран, зависимых территорий и особых...
  9. IEEE 802.15 Стандарт IEEE 802.15 Обзор IEEE 802.15 IEEE 802.15 — это стандарт для беспроводных локальных сетей, охватывающий...
  10. ISO 55000 Стандарт ISO 55000 ISO 55000 — международный стандарт управления активами любого рода.  PAS 55 — общедоступная...
  11. ИСО 28000 Стандарт ISO 28000 ISO 28000:2022 — стандарт системы управления безопасностью, разработанный ISO.  Стандарт определяет требования к...
  12. Конечнозначная логика Конечнозначная логика Конечнозначная логика — логическое исчисление высказываний с дискретными истинностными значениями.  Традиционная бивалентная логика Аристотеля...
  13. Промежуточная логика Промежуточная логика Определение и классификация логических систем Логика — это наука о правильном мышлении и рассуждениях. ...
  14. ISO 2709 Стандарт ISO 2709 ISO 2709 — стандарт ISO для библиографических описаний.  Поддерживается Техническим комитетом по информации...
  15. ИСО 8501-1 ISO 8501-1 ISO 8501-1 — стандарт ISO для оценки чистоты стальных поверхностей перед нанесением краски.  Стандарт...
  16. ISO 9241 Стандарт ISO 9241 ISO 9241 — стандарт, охватывающий эргономику взаимодействия человека и системы.  Стандарт управляется Техническим...

Оставьте комментарий

Прокрутить вверх