ATTRIBUTE-GRAMMAR INTERPRETER FOR INEXACT REASONING

被引：3
|
作者：
PANAYIOTOPOULOS, T
PAPAKONSTANTINOU, G
SGOUROS, NM
机构：
[1] National Technical University of Athens, Electrical Engineering Department, Computer Science Division, Zografou
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1990年 / 32卷 / 05期
关键词：
attribute grammars; inexact reasoning; software engineering; theorem proving; uncertainty;
D O I：
10.1016/0950-5849(90)90004-B
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
An extended attribute-grammar (AG) interpreter is presented, which exhibits both inexact reasoning and full theorem-proving capabilities. Software engineering applications may be faced with the extra benefit of an inexact processing mechanism. The proposed tool allows the properties of AGs, full theorem-proving, and inexact representation and processing to be combined. The procedural and declarative characteristics may be expressed in the AGs' language, with additional calls to user-defined semantic functions, written in the host language. The inexact reasoning method proposed is wide enough to easily incorporate many inexact reasoning schemes. © 1990.
引用
收藏
页码：347 / 356
页数：10
相关论文
共 50 条
  • [41] Grammar reasoning. A friendly start
    Cerruti, Massimo
    ZEITSCHRIFT FUR ROMANISCHE PHILOLOGIE, 2018, 134 (04): : 1231 - 1235
  • [42] Computer network protocol specification with attribute grammar
    Fang, Dingyi
    Ruan Jian Xue Bao/Journal of Software, 1998, 9 (04): : 296 - 300
  • [43] PROTOTYPING BY USING AN ATTRIBUTE GRAMMAR AS A LOGIC PROGRAM
    RIEDEWALD, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 545 : 401 - 437
  • [44] Systematic debugging method for attribute grammar description
    Sassa, M
    Ookubo, T
    INFORMATION PROCESSING LETTERS, 1997, 62 (06) : 305 - 313
  • [45] Towards Attribute Grammar Mining by Symbolic Execution
    Moser, Michael
    Pichler, Josef
    Pointner, Andreas
    2022 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2022), 2022, : 822 - 826
  • [46] Software Process Modelling using Attribute Grammar
    Atan, Rodziah
    Ghani, Abdul Azim Abd.
    Selamat, Mohd Hasan
    Mahmod, Ramlan
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (08): : 273 - 281
  • [47] SENTENCE GENERATOR BASED ON AN ATTRIBUTE GRAMMAR.
    Papakonstantinou, G.
    Angewandte Informatik, Applied Informatics, 1983, 25 (08): : 345 - 347
  • [48] ATTRIBUTE GRAMMAR BASED PROGRAMMING AND ITS ENVIRONMENT
    SHINODA, Y
    KATAYAMA, T
    PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B612 - B620
  • [49] SYNTHESIS OF A SEMANTIC PROCESSOR FROM AN ATTRIBUTE GRAMMAR
    PENYAM, YE
    PROGRAMMING AND COMPUTER SOFTWARE, 1983, 9 (01) : 29 - 39
  • [50] GENERATING A PRODUCTION COMPILER FROM AN ATTRIBUTE GRAMMAR
    FARROW, R
    IEEE SOFTWARE, 1984, 1 (04) : 77 - 93
12345