Kanunları Kodlamak
Son yıllarda yapay zeka yöntemleri ve ontolojik modeller hukuk alanında başarıyla denenmeye başlandı. Bu uygulamalar arasında hukuksal mantık, diller arası ve semantik bilgiye erişim, belge sınıflandırması ve protokol hazırlanmasını sayabiliriz. Bunun için genel olarak tabandan tepeye (analitik) diyebileceğimiz yapay zeka teknikleri ile yukarıdan aşağı (sentetik) olarak tanımlayabileceğimiz ontolojik metodolojiler kombine ediliyor. Bu tekniklerin uygulanmasının başarılı deneyler olarak kalmayıp hayatımıza girmesi için hukuk ontolojilerinin hazırlanması büyük önem taşıyor.
Bilgisayar bilimi ve bilişimde, ontoloji terimi felsefede kullanıldığından biraz daha farklı anlamda, bir kavramlar kümesinin belli bir alan (domain) içinde formal temsili ve bu kavramlar arasındaki ilişkiler olarak tanımlanıyor. Söz konusu alan hakkında mantıksal çıkarımlarda bulunmanın yanısıra bu alanın doğrudan tanımını yapmak için de kullanılabiliyor. Bilginin temsiline gereksinim duyulan yapay zeka, Semantik Web, yazılım mühendisliği, biyomedikal informatik, kütüphane bilimi, bilgi mimarisi uygulamalarında ontolojilerin kullanımı yaygın. Genel olarak bireyler, sınıflar, sıfatlar, ilişkiler, kurallar, kısıtlamalar, aksiyomlar, olaylar gibi bileşenlerden oluşuyor. Hukuksal Bilgi Değişim Formatı LKIF de (Legal Knowledge Interchange Format) hukuk alanında ontolojilerin oluşturulması için, bir AB projesi olan Estrella altında geliştirilmiş Semantik Web tabanlı bir dil.
Aslında hukuk ile bilgisayar bilimi arasındaki paralelliklere bakarsak ve bilgisayar dillerinin mantığı eyleme dönüştürme konusundaki kusursuzluğunu düşünürsek bu iki disiplin arasındaki etkileşime şaşırmamak gerekir. Örneğin William F. Opdyke’ın 1982′de yazdığı Refactoring Object-Oriented Frameworks başlıklı tezinden, nesne tabanlı yazılımların tekrardan yapılandırılması ile ilgili yazdıklarına bakarsak:
- Bir yazılım geliştirirken, önceden hangi sınıfların önemli konseptleri kapsayacağı ve birbirleriyle nasıl ilişkilendirileceğini belirlemek zordur. Tecrübelerin bize gösterdiği, kullanışlı bir sınıf taksonomisi iteratif bir keşif süreci sonunda ortaya çıkar. Uygulama daha iyi anlaşıldıkça sistem tekrardan yapılandırılır ve halihazırdaki sınıflarda yer alan soyutlamaların değiştirilmesi gerekebilir.
- Sistem (yazılım) birkaç iterasyondan sonra olgunluğa ulaştıktan sonra bile, ufak yapısal değişiklikler gerekli olabilir. Yazılım sistemi, sürekli değişen bir ortamda çalışabilmek ve aynı zamanda da kullanıcıların sürekli değişen gereksinimlerini karşılayabilmek zorundadır.
- Yazılımı, projeler arası kullanmaya kalkınca değişik sorunlar ortaya çıkar. Bir sistemin, organizasyon ve diğer faktörler nedeniyle, başka bir proje tarafından kullanılabilmesi için değişik bir şekilde bölümlendirilmelidir. Bu yüzden tekrardan kullanım için de bir miktar tekrardan yapılandırma gerekir.
Yakın zamanda rastgeldiğim bir yazıda Garret Wilson burada koyu ile yazılmış olan proje, yazılım, uygulama ve kullanıcı terimlerini; sırasıyla dava, emsal, konu alanı ve kamu ile değiştirip kanun yazma ile yazılım geliştirme süreçleri arasındaki paralelliğe dikkat çekiyor. Yazıda aynı zamanda prosedür tabanlı programlama ile nesne tabanlı programlamanın hukuktaki karşılıklarının da anlatılması ilginç. Neticede kanunların da birer kod olduğunu ve kullanılan doğal dil nedeniyle içlerinde boşluklar ve yorum yoluyla esnetilme potansiyeli olduğunu düşünürsek araştırmacıların bu konularda kafa patlatmaları şaşırtıcı değil.
Tekrardan Estrella konsorsiyumu tarafından geliştirilen ve yaklaşık 200 kavramdan oluşan LKIF-Core Ontolojisi‘ne dönelim. Bu ontoloji 15 modülden oluşuyor. Herbir modül birbiriyle ilişkili hukuk terimleri dışında günlük kullandığımız kavramları kapsıyor. Bu terimlerin tanımlarını da buradan bulmak mümkün. Bunların en soyutları üst, mekan, mereoloji, zaman, uzay-zaman modülleri içinde tanımlanmış.
LKIF-Core modülleri
Estrella sitesinde, LKIF dışında hukuksal bilgi tabanlı sistemlerle etkileşime girecek uygulama programlama arayüzlerinin de (API) geliştirildiği Estrella platformunu uygulamaya koymak ve test etmek için Avrupa vergi mevzuatı ile iki Avrupa ülkesinin vergi mevzuatlarının modelleneceği ve pilot uygulamalarda kullanılacağı söylenmiş. Şu anda bu çok yakın gözükmese de ilerde kanun tasarılarının anayasaya uygunluğunu yazılım yoluyla anında görebileceğimiz sistemler geliştirilirse bu kimlerin işine yarar, kimleri rahatsız eder o da düşündürücü.
