{"id":"W2040663698","doi":"10.3166/ria.29.47-81","title":"Représentation et vérification d’un environnement intelligent à partir de spécifications utilisateur en langage naturel","year":2015,"lang":"fr","type":"article","venue":"Revue d intelligence artificielle","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Humanities; Philosophy; Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"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.00178749,0.000692251,0.0004657666,0.001462984,0.001092517,0.006531559,0.0007310542,0.0014573,0.00370849],"category_scores_gemma":[0.003997211,0.000546911,0.001183643,0.001068387,0.002474643,0.005396824,0.001418007,0.001407368,0.001516794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00174247,"about_ca_system_score_gemma":0.001114158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01221006,"about_ca_topic_score_gemma":0.008505177,"domain_scores_codex":[0.9982989,0.0004720255,0.000102792,0.000377039,0.0006370752,0.0001121084],"domain_scores_gemma":[0.9982404,0.0007299761,0.00011517,0.0004328242,0.0004154101,0.00006625633],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0005195249,0.0002052778,0.005829878,0.000489369,0.0001482936,0.001546696,0.008600026,0.07833247,0.05930882,0.5398152,0.01046273,0.2947417],"study_design_scores_gemma":[0.00007935121,0.0001865087,0.004201438,0.0002259187,0.0001919506,0.0009303912,0.002160791,0.3963067,0.05992881,0.2273366,0.3082965,0.0001550835],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07139193,0.0008848284,0.8996335,0.001118541,0.0002554966,0.00005793885,0.00026168,0.003117892,0.0232783],"genre_scores_gemma":[0.4384986,0.001384689,0.5057258,0.0002755546,0.0002566834,0.0001179097,0.001207353,0.001171344,0.05136207],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01221006,"threshold_uncertainty_score":0.02427799,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1074904997593224,"score_gpt":0.3352456520941789,"score_spread":0.2277551523348564,"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."}}