Antik Sanskritçe kelimenin tam anlamıyla “bilgi” anlamına gelen Vedalar, eski Hint alt kıtasında çıkan en eski dört metin olarak anılır. Vedik dininin temelleri Hindu dini önceliğindedir. Dört kişiden en eski olan Rigveda, M.Ö. ikinci binyıl ortasında Sanskritçe olarak kaleme alındı.
Akademisyenler dört tane Vedas olduğuna inanıyorlar: Rigveda, Yajurveda, Samaveda ve Atharvaveda.
Her Veda metni, Samhitas (mantralar ve kutsama), Aranyakas (ritüellerde eski metinler, törenler, fedakarlıklar ve sembolik fedakarlıklar), Brahmanalar (ritüeller, törenler ve fedakarlıklar üzerine yorumlar), Upanishads (meditasyon, felsefe ve manevi bilgiyi tartışan metinler)olmak üzere dört ana metin sınıfına ve alt sınıflara ayrılmıştır.
Hindular Vedalar’ı apauruṣeya olarak düşünürler, bu da “bir insanın değil, süper insan” ve “şahsi olmayan, yazarsız” anlamına gelir.

Şimdi, bilgisayar bilim insanları kutsal Hint metinlerini, yapay zekaya’ya Ahlak öğretebildikleri standartların anahtarını elde etmek için matematiksel mantık yöntemlerini uyguluyor.
TU Wien’deki Mantık ve Hesaplama Enstitüsünden araştırmacılara göre, bir makine bir takım yükümlülükler ve yasaklara uyabilir ve belirli bir davranış türünü kabul edilebilir olup olmadığını otomatik olarak belirlemek için bazı kurallara uyabilir: örneğin bir kaza durumunda etik kararlar vermesi gereken sürücüsüz araba.
Ciabattoni, Avusturya Bilim Akademisi’nden Sanskritist araştırmacısı olan Elisa Freschi ile yakın işbirliği içerisinde araştırma projesini denetler. Amaçları, eski Vedalar’ın Ahlakı yapay zekaya’ya öğretmesine nasıl yardımcı olabileceğini anlamaktır.
Yapay Zekayı öğretmek için Eski Uygarlıklar’a bakmak
TU Wien’den bilim adamları, Vedalar’da bahsedilen yükümlülükleri ve yasakları analiz etmek için titiz bir yaklaşım kullanan, Mimamsa adlı eski bir felsefe okulu olduğunu söylüyor.
Mimamsa bilim adamları, yüzyıllar boyunca sonuç çıkarmak ve belirgin çelişkileri gidermek için kurallar üretmişlerdir.
Agata Ciabattoni, “Bu, bizim gibi mantıkçıların yaptıklarıyla yakından ilgilidir” diyor. “Bu tür kuralları, bilgisayarların da anlayabileceği bir dilde biçimlendirebiliriz.”
Araştırmacılar Vedalar’ın düşmanlarını öldürmeyi amaçlayan bir ritüel olan “Syenaya kurban etme” adlı bir anlaşmazlığa işaret ediyorlar.
Bu, canlı varlıklara zarar vermeme kuralıyla nasıl uyumlu hale getirilebilir?
Agata Ciabattoni, “Bir Hindu için, Vedalar kesinlikle doğru, bu yüzden herhangi bir çelişki olamaz” diyor.
Yedinci yüzyılda, Mimmersa geleneğinin Hintli bir filozofu olan Prabhakara, Vedalar’ın birkaç kuralını mantıklı fakat oldukça karmaşık bir şekilde uygulayarak bu sorunu çözdü.
Bazı araştırmacılar bu gerekçenin doğru olduğunu kabul etmeyi reddetti ve bu anlaşmazlık yüzyıllar boyunca sürdü.
Bu nedenle, Agata Ciabattoni ve ekibi, Mimamsa kurallarını ve Vedik kanunlarını matematiksel formüller haline getirmek için eski Sanskrit uzmanlarıyla yakından çalıştı ve Prabhakara’nın her tarafta haklı olduğunu gösterebildi.
Vedalar’ın reçeteleri göz önüne alındığında, Prabhakaran’ın mantığı, matematiksel mantığın eski bir felsefi tartışmayı nasıl çözebileceğini gösteren mükemmel bir kanıttı.
Ciabattoni, “Bizim için, bu, Indology’yi ve formal mantığı birbirine bağlayarak yeni bir şey öğrenebileceğimizin bir ilk kanıtıydı” diyor. “Ama sonunda, daha fazlasını başarmak istiyoruz. Yasaklama ve yükümlülüklerle uğraşan matematikselsel hassaslığın yararlı mantıklarla nasıl ifade edileceğini anlamak istiyoruz. ”
Makinelere öğretmek için antik Vedaları anlamak
Yeni çalışmadaki uzmanlar tarafından belirtildiği gibi, klasik mantık, doğru veya yanlış olan ifadelerle ilgilidir ve gerçek ifadeleri birleştirmek, doğru olan yeni ifadeler oluşturmak için kullanabileceğimiz kurallar sağlar.
Matematiğin işlevi şu şekilde: eğer doğru bir şeyle başlarsak ve belli kurallar kümesini izlersek, nihai sonuç doğru olur.
Bununla birlikte, TU Wien’deki bilim adamları, ahlakla uğraşmak istiyorsak bu mantığın yararlı olmadığını söylüyor.
Ciabattoni, “Yasaklar ve yükümlülüklerle uğraştığımızda, doğru veya yanlış olan şeyle değil, yapmamamız gereken şeyle ilgilenmiyoruz” diye belirtiyor Ciabattoni.
“Dolayısıyla deontik mantık olarak adlandırılan tamamen farklı bir mantık gereklidir. Tıpkı klasik mantık gibi, belirli bir mantık hattının doğru olup olmadığını kesin olarak belirlememize izin veren matematiksel formüller olarak da ifade edilebilir. “