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 条
  • [21] A model of inexact reasoning in mechanical design evaluation
    Wu, HZ
    Wang, F
    Zhang, X
    He, N
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (04): : 357 - 362
  • [22] Note on a three-dimensional shape grammar interpreter
    Piazzalunga, U
    Fitzhorn, P
    ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 1998, 25 (01): : 11 - 30
  • [23] General Shape Grammar Interpreter for Intelligent Designs Generations
    Trescak, T.
    Rodriguez, I.
    Esteva, M.
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS, IMAGING AND VISUALIZATION, 2009, : 235 - +
  • [24] AN INTERPRETER OF ATTRIBUTE GRAMMARS AND ITS APPLICATION TO WAVEFORM ANALYSIS
    PAPAKONSTANTINOU, GK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (03) : 279 - 283
  • [25] Reasoning about Attribute Architectures
    Im, Tacksoo
    McGregor, John D.
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 165 - 171
  • [26] COMPLEXITY CHARACTERIZATIONS OF ATTRIBUTE GRAMMAR LANGUAGES
    EFREMIDIS, S
    PAPADIMITRIOU, CH
    SIDERIS, M
    INFORMATION AND COMPUTATION, 1988, 78 (03) : 178 - 186
  • [27] USING AN ATTRIBUTE GRAMMAR AS A LOGIC PROGRAM
    RIEDEWALD, G
    LAMMEL, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 161 - 179
  • [28] Silver: an Extensible Attribute Grammar System
    Van Wyk, Eric
    Bodin, Derek
    Gao, Jimin
    Krishnan, Lijesh
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 203 (02) : 103 - 116
  • [29] Document recognition: An attribute grammar approach
    Viswanathan, M
    Green, E
    Krishnamoorthy, MS
    DOCUMENT RECOGNITION III, 1996, 2660 : 101 - 111
  • [30] ATTRIBUTE GRAMMAR BASED THEOREM PROVER
    PANAYIOTOPOULOS, T
    PAPAKONSTANTINOU, G
    STAMATOPOULOS, G
    INFORMATION AND SOFTWARE TECHNOLOGY, 1988, 30 (09) : 553 - 560
12345