{"id":"W2962953962","doi":"","title":"Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid.","year":2009,"lang":"en","type":"article","venue":"","topic":"Digital and Cyber Forensics","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Programming language; Context (archaeology); Focus (optics); Event (particle physics); Process (computing); State (computer science); Finite-state machine; Theoretical computer science; Natural language processing; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.00009180037,0.0001201796,0.0001727138,0.0002602407,0.00003882574,0.0001822158,0.0002061377,0.00003705043,0.000008878766],"category_scores_gemma":[0.000005771321,0.00008578361,0.00006514839,0.002414042,0.00003737822,0.0006872857,0.00004121342,0.00006046701,0.00002371196],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004192575,"about_ca_system_score_gemma":0.00004656688,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003676136,"about_ca_topic_score_gemma":0.0009251431,"domain_scores_codex":[0.9990814,0.000015335,0.0001679284,0.0003102678,0.0001932503,0.0002318683],"domain_scores_gemma":[0.9994354,0.000007994165,0.0000408222,0.0003648866,0.00007013842,0.00008072341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003076191,0.0003942889,0.004741593,0.000006835906,0.0002540789,0.004647576,0.00134206,0.008177648,0.0000424242,0.1630556,0.004443234,0.8128639],"study_design_scores_gemma":[0.0008544723,0.0004821872,0.07423433,0.00001759566,0.0001487165,0.0025725,0.0002538291,0.8980845,0.002966763,0.01922795,0.0005197974,0.000637344],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8154501,0.00001537576,0.1451978,0.001241473,0.00008009488,0.00009936366,0.000001312875,0.0008626728,0.0370518],"genre_scores_gemma":[0.975369,0.000001158942,0.02370758,0.0004240466,0.00001397353,0.000002119732,0.000004988627,0.000002968777,0.0004741712],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8899069,"threshold_uncertainty_score":0.3498154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007325505482660768,"score_gpt":0.2256114202104475,"score_spread":0.2182859147277867,"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."}}