{"id":"W2229338148","doi":"10.5753/cbie.wcbie.2015.1434","title":"Sistema de Suporte Pedagógico para Resolução de Problemas de Construção de Tabelas-Verdade na Lógica Proposicional","year":2015,"lang":"pt","type":"article","venue":"Anais ... Workshops do Congresso Brasileiro de Informática na Educação","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Canadian Bureau for International Education","keywords":"Propositional calculus; Computer science; Resolution (logic); Logical reasoning; Interface (matter); Truth table; Artificial intelligence; Human–computer interaction; Programming language; Algorithm","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.007444521,0.0009399747,0.0009783421,0.003001912,0.001492629,0.005681991,0.001960222,0.001616745,0.01669562],"category_scores_gemma":[0.02538677,0.0006850783,0.001175543,0.001956784,0.002486099,0.007069169,0.004313133,0.0032595,0.005226275],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001596937,"about_ca_system_score_gemma":0.00402723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002560386,"about_ca_topic_score_gemma":0.00449863,"domain_scores_codex":[0.9948829,0.002581535,0.0003459886,0.0007212118,0.001307097,0.000161281],"domain_scores_gemma":[0.9860129,0.009267717,0.0004527853,0.002452658,0.001507745,0.0003062296],"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.000165295,0.0004221205,0.003843418,0.001109995,0.00004996603,0.0002528848,0.004893467,0.004590057,0.00937231,0.2689565,0.011704,0.69464],"study_design_scores_gemma":[0.0002463134,0.0003419486,0.003612247,0.001232748,0.0001399294,0.001317741,0.003400199,0.1597953,0.02346559,0.4047213,0.401634,0.00009260151],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01479846,0.0007015507,0.9439188,0.001806915,0.0001337187,0.0003127736,0.0002081781,0.007041122,0.03107851],"genre_scores_gemma":[0.1522681,0.001279715,0.8267451,0.0003888996,0.00009147218,0.0004287209,0.0007869187,0.0007648361,0.0172462],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01669562,"threshold_uncertainty_score":0.05585241,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05620190066119537,"score_gpt":0.3150687384663635,"score_spread":0.2588668378051681,"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."}}