Yapay zeka modelleri ve platformları
Araştırmacılar Denklemleri Resimlere Dönüştürebilen Araç Geliştirdi

Carnegie Mellon Üniversitesi’ndeki araştırmacılar, matematikteki soyut kavramları yazılım aracılığıyla resimlere ve şemalara dönüştürebilen bir araç geliştirdiler.
Bu işlem, kullanıcıların normal matematiksel ifadeleri yazması ve ardından yazılımın bunları resimlere dönüştürmesiyle gerçekleşir. Bu projedeki önemli gelişmelerden biri, ifadelerin temel işlevler olması gerekmemesidir – Örneğin, bir grafik hesap makinesi gibi. Bunun yerine, çeşitli matematik alanlarından gelen karmaşık ilişkiler olabilir.
Penrose
Araştırmacılar, bu aracı Penrose olarak adlandırdılar ve matematikçi ve fizikçi Roger Penrose’dan esinlendiler. Penrose, karmaşık matematiksel ve bilimsel fikirleri şemalar ve çizimler aracılığıyla kullanmasıyla bilinir.
Penrose, araştırmacılar tarafından SIGGRAPH 2020 Bilgisayar Grafikleri ve Etkileşimli Teknikler Konferansı’nda sunulacak. Konferans bu yıl COVID-19 salgını nedeniyle sanal olarak düzenlenecek.
Keenan Crane, bilgisayar bilimi ve robotik alanında yardımcı doçent.
“Bazı matematikçiler, el ile güzel şemalar çizmekte yetenekli olabilir, ancak tahta silindiğinde bunlar kaybolur” dedi Crane. “Bu ifade gücünü herkesin kullanımına açmak istiyoruz.”
Şemalar, teknik iletişim araçlarında çok kullanılmaz, çünkü bunları üretmek için gereken yüksek beceri ve zahmetli iş nedeniyle. Bunu aşmak için, Penrose aracı, uzmanların sistemi kodlamalarına ve diğer kullanıcıların matematiksel dil kullanarak buna erişmelerine olanak tanır. Tüm bunlar, bilgisayarın çoğu işi yapması anlamına gelir.
Katherine Ye, Bilgisayar Bilimi Bölümü’nde doktora öğrencisi.
“İnsanlar matematiksel fikirleri nasıl resimlere çevirir?” diye sordu Ye. “Sistemimizin sırrı, insanların bu çevirme sürecini bilgisayara kolayca ‘açıklamalarına’ olanak tanımak, böylece bilgisayarın resmin geri kalanını yapması.”
İşlem
Bilgisayar, kullanıcıların matematiksel nesneleri nasıl görselleştirmek istediklerini öğrenir – Örneğin, bir ok veya bir nokta – ve ardından birden fazla şema oluşturur. Kullanıcı, bu şemalardan birini seçer ve düzenler.
Crane’a göre, matematikçiler, ekibin geliştirdiği özel programlama dilini öğrenmekte zorlanmayacaklar.
“Matematikçiler, notasyon konusunda çok seçici olabilir” dedi. “Onlara istediği notasyonu tanımlama izni veriyoruz, böylece kendilerini doğal olarak ifade edebilirler.”
Penrose, daha büyük bir şeyin adımlarından biri olarak görülüyor.
“Görümüz, kütüphaneden eski bir matematik kitabını alabilmek, bilgisayara koyabilmek ve güzel bir şekilde resimlenmiş bir kitap elde edebilmek – böylece daha fazla insan anlayabilsin” dedi Crane.
Penrose’u geliştiren ekip, ayrıca Nimo Ni ve Jenna Wise’i içeriyordu; bunlar, CMU’nun Yazılım Araştırma Enstitüsü’nde (ISR) doktora öğrencileridir. Ayrıca Jonathan Aldrich, ISR’de profesör; Joshua Sunshine, ISR’de kıdemli araştırma görevlisi; Max Krieger, bilişsel bilim alanında lisans öğrencisi; ve Dor Ma’ayan, Technion-İsrail Teknoloji Enstitüsü’nde eski yüksek lisans öğrencisi.
Araştırma, Ulusal Bilim Vakfı, Savunma İleri Araştırma Projeleri Ajansı, Sloan Vakfı, Microsoft (MSFT ) Araştırma ve Packard Vakfı tarafından desteklenmiştir.












