{"id":"W1683212044","doi":"10.7551/mitpress/4290.001.0001","title":"The Logic of Knowledge Bases","year":2001,"lang":"en","type":"book","venue":"The MIT Press eBooks","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":176,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Body of knowledge; Knowledge base; Computer science; Open Knowledge Base Connectivity; Knowledge representation and reasoning; Procedural knowledge; Knowledge-based systems; Descriptive knowledge; Predicate logic; Domain knowledge; Knowledge extraction; Argument (complex analysis); Commonsense knowledge; General knowledge; First-order logic; Artificial intelligence; Personal knowledge management; Knowledge management; Description logic; Programming language; Organizational learning; Psychology","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":[],"consensus_categories":[],"category_scores_codex":[0.0004352382,0.0002446878,0.0003204022,0.00003669974,0.0002397088,0.0001227779,0.00367895,0.0001563379,0.000005095008],"category_scores_gemma":[0.00006671829,0.0001163016,0.0001763747,0.00001647075,0.0004736023,0.0000368259,0.0009314429,0.000290277,0.00003277231],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002823415,"about_ca_system_score_gemma":0.0002158129,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006498872,"about_ca_topic_score_gemma":0.00008168303,"domain_scores_codex":[0.9986739,0.0001562623,0.000309228,0.0003009622,0.0002545805,0.000305137],"domain_scores_gemma":[0.9967149,0.001254144,0.0002551963,0.00163075,0.0001102847,0.00003467771],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000009673655,0.00001661243,0.000001619279,0.00005528862,0.0001003602,0.00001616754,0.0008856139,0.000004140165,0.00001249429,0.8004373,0.1079378,0.09052295],"study_design_scores_gemma":[0.0001055291,0.00005148715,0.0000206243,0.0001067673,0.00005141817,0.000020794,0.00001055544,0.0003915174,0.0007093819,0.08313682,0.9152267,0.0001684139],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.000008882002,0.01067482,0.005305866,0.0001682957,0.0006412648,0.0003044567,0.000004078322,0.0001339854,0.9827583],"genre_scores_gemma":[0.0008063402,0.0002870898,0.0003796413,0.0001341431,0.0002221864,0.00003099867,0.000001068943,0.00001550546,0.998123],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8072889,"threshold_uncertainty_score":0.6836465,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06137269150586024,"score_gpt":0.2723438598775051,"score_spread":0.2109711683716449,"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."}}