{"id":"W2311043595","doi":"","title":"A consistency-based system for knowledge base merging","year":2006,"lang":"en","type":"dissertation","venue":"Summit (Simon Fraser University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Simon Fraser University","keywords":"Knowledge base; Consistency (knowledge bases); Merge (version control); Belief revision; Computer science; Vocabulary; Propositional calculus; Problem solver; Base (topology); Theoretical computer science; Weak consistency; Knowledge-based systems; Process (computing); Solver; Artificial intelligence; Algorithm; Mathematics; Information retrieval; Strong consistency; Programming language; Software engineering; Linguistics","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.00749489,0.0008554322,0.001340959,0.003438109,0.002655784,0.00537656,0.00445719,0.002425335,0.00717229],"category_scores_gemma":[0.02691171,0.001342089,0.001647821,0.003218033,0.002071314,0.007008868,0.00618007,0.00244645,0.002589655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001912693,"about_ca_system_score_gemma":0.004081998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006373123,"about_ca_topic_score_gemma":0.004639864,"domain_scores_codex":[0.9942344,0.001409515,0.0008848002,0.001247747,0.001908751,0.0003148294],"domain_scores_gemma":[0.9882501,0.005679165,0.0006152139,0.002670191,0.002451917,0.0003333302],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0009993768,0.0004984816,0.003981318,0.0007724916,0.0002614991,0.0009243208,0.001933969,0.0651928,0.01872102,0.2552226,0.02201745,0.6294746],"study_design_scores_gemma":[0.0004629198,0.0001934085,0.0005587794,0.0001517444,0.0003751322,0.0007236521,0.0002432535,0.713327,0.04208053,0.1806383,0.06107019,0.0001750876],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005031663,0.0001411104,0.9816078,0.0002627229,0.0000596724,0.0002078071,0.0002445206,0.01019333,0.002251405],"genre_scores_gemma":[0.0915217,0.000158348,0.902801,0.0002227403,0.00007101522,0.0003100368,0.001094064,0.0005700372,0.003251145],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00749489,"threshold_uncertainty_score":0.03963727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01421867465797648,"score_gpt":0.2194869045890782,"score_spread":0.2052682299311018,"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."}}