{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002083577,0.0007259155,0.0006421381,0.0008647842,0.0008591273,0.00217524,0.002252104,0.001109398,0.004504777],"category_scores_gemma":[0.006038308,0.0008346328,0.0009592336,0.0008476409,0.002507392,0.003544975,0.002302775,0.002478751,0.0004741889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001415025,"about_ca_system_score_gemma":0.0009991751,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006103043,"about_ca_topic_score_gemma":0.008208544,"domain_scores_codex":[0.9988249,0.0004295968,0.000120066,0.0001069242,0.0004304194,0.00008811126],"domain_scores_gemma":[0.9973788,0.001928283,0.0001024217,0.000359025,0.0001743982,0.00005713781],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001499835,0.00005856558,0.0007336987,0.0002628057,0.00008269466,0.0003130411,0.0006574906,0.2205407,0.002557456,0.6892853,0.003831143,0.08152714],"study_design_scores_gemma":[0.0000228554,0.000009812711,0.00008054957,0.00002435651,0.00001912009,0.00003307914,0.00006428657,0.4919021,0.001003791,0.5037099,0.003122369,0.000007869155],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01918687,0.0009960952,0.9653415,0.0007562775,0.00005358043,0.00009815958,0.0001468424,0.0006612752,0.01275938],"genre_scores_gemma":[0.468949,0.0008605481,0.5227599,0.0001111822,0.00007701922,0.0001149484,0.0004909844,0.00008755715,0.006548685],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006103043,"threshold_uncertainty_score":0.01506996,"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."}}