{"id":"W2911540882","doi":"10.4149/cai_2018_6_1411","title":"Using Probabilistic Temporal Logic PCTL and Model Checking for Context Prediction","year":2018,"lang":"en","type":"article","venue":"Computing and Informatics","topic":"Context-Aware Activity Recognition Systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University of Edmonton; École de Technologie Supérieure; Université du Québec à Montréal","funders":"","keywords":"Probabilistic logic; Probabilistic CTL; Computer science; Model checking; Temporal logic; Context (archaeology); Probabilistic argumentation; Linear temporal logic; Theoretical computer science; Task (project management); Probabilistic relevance model; Artificial intelligence; Property (philosophy); Machine learning; Probabilistic analysis of algorithms","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005012101,0.001445229,0.0009763332,0.002113675,0.0007854627,0.002891375,0.002174256,0.001081716,0.002230175],"category_scores_gemma":[0.01911433,0.0008473457,0.003074395,0.001267073,0.002589379,0.004998816,0.002660309,0.002892721,0.0005174773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002109375,"about_ca_system_score_gemma":0.003788696,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01058882,"about_ca_topic_score_gemma":0.007737676,"domain_scores_codex":[0.9933641,0.002171654,0.0005384572,0.001203349,0.002242843,0.0004796686],"domain_scores_gemma":[0.9870074,0.008633855,0.001170817,0.001858827,0.001148126,0.0001809245],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000448442,0.0002178594,0.005029133,0.0005658228,0.0003036765,0.0008681668,0.0003459189,0.6488063,0.0125836,0.2218973,0.002539843,0.1063939],"study_design_scores_gemma":[0.00002452905,0.00003708318,0.0001421482,0.00003152432,0.00005578664,0.000095154,0.00001558998,0.93858,0.004987319,0.05452248,0.001484808,0.00002353819],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005391521,0.0001277414,0.99196,0.0001770486,0.00003293185,0.00005238299,0.0001426508,0.001367572,0.0007482277],"genre_scores_gemma":[0.457461,0.0004797198,0.5386811,0.0003671813,0.0001200518,0.00033189,0.0008036692,0.000372052,0.001383379],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01058882,"threshold_uncertainty_score":0.02650678,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1038689667459356,"score_gpt":0.3104117797728971,"score_spread":0.2065428130269615,"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."}}