LOOM (ontoloji) - LOOM (ontology)

"PowerLoom" buraya yönlendirir. Mekanize dokuma yöntemi için bkz. güç dokuma tezgahı.
Tezgah
ParadigmaBilgi temsili
Kararlı sürüm
4.0 / 1999
Tarafından etkilenmiş
KIF
Etkilenen
PowerLoom

Tezgah bir Bilgi temsili araştırmacılar tarafından geliştirilen dil yapay zeka araştırma grubu Güney Kaliforniya Üniversitesi 's Bilgi Bilimleri Enstitüsü. Loom projesinin lideri ve Loom'un birincil mimarı Robert MacGregor'du. Araştırma, öncelikle Savunma İleri Araştırma Projeleri Ajansı (DARPA).

Loom bir çerçeve tabanlı dil geleneğinde KL-ONE.[1] KL-ONE'da olduğu gibi, Loom, Loom'daki bildirimleri aşağıdaki ifadelerle eşleyen resmi bir küme teorisi ve Birinci Derece Mantık. Bu biçimsel anlambilim, sınıflandırıcı adı verilen bir tür teorem ispatlama motoru sağlar. Sınıflandırıcı, Loom modellerini analiz edebilir ( ontolojiler ) ve model hakkında çeşitli şeyler çıkarır. Örneğin, sınıflandırıcı yeni sınıflar keşfedebilir veya modeldeki alt sınıf / üst sınıf ilişkilerini değiştirebilir. Sınıflandırıcı, model bildirimindeki tutarsızlıkları da algılayabilir. Bu, çoğu çıkarım motorunun yaptığı gibi uygulama düzeyinde değil de ontoloji düzeyinde, bildirimler düzeyinde analiz yapabilmesi açısından çok güçlü ve oldukça sıra dışı bir yetenektir.

Loom projesinin amacı, aşağıdakiler için gelişmiş araçların geliştirilmesi ve bilgi temsili ve muhakeme yapay zeka alanında. Özellikle, kanıtlanabilir şekilde geçerli alan modellerinden kod üretilmesini sağlamak için.

Loom, akıllı uygulamalar oluşturmak için bir dil ve ortamdır. Kalbinde bir bilgi temsili ve muhakeme Çerçeve tabanlı bir dili otomatik sınıflandırıcı motorla birleştiren sistem. Bildirime dayalı bilgi Loom'da tanımlar, kurallar, gerçekler ve varsayılan kurallardan oluşur. Sınıflandırıcı adı verilen tümdengelimli bir motor, ileri zincirleme, bildirimsel bilgiyi çevrimiçi tümdengelimli sorgu işlemeyi verimli bir şekilde desteklemek için tasarlanmış bir ağda derlemek için anlamsal birleştirme ve nesne yönelimli doğruluk bakım teknolojileri.[2]

Loom sistemi, mantık tabanlı bir model eşleştirici uygular. üretim kuralı tesis ve modele yönelik bir yöntem gönderme olanağı tanımını destekleyen nesne odaklı yöntemler. Loom'un bildirimsel ve prosedürel bileşenleri arasındaki yüksek dereceli entegrasyon, programcıların tek bir uygulamada mantık programlamasını, üretim kuralını ve nesne yönelimli programlama paradigmalarını kullanmasına izin verir. Tezgah, aynı zamanda sıradan bir tezgahın üzerini kaplayan tümdengelimli bir katman olarak da kullanılabilir. CLOS (Ortak Lisp Nesne Sistemi) ağı. Bu modda, kullanıcılar CLOS tabanlı uygulamalarının işlevini veya performansını etkilemeden Loom kullanmanın birçok avantajını elde edebilir.

Loom'un yerini yakın zamanda PowerLoom aldı.[3]

Referanslar

  1. ^ Brachman, Ron (1978). "Bilgiyi Temsil Etmek İçin Yapısal Bir Paradigma". Bolt, Beranek ve Neumann Teknik Raporu (3605).
  2. ^ MacGregor, Robert (Haziran 1991). "Bilgi sunumunu geliştirmek için bir tanım sınıflandırıcı kullanmak". IEEE Uzmanı. 6 (3): 41–46. doi:10.1109/64.87683.
  3. ^ MacGregor, Robert (13 Ağustos 1999). "Geriye Dönük Tezgahta". isi.edu. Bilgi Bilimleri Enstitüsü. Arşivlenen orijinal 25 Ekim 2013. Alındı 10 Aralık 2013.

Dış bağlantılar