TOWARD KNOWLEDGE-BASED SPECIFICATIONS OF LANGUAGES

被引：0
|
作者：
MERISTE, M [1 ]
PENJAM, J [1 ]
机构：
[1] ACAD SCI ESSSR, INST CYBERNET, TALLINN 200108, ESTONIA, USSR
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 502卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper the problem of embedding language design and implementation tools in knowledge-based systems is considered. On the one hand, this is the question of using object-oriented paradigm for the specification of a language treated as a collection of classes of concepts. On the other hand, this is the question of employing syntax-directed methods for software construction in knowledge-based systems.
引用
收藏
页码：65 / 76
页数：12
相关论文
共 50 条
  • [1] TOPICS IN KNOWLEDGE-BASED LANGUAGES
    THOMPSON, B
    DR DOBBS JOURNAL, 1988, 13 (04): : 40 - &
  • [2] A note on knowledge-based programs and specifications
    Halpern, JY
    DISTRIBUTED COMPUTING, 2000, 13 (03) : 145 - 153
  • [3] A note on knowledge-based programs and specifications
    Joseph Y. Halpern
    Distributed Computing, 2000, 13 : 145 - 153
  • [4] Toward the knowledge-based enterprise
    Lepratti, R
    Cai, J
    Berger, U
    Weyrich, M
    KNOWLEDGE SHARING IN THE INTEGRATED ENTERPRISE: INTEROPERABILITY STRATEGIES FOR THE ENTERPRISE ARCHITECT, 2005, 183 : 351 - 361
  • [5] Toward the knowledge-based enterprise
    Lepratti, Raffaello
    Cai, Jing
    Berger, Ulrich
    Weyrich, Michael
    IFIP Advances in Information and Communication Technology, 2005, 183 : 351 - 361
  • [6] Synthesis of distributed systems from knowledge-based specifications
    van der Meyden, R
    Wilke, T
    CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, 2005, 3653 : 562 - 576
  • [7] BUILDING KNOWLEDGE-BASED SYSTEMS WITH PROCEDURAL LANGUAGES
    BUTLER, CW
    HODIL, ED
    RICHARDSON, GL
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (02): : 47 - 59
  • [8] Verification and validation of knowledge-based systems with formal specifications
    Meseguer, P
    Preece, AD
    KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 331 - 343
  • [9] KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS
    ROCKMORE, AJ
    ELECTRONIC DESIGN, 1985, 33 (17) : 105 - &
  • [10] Synthesis from knowledge-based specifications (Extended abstract)
    van der Meyden, R
    Vardi, MY
    CONCUR'98: CONCURRENCY THEORY, 1998, 1466 : 34 - 49
12345