An event-condition-action logic programming language

被引：21

作者：

Alferes, J. J. ^{[1
]}

Banti, F.

Brogi, A.

机构：

[1] Univ Nova Lisboa, CENTRIA, P-1200 Lisbon, Portugal

[2] Univ Pisa, Dipartimento Informat, I-56100 Pisa, Italy

来源：

LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4160卷

关键词：

D O I：

10.1007/11853886_5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Event-Condition-Action (ECA) languages are an intuitive and powerful paradigm for programming reactive systems. Usually, important features for an ECA language are reactive and reasoning capabilities, the possibility to express complex actions and events, and a declarative semantics. In this paper, we introduce ERA, an ECA language based on, and extending the framework of logic programs updates that, together with these features, also exhibits capabilities to integrate external updates and perform self updates to its knowledge (data and classical rules) and behaviour (reactive rules).

引用

页码：29 / 42

页数：14