{"id":"W1491260230","doi":"10.1007/978-3-642-14977-1_7","title":"Speculative Abductive Reasoning for Hierarchical Agent Systems","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Soundness; Computer science; Abductive reasoning; Completeness (order theory); Non-monotonic logic; Key (lock); Context (archaeology); Reasoning system; Artificial intelligence; Negation; Multi-agent system; Theoretical computer science; Programming language; Computer security","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"],"consensus_categories":[],"category_scores_codex":[0.001287708,0.0007013039,0.0008027076,0.0006782226,0.0005586391,0.0008859439,0.003559057,0.0005933421,0.00001267065],"category_scores_gemma":[0.0003800582,0.0005895972,0.0002748149,0.0004795172,0.001073445,0.0005398036,0.0013637,0.001488482,0.00005066459],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004298775,"about_ca_system_score_gemma":0.0007613927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002830747,"about_ca_topic_score_gemma":0.00006365234,"domain_scores_codex":[0.9952548,0.00005952713,0.0005847698,0.00217833,0.0009383452,0.0009842863],"domain_scores_gemma":[0.9962449,0.0009790615,0.0004252688,0.001466558,0.0005565041,0.0003277204],"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.00001771179,0.0000550735,0.00004149067,0.00008055259,0.00003923308,0.00009611763,0.003117139,0.006231823,0.0003410318,0.8309674,0.00004187505,0.1589706],"study_design_scores_gemma":[0.0005217831,0.0003997046,0.0001225332,0.0005789421,0.00002112742,0.000189054,7.579737e-7,0.5657761,0.001231754,0.4183622,0.01162415,0.001171832],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007334094,0.000722948,0.981463,0.0002828199,0.006280179,0.001043979,0.00001144738,0.0002084035,0.009913948],"genre_scores_gemma":[0.1280798,0.00003854719,0.8660487,0.0005069438,0.003023744,0.0000837714,0.00001446618,0.00007944862,0.002124564],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5595443,"threshold_uncertainty_score":0.9996555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02033359090523424,"score_gpt":0.2588482015765665,"score_spread":0.2385146106713322,"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."}}