{"id":"W2345905986","doi":"10.33011/lilt.v10i.1357","title":"Probabilistic Type Theory and Natural Language Semantics","year":2015,"lang":"en","type":"article","venue":"Linguistic Issues in Language Technology","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":68,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Göteborgs Universitet; Atomic Energy of Canada Limited; Economic and Social Research Council; Vetenskapsrådet; Wenner-Gren Stiftelserna","keywords":"Probabilistic logic; Computer science; Computational semantics; Semantics (computer science); Operational semantics; Artificial intelligence; Formal semantics (linguistics); Natural language processing; Natural language; Well-founded semantics; Denotational semantics; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01101727,0.001018203,0.001715873,0.004328953,0.002610335,0.007045154,0.003098661,0.003382355,0.005114345],"category_scores_gemma":[0.01940278,0.001052329,0.002731836,0.00557476,0.01423416,0.02060414,0.003532595,0.005342865,0.001124811],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004287343,"about_ca_system_score_gemma":0.002795492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002802209,"about_ca_topic_score_gemma":0.001464254,"domain_scores_codex":[0.9913521,0.004054721,0.000698185,0.001101712,0.002353715,0.0004396078],"domain_scores_gemma":[0.9827768,0.01219183,0.001088399,0.001875453,0.001627306,0.0004402536],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004931096,0.00000353519,0.00006475757,0.00003121743,0.000008425605,0.00002502479,0.00009269613,0.001217087,0.00003181568,0.9946666,0.0004898362,0.003364055],"study_design_scores_gemma":[0.000003950834,0.000003387672,0.00002403485,0.00001743403,0.000003833903,0.00003604379,0.00002388109,0.002324055,0.00003263298,0.9938752,0.00364917,0.000006265156],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005625784,0.007062768,0.9500991,0.008705399,0.0007177234,0.00006641,0.0002770202,0.0003169837,0.0271288],"genre_scores_gemma":[0.4623902,0.01433263,0.4963033,0.00362686,0.00553719,0.0006390768,0.0008530948,0.0003772341,0.01594043],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01101727,"threshold_uncertainty_score":0.05826557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008523567500049291,"score_gpt":0.3048502520302477,"score_spread":0.2963266845301984,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}