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 条
  • [31] Network generating attribute grammar encoding
    Hussain, TS
    Browse, RA
    IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, 1998, : 431 - 436
  • [32] SQL TRANSLATION USING AN ATTRIBUTE GRAMMAR
    FRAME, M
    OWRANG, M
    INFORMATION SCIENCES, 1993, 71 (03) : 269 - 287
  • [33] A SENTENCE GENERATOR BASED ON AN ATTRIBUTE GRAMMAR
    PAPAKONSTANTINOU, G
    ANGEWANDTE INFORMATIK, 1983, (08): : 345 - 347
  • [34] Silver: An extensible attribute grammar system
    Van Wyk, Eric
    Bodin, Derek
    Gao, Jimin
    Krishnan, Lijesh
    SCIENCE OF COMPUTER PROGRAMMING, 2010, 75 (1-2) : 39 - 54
  • [35] A POSSIBILITY THEORY BASED APPROACH TO DEFAULT AND INEXACT REASONING
    FARRENY, H
    PRADE, H
    COMMUNICATION AND COGNITION, 1984, 17 (04): : 85 - 99
  • [36] Open Source Graph Transducer Interpreter and Grammar Development Environment
    Bohnet, Bernd
    Wanner, Leo
    LREC 2010 - SEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, 2010, : 211 - 218
  • [37] Fast interpreter for logical reasoning in general game playing
    Swiechowski, Maciej
    Mandziuk, Jacek
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (05) : 1697 - 1727
  • [38] Unambiguity Difficulties in communicating shape grammar rules to a digital interpreter
    Grasl, Thomas
    Economou, Athanassios
    ECAADE 2013: COMPUTATION AND PERFORMANCE, VOL 2, 2013, : 617 - 620
  • [39] Implementing a Description Grammar Interpreter A Notation for Descriptions and Description Rules
    Stouffs, Rudi
    ECAADE 2015: REAL TIME - EXTENDING THE REACH OF COMPUTATION, VOL 1, 2015, : 471 - 480
  • [40] A Technique for Implementing a Computation-Friendly Shape Grammar Interpreter
    Yue, Kui
    Krishnamurti, Ramesh
    DESIGN COMPUTING AND COGNITION '08, 2008, : 61 - 80
12345