Tue . 20 Feb 2020

Anlamsal akıl yürütme

Anlamsal bir akıl yürütücü, akıl yürütme motoru, kural motoru veya sadece bir akıl yürütücü, bir dizi iddia edilen gerçek veya aksiyomdan mantıksal sonuçlar çıkarabilen bir yazılım parçasıdır. Çıkarım kuralları ile çalışmak için mekanizmalar kümesi Genellikle bir ontoloji dili ve genellikle bir açıklama mantığı dili ile belirtilir Birçok mantık yürütmek için birinci dereceden yüklem mantığı kullanır; çıkarım genellikle ileri zincirleme ve geriye doğru zincirleme ile ilerler Pei Wang'ın aksiyomatik olmayan akıl yürütme sistemi, [1] ve olasılıksal mantık ağları [2] da dahil olmak üzere olasılıksal akıl yürütücülerin örnekleri de vardır. > 11 Ticari yazılım
12 Bedava kapalı kaynak
13 Özgür yazılım açık kaynak
14 Akıl yürütücü içeren uygulamalar
2 Ayrıca bkz. 3 Referanslar
4 Dış bağlantılar
Liste semantik akıl yürütücülerin listesi
Varolan semantik akıl yürütücüler ve ilgili yazılımlar:
Ticari yazılım
OWL ontolojileri, SWRL kuralları ve RuleML kuralları üzerinde akıl yürütme için yerel desteklere sahip RETE tabanlı bir kural motoru olan Bossam yazılımı
Boser yazılım Kullanımı ücretsiz Kapalı Kaynak
Cyc çıkarım motoru, yüksek dereceli mantık için çok sayıda özel modüle sahip ileri ve geri zincirleme çıkarım motoru [1] ResearchCyc [2] OpenCyc
KAON2, OWL-DL'yi yönetmek için bir altyapıdır Business Logic yazılımı — Gerçek bir yazılım, SWRL ve F-Mantık ontolojileri son kullanıcı uygulama yazarları için tasarlanmış ner Karmaşık ağa bağlı SQL sorgularını otomatik olarak oluşturur ve çalıştırır Son kullanıcı düzeyinde İngilizce sonuçları açıklar
Ücretsiz yazılım açık kaynak
Cwm, sorgulama, kontrol, bilgileri dönüştürme ve filtreleme Temel dili RDF'dir, kuralları içerecek şekilde genişletilmiştir ve gerektiği gibi RDF / XML veya N3 serileştirmelerini kullanır CWM, W3C yazılım lisansı
Drools, gelişmiş bir uygulama kullanan ileri zincirli çıkarım tabanlı kural motoru Rete algoritması Drools, Apache lisansı 20
FaCT ++ Reasoner, anlamlı Açıklama için Mantıksal Tableaux tabanlı bir akıl yürütücü OWL ve OWL 2'yi kapsayan ancak anahtar kısıtlamaları ve bazı veri türleri için destekten yoksun C ++ LGPL
Flora-2 , nesne tabanlı, kural tabanlı bir bilgi temsili ve muhakeme sistemi Flora-2, Apache 20
Gandalf, PHP GPL'de açık kaynaklı karar kuralları motoru
Prova, veri entegrasyonunu destekleyen bir semantik-web kural motoru SPARQL sorgulaması ile ler ve tip sistemleri RDFS, tip sistemi olarak OWL ontolojileri Prova, GNU GPL v2, ticari seçenek mevcut
Pelet, OWL 2 DL akıl yürütücü AGPL, ticari seçenek mevcut
HermiT, OWL 2 DL akılcı LGPL
ELK, OWL 2 EL akıl yürütme Apache 2
CEL, OWL 2 EL akıl yürütme Apache 2
jcel, OWL 2 EL akıl yürütme LGPL / Apache 2
RACER, OWL 2 DL akıl yürütme BSD-3
Jena framework, açık Java için kaynak semantik-web çerçevesi bir dizi farklı semantik-akıl yürütme modülü içerir Apache Jena, Apache Lisansı 20
RDFSharp, NET için RDFS / OWL-DL / özel kural uygulayan bir semantik uzantı içeren açık kaynaklı bir semantik web çerçevesi tabanlı akıl yürütme RDFSharp, Apache Lisansı 20
Akıl yürütme içeren uygulamalar
Apache Marmotta KiWi üçlü mağazasında kural tabanlı bir akıl yürütücü içerir
dot15926 Editör — Başlangıçta mühendislik ontolojisi standardı ISO 15926 için tasarlanmış ontoloji yönetimi çerçevesi Python'a izin verir kural komut dosyası oluşturma ve kalıp tabanlı veri analizi Uzantıları destekler
Bkz. ayrıca
Yazılım portalı
İş kuralları motoru
Uzman sistemler
Doxastic logic
Analitik tableaux yöntemi
Mantık Programlama
Referanslar
^ Wang, Pei "Deneyim Semantiği Temeli istihbarat için, Teknik rapor 96 "http: // wwwcogsciindianaedu / CRCC 13 Nisan 2015 tarihinde alındı Harici bağlantı | website = help
^ Goertzel, Ben; Iklé, Matthew; Goertzel, Izabela Freire; Heljakka, Ari 2008 Olasılıksal Mantık Ağları: Belirsiz Çıkarım için Kapsamlı Bir Çerçeve Springer Science & amp; Business Media p 42 ISBN 9780387768724
Harici bağlantılar
OWL 2 W3C SW Çalışma Grubu ana sayfasında listelenen sebepler
RDF için SPARQL Sorgu Dili
Tanım Giriş Mantık DL kursu Enrico Franconi, Bilgisayar Bilimleri Fakültesi, Özgür Bolzano Üniversitesi, İtalya
Craig Trim IBM tarafından OWL 20 Anlambilimi kullanarak Çıkarım
Marko Luther, Thorsten Liebig, Sebastian Böhm, Olaf Noppens: Bob'un Çilesi Kimdir ESWC 2009: 66-80
Jurgen Bock, Peter Haase, Qiu Ji, Raphael Volz Kıyaslama ARW2008 OWL Akıl Yürütücüler - Web'de Akıl Yürütme İlerlemesi Çalıştayı: Ölçeklenebilirlik ve Commonsense Haziran 2008
Tom Gardiner, Ian Horrocks, Dmitry Tsarkov Açıklama Mantıksal Akıl Yürütücüler Otomatik Kıyaslama Açıklama Mantık Çalıştayı 2006
OpenRuleBench Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer OpenRuleBench: Kural Motorlarının Performansının Bir Analizi 2009 OpenRuleBench web sitesinde en son kriterler
v
e
Semantik Web
Arka plan
Veritabanları
hypertex t
İnternet
Ontolojiler
Anlamsal ağlar
World Wide Web
Alt konular
Veri Web
Veritabanları
Hyperdata
Bağlantılı veri
Kural tabanlı sistemleri
Uygulamalar
Semantik analitik
Semantik broker
Semantik hesaplama
Semantik haritacı
Semantik eşleştirme
Semantik yayıncılık
Semantik akıl yürütme
Semantik arama
Semantik hizmet odaklı mimari
Semantik wiki
İlgili konular
Toplu zeka
Açıklama mantık
Folksonomy
Coğrafi etiketleme
Bilgi mimarisi
Bilgi çıkarma
Bilgi yönetimi
Bilgi temsil
Kütüphane 20
Metaveri
Zihin haritalama
ODBC
Referanslar
Konu Haritalar
Web 20
Web mühendisliği
Web Science Trust
Standartlar
Sözdizimi ve destekleyici teknolojiler
HTTP
IRI
URI
RDF
üçe
RDF / XML | JSON-LD
Turtle
Notation3
N- Üçlü
TriX W3C standardı yok
RRID
SPARQL
XML
Şemalar, ontolojiler ve kurallar
Ortak mantık
OWL
RDFS
Kural Interc hange Biçim
Semantik Web Kuralı Dil
ALPS
Semantik ek açıklama
eRDF
GRDDL
Mikro veriler
Mikro biçimler
RDFa
SAWSDL
Facebook Platform
Ortak kelimeler
DOAP
Dublin Çekirdek
FOAF
hAtom
hCalendar
hCard
hProduct
hRecipe
hResume
hReview
SIOC
SKOS
v
e
Hesaplanabilir bilgi
Konular ve
kavramlar
İnsan düşünce alfabesi
Otorite kontrolü
Otomatik akıl yürütme
Commonsense bilgisi
Commonsense akıl yürütme
Hesaplanabilirlik
Biçimsel sistem
Çıkarım motoru
Bilgi tabanı
Bilgi tabanlı sistemler
Bilgi mühendisliği
Bilgi edinme
Bilgi gösterimi
Bilgi alma
Kütüphane sınıflandırma
Mantık programlama
Ontoloji
Kişisel bilgi tabanı
Soru cevaplama
Anlamsal akıl yürütme
Öneriler ve
uygulamalar
Zairja
Ars Magna 1300
An Deneme Gerçek Bir Karaktere ve Felsefi Bir Dile Doğru 1688
Matematik oranlandırıcı & amp; Characteristica universalis 1700
Dewey Ondalık Sınıflandırma 1876
Begriffsschrift 1879
Mundaneum 1910
Mantıksal atomizm 1918
Tractatus Logico-Philosophicus 1921
Hilbert'in programı 1920'ler
Eksiklik teoremi 1931
Dünya Beyin 1938
Memex 1945
Genel Sorun Çözücü 1959
Prolog 1972
Cyc 1984
Anlamsal Web 2001
Evi 2007
Wolfram Alpha 2009
Watson 2011
Siri 2011
Bilgi Grafiği 2012
Wikidata 2012
Cortana 2014
Viv 2016
Kurguda Motor Gulliver'in Seyahatleri, 1726
Joe "Joe Adında Bir Mantık", 1946
Kütüphaneci Kar Çöküşü, 1992
Dr Know AI Yapay Zeka, 2001
Suevi Barok Döngüsü, 2003
Ayrıca bakınız: Kurmacadaki mantık makineleri ve kurgusal bilgisayarların listesi


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...