TR
EN
Tümdengelim (dedüksiyon) şeklinde akıl yürütmede şayet öncüller doğru kabul edilirse…
Yazılım tekniğinde ise bir kararın uygulanması şeklinde uslama faaliyeti sabit kurallara…
Böylece yazılım uygulamada hukuki çıkarım yapma tekniğine yaklaşır(1332).…
İlk aktardığımız aşama ile ilgili olarak; aslında birçok hukukçunun da benzer bir…
Maddi olgu bölümünün konusu bozucu veya geciktirici şart şeklinde birden çok sayıda…
Maddi Olgu Bölümü:…
1) Her X kişisi için geçerli olmak üzere (Ön koşul bölümü)…
Hukuki Olgu Bölümü…
1) Belirli X1 kişisi eğer S şartlarını gerçekleştirirse o zaman X1 kişisi belirli…
2) (Bu davranış yükümüne uyulmamasının yaptırımının aynı kural içinde ön koşulda…
Bu tarz bir uygulama tüm kararların kavranmasını (kayıt altına alınmasını) ve önemli…
Daha da somutlaştırırsak yazılımın şablon ve algoritmasında maddi olayın doğru ve…
Ancak bu yaklaşımda tüm kombinasyonların anlamlı olması gerekmez. Yazılım bunların…
Kurala dayalı yaklaşımın içinde sabit değerler olabileceği gibi kesinlik arz etmeyen,…
Yürütülen incelemelerde birden çok inceleme noktası(1346)…
Kurala dayanan sistemler arasında yer alan, algoritma ve çıkarım mekanizmaları kullanan…
Burada “Eğer… sonra” ilişkileri (kuralı) ile insani bilgiler bilgisayarlar için anlaşılır hale getirilir(1351).…
Uzman sistemlerde kullanıcı ile sistem arasındaki iletişimin sağlandığı kullanıcı…
Açıklama birimleri (“Explanation facilities”) ile de uzman sistemin muhakemeyi nasıl yaptığı kullanıcı ile paylaşılarak şeffaflık sağlanır, belli durumlarda kullanıcıyla, örneğin sorular yöneltilerek etkileşime geçilebilir(1357).…
Bu anlamda akıllı sözleşmenin dilinin, daha somut olarak burada yer alan bir bilgisayar…
Doğal dilin programlama diline dönüştürülmesinde yaşanan zorluğun ötesinde hukuk…
Programlama öncesi taslak ve algoritma oluşturma aşamalarında girilecek hukuk verilerinde…
Kurala dayanan yaklaşım karmaşıklık oluşturan modellerde yeni kombinasyonlara karşı…
Bu olumsuzlukları sınırlandırmak için öğretide ve uygulamada karmaşık kural sistemlerinde…
