Tue . 20 Feb 2020

Семантикалық ойлаушы

Семантикалық ойлаушы, ой қозғаушы, ереже қозғалтқышы немесе жай ғана ойлаушы - бұл дәлелденген фактілердің немесе аксиомалардың жиынтығынан логикалық нәтиже шығара алатын бағдарламалық жасақтама. Семантикалық ойлаушы ұғымы байыпты қозғалтқыш ұғымын жалпылайды. Анықтамалық ережелер көбінесе онтологиялық тілдің көмегімен анықталады және көбінесе логикалық тілдің сипаттамасы Көптеген ойшылдар ойлау үшін бірінші ретті предикаттық логиканы қолданады; Әдетте алға қарай тізбектену және артқа қарай тізбектену нәтижесінде пайда болатын ықтимал ойлаушылардың мысалдары бар, олардың ішінде Пей Вангтың аксиомалық емес ойлау жүйесі, [1] және ықтималды логикалық желілер [2]
Мазмұны
1 Семантикалық ойлаушылардың тізімі
11 Коммерциялық бағдарламалық жасақтама
12 Жабық көзді қолдануға ақысыз
13 Бағдарламалық жасақтаманың ақысыз көзі
14 Себептері бар қосымшалар
2 Сондай-ақ, қараңыз: 3 Сілтемелер
4 Сыртқы сілтемелер
Тізім семантикалық ойлаушылардың
Бар семантикалық ойлаушылар мен соған байланысты бағдарламалық қамтамасыздандыру:
Коммерциялық бағдарламалық жасақтама - Bossam бағдарламалық жасақтамасы, OWL онтологиясын, SWRL ережелерін және RuleML ережелерін талқылауға арналған жергілікті қолдауы бар RETE негізіндегі ереже жүйесі
RacerPro
Жабық көзі бар Cyc инерциялық қозғалтқышы, алға және артқа тізбектелген, жоғары деңгейлі логикаға арналған мамандандырылған модульдері бар инерциялық қозғалтқыш [1] ResearchCyc [2] OpenCyc
KAON2 OWL-DL басқару үшін инфрақұрылым болып табылады. , SWRL және F-Logic онтологиясы
Internet Business Logic бағдарламалық жасақтамасы Соңғы пайдаланушы қосымшасының авторларына арналған ner күрделі SQL сұраныстарын автоматты түрде жасайды және іске қосады. Нәтижелерді ағылшын тілінде соңғы пайдаланушы деңгейінде түсіндіреді - ақысыз бағдарламалық қамтамасыздандырудың ашық көзі
Cwm, сұрау салуды, тексеруді, қолдануды бастау үшін қолданушы. ақпараттарды түрлендіру және сүзу Оның негізгі тілі - RDF, ережелерді қамту үшін кеңейтілген және ол CWM, W3C бағдарламалық жасақтама лицензиясы мен Drools талап етілгендей RDF / XML немесе N3 сериялауды қолданады, жақсартылған енгізуді қолданатын анықтамаға негізделген ережелер жүйесі. Role алгоритмінің Drools, Apache лицензиясы 20
FaCT ++ Reasoner, OWL және OWL 2-ді қамтыған, бірақ негізгі шектеулерге және кейбір деректер түріне қолдау көрсетпейтін, логикалық DL-ге негізделген кесте негізінде түсіндіруші, C ++ LGPL
Flora-2 Флора-2, Apache 20
Гандалф, объектіге бағдарланған, ережеге негізделген білімді ұсыну және пайымдау жүйесі, PHP GPL
Prova-да шешімдердің ашық көздері жүйесі, деректерді біріктіруді қолдайтын семантикалық-веб ережелері жүйесі. SPARQL сұрау арқылы RDFS жүйелері мен типтік жүйелері, Prova типті OWL онтологиясы, GNU GPL v2, коммерциялық опция
Pellet, OWL 2 DL ойлаушы AGPL, коммерциялық нұсқа
HermiT, OWL 2 DL LGPL
ELK, OWL Apache 2 EL-себепкері - Apels 2
CEL, OWL 2 EL-себепші - Apache 2, мысалы, OWL 2 EL LGPL / Apache 2
RACER, OWL 2 DL BSD-3 - Jena негізі, ашық- Apache Jena, Apache License 20
RDFSharp, бірнеше түрлі семантикалық-негізделген модульдерді қамтитын Java үшін бастапқы семантикалық-веб-шеңбер, RDFS / OWL-DL / реттелетін ережені іске асыратын семантикалық кеңейтуді қамтитын NET-тің ашық семантикалық веб-жүйесі. RDFSharp, Apache License 20 негізді ойластырғыштары бар қосымшалар
Apache Marmotta-да оның KiWi үштік дүкенінде ережеге негізделген ойластырушы бар - dot15926 Editor - Онтологияны басқару негізі онтологияның стандартты стандарты ISO 15926 инженериясына арналған. ереже сценарийі және деректерге негізделген деректерді талдау Кеңейтімдерді қолдайды
Қараңыз Сонымен қатар, бағдарламалық жасақтама порталы - іскери ережелер қозғалтқышы
сараптамалық жүйелер
доксастикалық логика - аналитикалық кесте әдісі
логикалық бағдарламалау
сілтемелер
Ван, Пей «тәжірибе семантикасына негізделген барлау үшін, Tech report 96 «http: // wwwcogsciindianaedu / CRCC | 13 сәуір 2015 ж. | сілтеме | website = анықтама | Готерцел, Бен; Икле, Мэтью; Герцель, Изабела Фрейр; Хелякка, Ari 2008 Ықтималды логикалық желілер: белгісіз анықтамаларға арналған кеңейтілген негіз Springer Science & amp; Business Media p 42 ISBN 9780387768724 - Сыртқы сілтемелер - WWC SW жұмыс тобының басты бетінде тізімделген OWL 2 себептері
SPARQL сұраныстар тілі: RDFке арналған
Компьютерлік ғылымдар факультеті, Энрико Франконидің логика бойынша DL курсына кіріспе. Больцано еркін университеті, Италия - OWL 20 семантикасын қолдану туралы анықтама: Крейг Трим IBM - Марко Лютер, Торстен Либиг, Себастьян Бөх, Олаф Ноппенс: Хек Бобтың Әкесі кім? ESWC 2009: 66-80
Юрген Бок, Питер Хаас, Циу Джи, Рафаэль Вольц ARea2008-дағы OWL себепшілерін салыстыру - Интернеттегі ойлауды жетілдіруге арналған семинар: ауқымдылығы және үндестік 2008 ж. Маусым: Том Гардинер, Иэн Хорроекс, Дмитрий Царков Сипаттаманы автоматтандырылған салыстыру 2006
OpenRuleBench Сенлин Лян, Пол Фодор, Хуи Ван, Майкл Кифер OpenRuleBench: Ереже қозғалтқыштарының жұмысының талдауы 2009 OpenRuleBench веб-сайтында


Семантикалық Веб
Фонды
Hypertex мәліметтер базасы t
Интернет
Онтологиялар - Әлемдік Интернет
Семантикалық желілер
Кіші тақырыптар - Деректер желісі
Дерекқорлар
Гипердата
Байланысқан мәліметтер
Ережелерге негізделген жүйелер
қосымшалар
семантикалық аналитика
семантикалық брокер
семантикалық есептеу
семантикалық салыстыру
семантикалық сәйкестендіру
семантикалық жариялау
семантикалық ойлау
семантикалық іздеу
семантикалық қызмет Бағдарланған сәулет
Семантикалық вики
Қатысты тақырыптар
Ұжымдық ақыл-ой
Сипаттама логикасы
Фольксономия
Геотеггинг - Ақпараттық архитектура
Білімді шығару - Білімді басқару
Білімдер Өкілдік - Кітапхана 20
Метадеректер - MD картаға түсіру
ODBC
Сілтемелер
Тақырыптық карталар
Web 20
Веб-инженерия және Web Science Trust
Стандарттар
HTTP
IRI
URI
RDF
үш есе
RDF / XML
JSON-LD
Тасбақа
Notation3
N- TriX W3C стандарты - RRID
SPARQL
XML
Схемалар, онтология және ережелер
Жалпы логика
OWL
RDFS
Rule Interc hange Format - Семантикалық веб-ереже тілі
ALPS - семантикалық аннотация
eRDF
GRDDL
Microdata - Microformata
RDFa
SAWSDL
Facebook платформасы
Ортақ сөздіктер: DOAP
Dublin Core - FOAF
hAtom
hCalendar
hCard
hProduct
hRecipe
hResume
hReview
SIOC
SKOS
v
e
Есептеуге болатын білім: Тақырыптар мен ұғымдар
Адам ойының алфавиті
Билікті басқару
Автоматтандырылған ойлау
Жалпы білім
Жалпы түсінік
Есептеу - формальды жүйе
анықтамалық қозғалтқыш
білім базасы
білімге негізделген жүйелер
білімді жобалау
білімді шығару
білімді ұсыну
білімді іздеу және кітапхана классификация
Логикалық бағдарламалау - Онтология - Жеке білім базасы
Сұрақтарға жауап беру
Семантикалық ойлаушы - Ұсыныстар мен ұсыныстар
Zairja
Ars Magna 1300 - Эссе нақты кейіпкерге және философиялық тілге қатысты 1688 - Калькулятор коэффициенті & amp; Characteristica universalis 1700 - Dewey Ондық жіктеуіші 1876 - Begriffsschrift 1879 - Mundaneum 1910 - 1918 логикалық атомизм - 1918 - Трактат логикалық-философиялық 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 2011 - Білім графигі 2012 - Wikidata 2012
Cortana 2014
Viv 2016
Көркем әдебиетте
Гулливердің қозғалтқышы, 1726 - Джо «Логикалық есімді Джо», 1946 ж.
Кітапханашы қар апаты, 1992 жыл: Др Ноу AI Жасанды интеллект, 2001 - Су қоймасы Барокко циклі, 2003
Сондай-ақ қараңыз: Көркем әдебиеттегі логикалық машиналар және ойдан шығарылған компьютерлер тізімі


Semantic reasoner

Random Posts

Book

Book

A book is a set of written, printed, illustrated, or blank sheets, made of ink, paper, parchment, or...
Boston Renegades

Boston Renegades

Boston Renegades was an American women’s soccer team, founded in 2003 The team was a member of the U...
Sa Caleta Phoenician Settlement

Sa Caleta Phoenician Settlement

Sa Caleta Phoenician Settlement can be found on a rocky headland about 10 kilometers west of Ibiza T...
Bodybuilding.com

Bodybuilding.com

Bodybuildingcom is an American online retailer based in Boise, Idaho, specializing in dietary supple...