{"id":"W2020273103","doi":"10.1016/j.knosys.2013.06.017","title":"Model checking epistemic–probabilistic logic using probabilistic interpreted systems","year":2013,"lang":"en","type":"article","venue":"Knowledge-Based Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Probabilistic logic; Probabilistic argumentation; Probabilistic CTL; Subjective logic; Probabilistic relevance model; Theoretical computer science; Probabilistic logic network; Epistemic modal logic; Model checking; Artificial intelligence; Probabilistic analysis of algorithms; Description logic; Autoepistemic logic; Multimodal logic","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00231983,0.0005646253,0.0007827933,0.0004207894,0.0003412917,0.001041473,0.002021853,0.0003502196,0.000009227278],"category_scores_gemma":[0.0009861196,0.0005091273,0.0001951132,0.001084388,0.0002090995,0.0009961189,0.0003103388,0.0004296618,0.0004732312],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001210696,"about_ca_system_score_gemma":0.0005601196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003791444,"about_ca_topic_score_gemma":0.000007668909,"domain_scores_codex":[0.9947855,0.001186571,0.001420922,0.001163434,0.0005673273,0.0008762391],"domain_scores_gemma":[0.995351,0.0004673945,0.0006844472,0.002077891,0.00108393,0.0003353898],"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.00001599935,0.0002794516,0.0002740572,0.003145634,0.00005360659,0.000006959556,0.0012806,0.7211522,0.01435259,0.2576061,0.0003409759,0.001491834],"study_design_scores_gemma":[0.0004037389,0.00009482747,0.0000470786,0.001094468,0.00003155882,0.00005659611,0.0001000168,0.9938313,0.0003377451,0.003286436,0.0001198251,0.0005964045],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02363436,0.001421096,0.963582,0.00005118434,0.003752193,0.002734413,0.00000948408,0.0008187552,0.003996491],"genre_scores_gemma":[0.8864315,0.000001421607,0.1120651,0.00003658102,0.0002138397,0.0007844555,0.000009542871,0.0000610968,0.0003965646],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8627971,"threshold_uncertainty_score":0.9999955,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08759247830217692,"score_gpt":0.3131849673923068,"score_spread":0.2255924890901299,"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."}}