A survey of formalisms for representing and reasoning with scientific knowledge

被引:14
作者
Hunter, Anthony [1 ]
Liu, Weiru [2 ]
机构
[1] UCL, Dept Comp Sci, London WC1E 6BT, England
[2] Queens Univ Belfast, Sch Elect Elect Engn & Comp Sci, Belfast BT9 5BN, Antrim, North Ireland
基金
英国工程与自然科学研究理事会;
关键词
INCOMPLETE STATISTICAL INFORMATION; LOGIC; ARGUMENTATION; SYSTEM; ONTOLOGIES; NETWORKS; INTEGRATION; MODELS;
D O I
10.1017/S0269888910000019
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
With the rapid growth in the quantity and complexity of scientific knowledge available for scientists, and allied professionals, the problems associated with harnessing this knowledge are well recognized. Some of these problems are a result of the uncertainties and inconsistencies that arise in this knowledge. Other problems arise from heterogeneous and informal formats for this knowledge. To address these problems, developments in the application of knowledge representation and reasoning technologies can allow scientific knowledge to be captured in logic-based formalisms. Using such formalisms, we can undertake reasoning with the uncertainty and inconsistency to allow automated techniques to be used for querying and combining of scientific knowledge. Furthermore, by harnessing background knowledge, the querying and combining tasks can be carried out more intelligently. In this paper, we review some of the significant proposals for formalisms for representing and reasoning with scientific knowledge.
引用
收藏
页码:199 / 222
页数:24
相关论文
共 50 条
  • [31] A Survey of Knowledge Representation in Service Robotics
    Paulius, David
    Sun, Yu
    ROBOTICS AND AUTONOMOUS SYSTEMS, 2019, 118 : 13 - 30
  • [32] Reasoning in inconsistent stratified knowledge bases
    Benferhat, S
    Dubois, D
    Prade, H
    1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 184 - 189
  • [33] Causal Knowledge and Reasoning in Decision Making
    Hagmayer, York
    Witteman, Cilia
    PSYCHOLOGY OF LEARNING AND MOTIVATION, VOL 67, 2017, 67 : 95 - 134
  • [34] Rough Knowledge Cumularspharolith and Rough Reasoning
    Zheng, Ya-Lin
    INTERNATIONAL CONFERENCE ON MECHANICS, BUILDING MATERIAL AND CIVIL ENGINEERING (MBMCE 2015), 2015, : 645 - 649
  • [35] A Model for Approximate Reasoning about Knowledge
    Li, Jun
    Lan, Qian
    2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 609 - 612
  • [36] Reasoning with reasons: Lewis on common knowledge
    Vromen, Huub
    ECONOMICS & PHILOSOPHY, 2024, 40 (02) : 397 - 418
  • [37] Temporal Bayesian Knowledge Bases - Reasoning about uncertainty with temporal constraints
    Santos, Eugene, Jr.
    Li, Deqing
    Santos, Eunice E.
    Korah, John
    EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (17) : 12905 - 12917
  • [38] A Survey of Deep Learning for Mathematical Reasoning
    Lu, Pan
    Qiu, Liang
    Yu, Wenhao
    Welleck, Sean
    Chang, Kai-Wei
    PROCEEDINGS OF THE 61ST ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2023): LONG PAPERS, VOL 1, 2023, : 14605 - 14631
  • [39] Ontologies and languages for representing mathematical knowledge on the Semantic Web
    Lange, Christoph
    SEMANTIC WEB, 2013, 4 (02) : 119 - 158
  • [40] Combination of visual and symbolic knowledge: A survey in anatomy
    Banerjee, Imon
    Patane, Giuseppe
    Spagnuolo, Michela
    COMPUTERS IN BIOLOGY AND MEDICINE, 2017, 80 : 148 - 157