On Building a Knowledge Base for Stability Theory

被引:0
|
作者
Rowinska-Schwarzweller, Agnieszka [1 ]
Schwarzweller, Christoph [2 ]
机构
[1] Univ Stuttgart, Chair Display Technol, Allmandring 3B, D-70569 Stuttgart, Germany
[2] Univ Gdansk, Dept Comp Sci, PL-80952 Gdansk, Poland
来源
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included in mathematical repositories. Applications more distant from pure mathematics, however - though based on these theories - often need more detailed knowledge about the underlying theories. In this paper we present an example Mizar formalization from the area of electrical engineering focusing on stability theory which is based on complex analysis. We discuss what kind of special knowledge is necessary and which amount of this knowledge is included in existing repositories.
引用
收藏
页码:427 / +
页数:3
相关论文
共 50 条
  • [22] Teacher education for learner autonomy: building a knowledge base
    Smith, Richard
    Vieira, Flavia
    INNOVATION IN LANGUAGE LEARNING AND TEACHING, 2009, 3 (03) : 215 - 220
  • [23] Building a General Knowledge Base of Physical Objects for Robots
    Basile, Valerio
    Cabrio, Elena
    Gandon, Fabien
    SEMANTIC WEB, ESWC 2016, 2016, 9989 : 8 - 11
  • [24] Building the knowledge base for evidence-informed teaching
    Trapp, Annie
    PSYCHOLOGY LEARNING AND TEACHING-PLAT, 2005, 5 (02): : 95 - 95
  • [25] BUILDING A CUMULATIVE KNOWLEDGE BASE ABOUT DRUGS AND THE WORKPLACE
    GERSTEIN, DR
    GROSSMAN, E
    DRUGS IN THE WORKPLACE : RESEARCH AND EVALUATION DATA, 1989, 91 : 319 - 333
  • [26] EarlyData knowledge base for material decisions in building design
    Schneider-Marin, Patricia
    Stocker, Tanja
    Abele, Oliver
    Margesin, Manuel
    Staudt, Johannes
    Abualdenien, Jimmy
    Lang, Werner
    ADVANCED ENGINEERING INFORMATICS, 2022, 54
  • [27] Hypotheses in urban ecology: building a common knowledge base
    Lokatis, Sophie
    Jeschke, Jonathan M.
    Bernard-Verdier, Maud
    Buchholz, Sascha
    Grossart, Hans-Peter
    Havemann, Frank
    Hoelker, Franz
    Itescu, Yuval
    Kowarik, Ingo
    Kramer-Schadt, Stephanie
    Mietchen, Daniel
    Musseau, Camille L.
    Planillo, Aimara
    Schittko, Conrad
    Straka, Tanja M.
    Heger, Tina
    BIOLOGICAL REVIEWS, 2023, 98 (05) : 1530 - 1547
  • [28] Storybase: Towards Building a Knowledge Base for News Events
    Wu, Zhaohui
    Liang, Chen
    Giles, C. Lee
    PROCEEDINGS OF THE 53RD ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 7TH INTERNATIONAL JOINT CONFERENCE ON NATURAL LANGUAGE PROCESSING (ACL-IJCNLP 2015): SYSTEM DEMONSTRATIONS, 2015, : 133 - 138
  • [29] Re-thinking the knowledge base for the building industry
    Dean, Y
    BUILDING RESEARCH AND INFORMATION, 1998, 26 (04): : 262 - 266
  • [30] Building a situation-based language knowledge base
    Zhou, Q
    Chen, ZS
    COMPUTATIONAL LINGUISTICS AND INTELLIGENT TEXT PROCESSING, 2005, 3406 : 333 - 336