Rule-based languages

被引：0
|
作者：
Victor Vianu
机构：
来源：
Annals of Mathematics and Artificial Intelligence | 1997年 / 19卷
关键词：
Neural Network; Artificial Intelligence; Complex System; Nonlinear Dynamics; Expressive Power;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The paper presents a survey of the main formal rule-based languages and semantics. Both procedural (fixpoint) and declarative (model-theoretic) semantics are defined and discussed, including inflationary and noninflationary fixpoint semantics, and the semi-positive, stratified and well-founded semantics. The relative expressive power and com-plexity of the various languages are provided. Nondeterministic rule-based languages are also discussed, and it is shown how nondeterminism can circumvent some difficulties concerning the expressive power of the deterministic languages. Finally, languages with value invention (in the spirit of object-creation in oodbs) are presented and issues of expressive power specific to such languages are discussed.
引用
收藏
页码：215 / 259
页数：44
相关论文
共 50 条
  • [1] Rule-based languages
    Vianu, V
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 215 - 259
  • [2] Structural Characterizations of Rule-Based Languages
    Kolaitis, Phokion G.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 4 - 4
  • [3] NEGATION IN RULE-BASED DATABASE LANGUAGES - A SURVEY
    BIDOIT, N
    THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 3 - 83
  • [4] A Syntactic Abstraction for Rule-Based Languages with Binding
    Pedersen, Michael
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 277 : 53 - 64
  • [5] Anti-patterns for rule-based languages
    Cirstea, Horatiu
    Kirchner, Claude
    Kopetz, Radu
    Moreau, Pierre-Etienne
    JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (05) : 523 - 550
  • [6] Control structures of rule-based agent languages
    Hindriks, KV
    de Boer, FS
    van der Hoek, W
    Meyer, JJC
    INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 381 - 396
  • [7] TRuML: A Translator for Rule-Based Modeling Languages
    Suderman, Ryan
    Hlavacek, William S.
    ACM-BCB' 2017: PROCEEDINGS OF THE 8TH ACM INTERNATIONAL CONFERENCE ON BIOINFORMATICS, COMPUTATIONAL BIOLOGY,AND HEALTH INFORMATICS, 2017, : 372 - 377
  • [8] EFFICIENT PROCESSING OF DECLARATIVE RULE-BASED LANGUAGES FOR DATABASES
    ZANIOLO, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 1 - 16
  • [9] Composition techniques for rule-based model transformation languages
    Wagelaar, Dennis
    THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2008, 5063 : 152 - 167
  • [10] A Review and Comparison of Rule Languages and Rule-based Inference Engines for the Semantic Web
    Rattanasawad, Thanyalak
    Saikaew, Kanda Runapongsa
    Buranarach, Marut
    Supnithi, Thepchai
    2013 INTERNATIONAL COMPUTER SCIENCE AND ENGINEERING CONFERENCE (ICSEC), 2013, : 1 - 6
12345