Evolving Multi-Context Systems

被引:17
作者
Goncalves, Ricardo [1 ]
Knorr, Matthias [1 ]
Leite, Joao [1 ]
机构
[1] Univ Nova Lisboa, Fac Ciencias & Tecnol, CENTRIA, P-1200 Lisbon, Portugal
来源
21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) | 2014年 / 263卷
关键词
D O I
10.3233/978-1-61499-419-0-375
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Managed Multi-Context Systems (mMCSs) provide a general framework for integrating knowledge represented in heterogeneous KR formalisms. However, mMCSs are essentially static as they were not designed to run in a dynamic scenario. In this paper, we introduce evolving Multi-Context Systems (eMCSs), a general and flexible framework which inherits from mMCSs the ability to integrate knowledge represented in heterogeneous KR formalisms, and at the same time is able to both react to, and reason in the presence of commonly temporary dynamic observations, and evolve by incorporating new knowledge. We show that eMCSs are indeed very general and expressive enough to capture several existing KR approaches that model dynamics of knowledge.
引用
收藏
页码:375 / 380
页数:6
相关论文
共 20 条
[11]  
Ellmauthaler S., 2013, OASICS, V35, P19
[12]  
GEBSER M., 2012, KR
[13]  
Gebser M, 2011, LECT NOTES ARTIF INT, V6645, P54
[14]  
Gelfond M., 1991, New Generation Computing, V9, P365, DOI 10.1007/BF03037169
[15]   MULTILANGUAGE HIERARCHICAL LOGICS, OR - HOW WE CAN DO WITHOUT MODAL-LOGICS [J].
GIUNCHIGLIA, F ;
SERAFINI, L .
ARTIFICIAL INTELLIGENCE, 1994, 65 (01) :29-70
[16]   Parametrized Logic Programming [J].
Goncalves, Ricardo ;
Alferes, Jose Julio .
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 :182-194
[17]  
Knorr M., 2013, J LOG COMPUT
[18]  
Lecue F., 2013, IJCAI
[19]  
Roelofsen F, 2005, 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), P558
[20]  
Wang YS, 2013, LECT NOTES COMPUT SC, V8148, P543, DOI 10.1007/978-3-642-40564-8_54