Argüman teknolojisi - Argument technology

Argüman teknolojisi bir alt alanıdır yapay zeka argümanların ve tartışmaların oluşturulması, belirlenmesi, analizi, gezinmesi, değerlendirilmesi ve görselleştirilmesinde hesaplama tekniklerini uygulamaya odaklanan. Yapay zeka 1980'lerde ve 1990'larda, felsefi teoriler argümanlar modelleme gibi önemli hesaplama zorluklarının üstesinden gelmek için kullanıldı monoton olmayan ve yenilebilir akıl yürütme ve sağlam koordinasyon protokolleri tasarlama çok etmenli sistemler. Aynı zamanda, bilgi işlem mekanizmaları anlambilim nın-nin Argümantasyon çerçeveleri bir muhalefet hesabı sağlamanın bir yolu olarak tanıtıldı[1] çelişkili argümanlar bağlamında inanmanın makul olduğunu hesaplamak için.

Bu temeller yerine getirildiğinde, alan 2000 yılında İskoçya Dağlarında düzenlenen bir atölye çalışmasıyla başlatıldı ve bunun sonucunda argüman filozofları, retorikçiler, hukuk bilimcileri ve AI araştırmacıları tarafından ortaklaşa yazılan bir kitap oldu.[2] O zamandan beri, bölge, Doğal Argümanın Hesaplamalı Modelleri Uluslararası Çalıştayı (CMNA) gibi çeşitli özel etkinlikler tarafından desteklenmektedir.[3] 2001'den beri her yıl çalışan; 2004'ten beri her yıl Çoklu Etmenli Sistemlerde Argüman Üzerine Uluslararası Çalıştay (ArgMAS); Argüman Madenciliği Çalıştayı,[4] 2014'ten beri yıllık ve Hesaplamalı Argüman Modelleri Konferansı (COMMA),[5] 2006'dan beri iki yılda bir. 2010'dan beri alanın da kendi dergisi var, Argüman ve HesaplamaTaylor & Francis tarafından 2016 yılına kadar yayınlanan[6] ve o zamandan beri IOS Press tarafından.[7]

Tartışma teknolojisinin karşı karşıya kaldığı zorluklardan biri, makine tarafından okunabilir terimlerdeki temsil ve altında yatan argüman kavramındaki standartlaşma eksikliğiydi. Kılavuz için birçok farklı yazılım aracı argüman analizi özellikle, argümantasyon yapısını kavramanın farklı altta yatan yollarını yansıtan argümanları temsil etmenin kendine özgü ve geçici yolları geliştirdi.[8] Bu standardizasyon eksikliği, araçlar arasında veya araştırma projeleri arasında hiçbir değişim olmadığı ve oluşturulması genellikle pahalı olan veri kaynaklarının çok az yeniden kullanılması anlamına geliyordu. Bu sorunu çözmek için, Bağımsız Değişken Değişim Biçimi argümantasyonun minimal ortak özelliklerini yakalayan ve daha sonra farklı ortamlarda genişletilebilecek ortak bir standart oluşturmak için yola çıktı.

Argment teknolojisinin çeşitli alanlarda uygulamaları vardır: Eğitim, sağlık hizmeti, politika oluşturma, ve risk yönetimi ve çeşitli alt alanlara, metodolojilere ve teknolojilere sahiptir.[9]

Teknolojiler

Argüman asistanı

Ayrıca bakınız: Prova asistanı ve Bilgisayar destekli kanıt

Argüman asistanı, kullanıcıları yazarken destekleyen bir yazılım aracıdır. argümanlar. Argüman yardımcıları, kullanıcıların, diyalog bağlamları dahil olmak üzere içerik oluşturmasına, birbirlerinden içeriği incelemesine yardımcı olabilir. Web hizmetlerine ek olarak, bu tür işlevler şu yolla sağlanabilir: eklenti mimarileri kelime işlemci yazılımı veya Web tarayıcıları. İnternet forumları örneğin, bu tür yazılım araçları ve hizmetleri ile büyük ölçüde geliştirilebilir.

Argüman bloglama

Ayrıca bakınız: Argüman Web

ArguBlogging, kullanıcılarının web sayfalarındaki köprü metni bölümlerini kendi internet tarayıcıları ve seçilen içeriğe katılıp katılmamak, argümanlar onlara bloglar ile bağlantılı argüman verileri.[10] Bir yer imi, işlevsellik eklemek internet tarayıcıları ve gibi blog platformlarıyla birlikte çalışarak Blogger ve Tumblr.[10]

Bağımsız değişken eşleme

Ana makale: Argüman haritası

Argüman haritaları görseller şematik temsilleri argümanlar. Böyle görsel diyagramlar kolaylaştırmak diyagramatik akıl yürütme ve kişinin bilgiyi hızlı ve kolay bir şekilde kavrama ve anlamlandırma becerisini geliştirmek. Argüman haritaları temsil etmek için yapılandırılmış, yarı resmi çerçeveler sağlayabilir argümanlar interaktif kullanarak görsel dil.

Argüman madenciliği

Ana makale: Argüman madenciliği

Argüman madenciliği veya argümantasyon madenciliği, içinde bir araştırma alanıdır. doğal dil işleme alan. Amacı argüman madenciliği bilgisayar programları yardımıyla doğal dil metninden argümantasyon yapılarının otomatik olarak çıkarılması ve tanımlanmasıdır.

Bağımsız değişken arama

Ana makale: Arama motoru (bilgi işlem)

Bağımsız değişken arama motoru, bir konuya kullanıcı sorgusu olarak verilen ve konu için ve konu aleyhine bir argüman listesi döndüren bir arama motorudur.[11] Bu tür motorlar, bilgili karar verme veya tartışmacıların hazırlanmasına yardımcı olmak için tartışmalar.

Otomatik tartışmalı kompozisyon puanlama

Ana makale: Otomatik makale puanlama

Otomatik tartışmalı kompozisyon puanlama sistemlerinin amacı, öğrencilerin argüman içeriklerinin kalitesini ölçerek yazma becerilerini geliştirmelerine yardımcı olmaktır.[12][13]

Tartışma teknolojisi

Ana makale: Tartışma teknolojisi

Tartışma teknolojisi, insan-makine etkileşimine odaklanır ve özellikle tartışmayı destekleyen, izleyen ve meşgul eden sistemler sağlar. Tartışma teknolojisinin en yüksek profilli örneklerinden biri IBM'in Proje Tartışmacısı Bu, komut dosyalı iletişimi çok büyük ölçekli haber makaleleri işlemeyle birleştirerek anında argümanları belirlemek ve oluşturmak için rekabetçi tartışma ayarı. Tartışma teknolojisi ayrıca, tipik olarak aşağıdaki tekniklerin kullanıldığı, tartışmalara içgörü sağlamayı amaçlayan araçları da kapsar. veri bilimi. Bu analizler hem akademik hem de[14] ve ticari[15] ayarlar.

Karar destek sistemi

Ana makaleler: Karar destek sistemi ve Akıllı karar destek sistemi

Argüman teknolojisi geliştirebilir Karar Destek Sistemleri ve akıllı karar destek sistemleri.

Etik karar destek sistemi

Ayrıca bakınız: Ahlaki muhakeme

Etik karar destek sistemi, karar destek sistemi içindeki kullanıcıları destekleyen ahlaki muhakeme ve karar verme.[16][17]

Hukuki karar destek sistemi

Ana makaleler: Hukuk bilirkişi sistemi ve Yapay zekanın hukuk bilişimine uygulamaları

Hukuki karar destek sistemi, karar destek sistemi yasal muhakemede kullanıcıları destekleyen ve karar verme.

Açıklanabilir yapay zeka

Ana makaleler: Açıklanabilir yapay zeka, Argüman § Açıklamalar, ve Açıklama

Açıklanabilir veya şeffaf yapay zeka sistem bir yapay zeka eylemleri insanlar tarafından kolayca anlaşılabilen sistem.

Akıllı eğitim sistemi

Ana makale: Akıllı eğitim sistemi

Bir akıllı eğitim sistemi genellikle insan bir öğretmenin müdahalesini gerektirmeden, öğrencilere anında ve özelleştirilmiş talimat veya geri bildirim sağlamayı amaçlayan bir bilgisayar sistemidir. Tartışma teknolojisi ve akıllı eğitim sistemlerinin kesişimi, eleştirel düşünme, tartışma,[18] etik[19] yasa,[20] matematik,[21] ve felsefe.

Hukuk bilirkişi sistemi

Ana makale: Hukuk bilirkişi sistemi

Bir hukuk bilirkişi sistemi alana özgüdür uzman sistem o kullanır yapay zeka taklit etmek karar verme alanında uzman bir insanın yetenekleri yasa.

Makine etiği

Ana makale: Makine etiği
Ayrıca bakınız: Ahlaki muhakeme

Makine etiği ahlakının bir parçasıdır yapay zeka yapay olarak zeki varlıkların ahlaki davranışlarıyla ilgilenir. İnsanlar ahlaki ve ahlaki davranışla ilgili olarak tartıştıkça, argüman makine etiği sistemlerinin bir bileşeni olarak düşünülebilir ve ahlaki muhakeme bileşenleri.

Prova asistanı

Ana makaleler: Prova asistanı ve Bilgisayar destekli kanıt

İçinde bilgisayar Bilimi ve matematiksel mantık bir kanıt asistanı veya etkileşimli teorem kanıtlayıcı, geliştirilmesine yardımcı olacak bir yazılım aracıdır. resmi kanıtlar insan-makine işbirliği ile. Bu, bir tür etkileşimli prova editörü veya başka bir arayüz bir insanın aramaya rehberlik edebileceği kanıtlar ayrıntıları içinde saklanır ve bazı adımlar, bir bilgisayar.

Referanslar

  1. ^ Prakken Henry (2014). "Yapılandırılmış argümantasyon için ASPIC + çerçevesi: bir eğitim". Argüman ve Hesaplama. 5 (1): 31–62.
  2. ^ Reed, C. & Norman, T.J. (eds) Argümantasyon Makineleri. Kluwer, 2003.
  3. ^ "Doğal Argümanın Hesaplamalı Modelleri". www.cmna.info.
  4. ^ Örneğin: "6. Argüman Madenciliği Çalıştayı Bildirileri - ACL Anthology". www.aclweb.org. Hesaplamalı Dilbilim Derneği. Ağustos 2019. Alındı 7 Aralık 2020.
  5. ^ "Hesaplamalı Argüman Modelleri konferans serisi". www.comma-conf.org.
  6. ^ "Argüman ve Hesaplama Dergisi". www.tandf.co.uk. Arşivlenen orijinal 2012-02-21 tarihinde.
  7. ^ "Argüman ve Hesaplama Dergisi". www.iospress.nl.
  8. ^ Scheuer, O .; Loll, F .; Pinkwart, N .; McLaren, B.M. "Bilgisayar destekli argümantasyon: Son teknolojinin gözden geçirilmesi". Bilgisayar Destekli İşbirliğine Dayalı Öğrenme. 5 (1): 43–102.
  9. ^ Bex, Floris J .; Grasso, Floriana; Green, Nancy L .; Paglieri, Fabio; Reed, Chris, editörler. (2017). Argüman Teknolojileri: Teori, Analiz ve Uygulamalar. Mantık ve argümantasyon çalışmaları. 68. Londra: Üniversite Yayınları. ISBN  9781848902183. OCLC  1012498399.
  10. ^ a b Bex, Floris J .; Snaith, Mark; Lawrence, John; Reed, Chris (Mart 2014). "ArguBlogging: argüman web için bir uygulama" (PDF). Web Semantiği: World Wide Web'de Bilim, Hizmetler ve Aracılar. 25: 9–15. doi:10.1016 / j.websem.2014.02.002.
  11. ^ Aharoni, Ehud; et al. (2014). "Talep üzerine hak talepleri - devasa külliyatta bağlama bağlı iddiaların otomatik olarak algılanması ve kutupsal tanımlanması için bir sistemin ilk gösterimi". COLING 2014 Bildirileri: 6–9.
  12. ^ Stab, Christian; Gurevych, Iryna (2014). "İkna edici denemelerde tartışmacı söylem yapılarının belirlenmesi". EMNLP 2014 Bildirileri: 46–56. doi:10.3115 / v1 / D14-1006.
  13. ^ Yeşil, Nancy L. (2013). "Öğrenci argümanlarının otomatik analizine doğru". Lane, H. Chad; Yacef, Kalina; Mostow, Jack; Pavlik, Philip (editörler). Eğitimde yapay zeka: 16. uluslararası konferans, AIED 2013, Memphis, TN, ABD, 9-13 Temmuz 2013: bildiriler. Bilgisayar bilimlerinde ders notları. 7926. Berlin; New York: Springer-Verlag. sayfa 591–594. doi:10.1007/978-3-642-39112-5_66. ISBN  9783642391118.
  14. ^ Örneğin: "Argüman Analizi". analytics.arg.tech. Alındı 11 Ağustos 2020.
  15. ^ Örneğin: "Kialo". www.kialo.com. Alındı 11 Ağustos 2020.
  16. ^ Mancherjee, Kevin; Sodan, Angela C. (Eylül 2004). "Bilgisayar araçları etik karar vermeyi destekleyebilir mi?" ACM SIGCAS Bilgisayarları ve Toplum. 34 (2): 1. CiteSeerX  10.1.1.61.7160. doi:10.1145/1052791.1052792.
  17. ^ Mathieson, Kieran (Aralık 2007). "Etik karar desteği tasarım bilimine doğru". İş Etiği Dergisi. 76 (3): 269–292. doi:10.1007 / s10551-006-9281-4. JSTOR  25075516.
  18. ^ Loll, Frank; Pinkwart, Niels; Scheuer, Oliver; McLaren, Bruce M. (Temmuz 2009). "Tartışma için esnek bir akıllı eğitim sistemine doğru". 2009 Dokuzuncu IEEE Uluslararası İleri Öğrenme Teknolojileri Konferansı, 15–17 Temmuz 2009. IEEE. s. 647–648. CiteSeerX  10.1.1.329.6574. doi:10.1109 / ICALT.2009.138.
  19. ^ Goldin, İlya M .; Ashley, Kevin D .; Pinkus, Rosa L. (Mayıs 2001). "PETE ile tanışın: etik öğretimi için bilgisayar desteği". ICAIL '01: 8. Uluslararası Yapay Zeka ve Hukuk Konferansı Bildirileri. New York: Bilgi İşlem Makineleri Derneği. s. 94–98. CiteSeerX  10.1.1.19.6676. doi:10.1145/383535.383546. ISBN  978-1-58113-368-4.
  20. ^ Ashley, Kevin D .; Aleven Vincent (Mayıs 1991). "Hukuk öğrencilerine vakalarla tartışmayı öğretmek için akıllı bir eğitim sistemine doğru". ICAIL '91: 3. Uluslararası Yapay Zeka ve Hukuk Konferansı Bildirileri. New York: Bilgi İşlem Makineleri Derneği. s. 42–52. doi:10.1145/112646.112651. ISBN  978-0-89791-399-7.
  21. ^ Ritter, Steven; Anderson, John R .; Koedinger, Kenneth R .; Corbett Albert (Nisan 2007). "Bilişsel öğretmen: matematik eğitiminde uygulamalı araştırma" (PDF). Psikonomik Bülten ve İnceleme. 14 (2): 249–255. CiteSeerX  10.1.1.158.4283. doi:10.3758 / bf03194060. PMID  17694909.