{"id":"W1546042720","doi":"10.1007/978-3-642-16248-0_43","title":"A Belief Structure for Reasoning about Knowledge","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Lakehead University; University of Regina","funders":"","keywords":"Computer science; Knowledge representation and reasoning; Kripke structure; Modal logic; Representation (politics); Belief structure; Artificial intelligence; Modal; Belief revision; Epistemic modal logic; Normal modal logic; Measure (data warehouse); Natural language processing; Multimodal logic; Theoretical computer science; Description logic; Temporal logic; Data mining","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.004188375,0.00141317,0.001355715,0.003066702,0.002028006,0.00642468,0.003889831,0.003486871,0.009776145],"category_scores_gemma":[0.01210724,0.001461125,0.003140082,0.003471679,0.004469468,0.0159015,0.003801703,0.006324299,0.002352509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00249184,"about_ca_system_score_gemma":0.001341155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005123258,"about_ca_topic_score_gemma":0.004592575,"domain_scores_codex":[0.9966639,0.001212867,0.0004097687,0.0005844766,0.0009249831,0.0002040743],"domain_scores_gemma":[0.994132,0.004126992,0.0002791946,0.0007020115,0.0005651491,0.0001946482],"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.00003857832,0.00002200318,0.000122208,0.0001734695,0.00004800166,0.00007817161,0.000468285,0.003975915,0.0003573761,0.9619199,0.002484465,0.0303116],"study_design_scores_gemma":[0.00001408019,0.00001261129,0.00004901097,0.00005657636,0.00003129794,0.00004482851,0.00005734944,0.01819257,0.0002461867,0.9765449,0.004736826,0.00001388902],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00220483,0.001012507,0.9835587,0.001688609,0.0001305952,0.00007328241,0.0004396467,0.0003301218,0.01056162],"genre_scores_gemma":[0.1982493,0.001856524,0.7875002,0.000869373,0.0005634155,0.0005540221,0.00126209,0.0001575935,0.008987488],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009776145,"threshold_uncertainty_score":0.03270447,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01351968386930969,"score_gpt":0.2556243583943881,"score_spread":0.2421046745250784,"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."}}