Mon . 20 Feb 2020

Семантичний повтор

Семантичне переконання, механізм міркувань, механізм управління, або просто повторний засіб - це програмне забезпечення, здатне зробити висновок про логічні наслідки з набору затверджених фактів або аксіом. Поняття семантичного повторювача узагальнює поняття двигуна висновку, надаючи багатший набір механізмів для роботи з правилами виводу зазвичай визначаються засобами онтологічної мови, а часто і мовою логіки опису Багато аргументів використовують логіку предикатів першого порядку для виконання міркувань; умовивід, як правило, відбувається шляхом ланцюга вперед та назад, також є приклади ймовірнісних аргументів, включаючи неаксіоматичну систему міркувань Пей Ванга, [1] та імовірнісні логічні мережі [2]
Зміст 1 Список семантичних аргументів
11 Комерційне програмне забезпечення - 12 Безкоштовне використання з закритим джерелом - 13 Безкоштовне програмне забезпечення з відкритим кодом - 14 Програми, які містять повторних програм 2 Перегляньте також 3 посилання
4 Зовнішні посилання
Список семантичних аргументів - Існуючі семантичні аргументи та супутнє програмне забезпечення:
Комерційне програмне забезпечення
Програмне забезпечення Bossam, двигун на основі RETE з вбудованою підтримкою для міркування щодо онтологій OWL, правил SWRL та правил RuleML
RacerPro
Безкоштовне користування із закритим джерелом - двигун висновку Cyc, двигун виводу прямого і зворотного ланцюга з численними спеціалізованими модулями для логіки високого порядку [1] ResearchCyc [2] OpenCyc
KAON2 - це інфраструктура для управління OWL-DL , Онтології SWRL та F-Logic - програмне забезпечення Internet Business Logic - аргументація ner, розроблений для авторів додатків для кінцевих користувачів Автоматично генерує та запускає складні мережеві запити SQL Пояснює результати англійською мовою на рівні кінцевого користувача - Безкоштовне відкрите програмне забезпечення
Cwm, повторний ланцюжок, що використовується вперед, використовується для запитів, перевірки, перетворення та фільтрація інформації Основним мовою є RDF, розширений, щоб включати правила, і він використовує серіалізації RDF / XML або N3 відповідно до вимог CWM, ліцензії на програмне забезпечення W3C
Drools, двигун правил, заснований на прямих ланцюжках, який використовує розширену реалізацію алгоритму Rete Drools, ліцензія Apache 20
FaCT ++ Reasoner, повторний програмування на основі таблиць для експресивного опису Logics DL, що охоплює OWL та OWL 2, але не має підтримки для ключових обмежень та деяких типів даних, написаних на C ++ LGPL
Flora-2 , об'єктно-орієнтована система представлення знань та міркувань на основі правил Flora-2, Apache 20
Gandalf, механізм прийняття рішень з відкритим кодом на PHP GPL - Prova, семантична система веб-правил, яка підтримує інтеграцію даних через запит SPARQL Системи типу та типу RDFS, OWL онтології як система типу Prova, GNU GPL v2, доступна комерційна опція - Pellet, OWL 2 DL, повторно перевірена AGPL, доступна комерційна опція - HermiT, OWL 2 DL, LGPL
ELK, OWL 2 EL повторювач Apache 2 - CEL, OWL 2 EL повторювач Apache 2 - jcel, OWL 2 EL повторювач LGPL / Apache 2 - RACER, OWL 2 DL повторювач BSD-3 - Jena, відкрита рамка вихідний семантичний веб-фреймворк для Java, який включає ряд різних семантичних модулів міркування Apache Jena, Apache License 20
RDFSharp, семантичний веб-фреймворк з відкритим кодом для NET, який включає семантичне розширення, що реалізує RDFS / OWL-DL / користувацьке правило RDFSharp, ліцензія Apache 20 на основі програм, що містять перевірених даних, Apache Marmotta включає в себе трипрофільний магазин, що базується на правилах, в dot15926 Editor - Рамка управління онтологією, спочатку розроблена для інженерного онтологічного стандарту ISO 15926 Дозволяє Python правило сценаріїв та аналіз даних на основі шаблонів Підтримує розширення
Див також
Портал програмного забезпечення - Механізм ділових правил - Експертні системи - Доксастична логіка - Метод аналітичних таблиць - Логічне програмування - Список літератури - ^ Ванг, Пей "ґрунтується на семантиці досвіду для розвідки, Технічний звіт 96 "http: // wwwcogsciindianaedu / CRCC Отримано 13 квітня 2015 Зовнішнє посилання на | веб-сайті = допомога | ^ Goertzel, Ben; Ікле, Метью; Ґерцель, Ізабела Фрейр; Хелякка, Арі 2008 Імовірнісні логічні мережі: всеосяжна основа для невизначених виводів Springer Science & amp; Business Media p 42 ISBN 9780387768724
Зовнішні посилання
OWL 2 Причини, зазначені на домашній сторінці робочої групи W3C SW - Мова запиту SPARQL для RDF - Вступ до опису Логіка DL курсу Енріко Франконі, факультет комп’ютерних наук, Вільний університет Болцано, Італія - Висновок з використанням семантики OWL 20 Craig Trim IBM - Марко Лютер, Торстен Лібіг, Себастьян Бём, Олаф Ноппенс: Хто чорт - батько Боба ESWC 2009: 66-80
Юрген Бок, Пітер Хааз, Циу Джі, Рафаель Вольц Бенчмаркінг OWL Розумники в ARea2008 - семінар з підвищення рівня розуму в Інтернеті: масштабованість та простолюдство, червень 2008 р. - Том Гардінер, Ієн Хоррок, Дмитро Царков 2006
OpenRuleBench Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer OpenRuleBench: Аналіз продуктивності рульових двигунів 2009 Останні показники на веб-сайті OpenRuleBench
v
e
Semantic Web
Фон
Бази даних
Hypertex t - Інтернет - Онтології - Семантичні мережі - World Wide Web - Підтеми - Web Data - Простори даних - Hyperdata - Пов'язані дані - На основі правил системи - Програми - Семантична аналітика - Семантичний брокер - Семантичні обчислення - Семантичний картограф - Семантична відповідність - Семантична публікація - Семантична публікація - Семантичний пошук - Семантичний пошук - Семантичний сервіс орієнтована архітектура - Смислова вікі
Суміжні теми - Колективна розвідка - Логіка опису - Фольксономія - Геотеги - Інформаційна архітектура - Видобуток знань - Управління знаннями - Знання представництво: Бібліотека 20 - Метадані - Картографування розуму - ODBC - Список літератури - Карти тем - Веб 20 - Веб-інженерія - Довіра до веб-науки - Стандарти
Синтаксис та підтримуючі технології - HTTP - IRI - URI - RDF - трійки - RDF / XML - JSON-LD - Turtle - Notation3 - N- Triples - стандарт TriX no W3C - RRID - SPARQL - XML - Схеми, онтології та правила - Загальна логіка - OWL - RDFS - Правило Interc hange Format - Мова семантичних веб-правил - ALPS - Семантична анотація - eRDF - GRDDL - Microdata - Мікроформати - RDFa - SAWSDL - Платформа Facebook
Поширені словники - DOAP - Dublin Core - FOAF - hAtom - hCalendar - hCard - hProduct - hRecipe - hResume - hReview - SIOC
SKOS
v
e - Обчислювальні знання - Теми та концепції - Алфавіт людської думки - Авторитетний контроль - Автоматизовані міркування - Знання здорового глузду - Разум з розумом
обчислюваність: формальна система - двигун виводу - база знань - системи на основі знань - інженерія знань - вилучення знань - представлення знань - пошук знань - бібліотека класифікація - Логічне програмування - Онтологія - База особистих знань - Відповіді на запитання - Семантичне переконання - Пропозиції та реалізація - Zairja - Ars Magna 1300 - Нарис до справжнього персонажа та філософської мови 1688 - Calculus ratiocinator & amp; Characteristica Universalis 1700 - Десяткова класифікація Дьюї 1876 - Begriffsschrift 1879 - Mundaneum 1910 - Логічний атомізм 1918 - Tractatus Logico-Philosophicus 1921 - Програма Гільберта 1920-х років - Теорема про неповноту 1931 року - Світ Brain 1938 - Memex 1945 - General Problem Solver 1959 - Prolog 1972 - Cyc 1984 - Semantic Web 2001 - Evi 2007 - Wolfram Alpha 2009 - Watson 2011 - Siri Графік знань 2012 - Вікідата 2012 - Кортана 2014 - Viv 2016 - Художня література - Подорожі Двигуна Гуллівера, 1726 - Джо "Логічний Джо, що називається", 1946
Бібліотекар Сніговий крах, 1992 р. Д-р Знай А.І. Штучний інтелект, 2001 р. - Вотерхаус Бароковий цикл, 2003 р. - Дивіться також: Логічні машини в художній літературі та Список вигаданих комп'ютерів


Semantic reasoner

Random Posts

Picts

Picts

The Picts were a tribal confederation of peoples who lived in what is today eastern and northern Sco...
Visual prosthesis

Visual prosthesis

A visual prosthesis, often referred to as a bionic eye, is an experimental visual device intended to...
Mini rugby

Mini rugby

Mini rugby, also known as New Image Rugby, is a form of rugby union designed to introduce the sport ...
List of synthetic polymers

List of synthetic polymers

Synthetic polymers are human-made polymers From the utility point of view they can be classified int...