التصنيف والاستدلال البيئي في نظرية نوع الاحتمالية مع السجلات

نقترح حساب احتمامي للتناسم الدلالي والتصنيف المصنوع من حيث نظرية النوع الاحتمالية مع السجلات، والبناء على كوبر وآخرون.آل.(2014) وكوبر وآخرون.آل.(2015).نقترح أن نقترح تركيبات نظرية من النوع الاحتمالية من أسلاك بايس، وشبكات بايزيان.العنصر المركزي في هذه المنشآت هو نسخة نظرية من النوع من متغير عشوائي.نوضح هذا الحساب مع لعبة لغة بسيطة تجمع بين التصنيف الاحتمالي للمدخلات الإحصائية مع الاستدلال الاحتمالية (الدلالي).

We propose a probabilistic account of semantic inference and classification formulated in terms of probabilistic type theory with records, building on Cooper et. al. (2014) and Cooper et. al. (2015). We suggest probabilistic type theoretic formulations of Naive Bayes Classifiers and Bayesian Networks. A central element of these constructions is a type-theoretic version of a random variable. We illustrate this account with a simple language game combining probabilistic classification of perceptual input with probabilistic (semantic) inference.