Contextual reasoning distilled

被引:59
作者
Benerecetti, M
Bouquet, P
Ghidini, C
机构
[1] Univ Trent, Dip Informat & Studi Aziendali, Trento, Italy
[2] Manchester Metropolitan Univ, Dept Comp & Masth, Manchester M1 5GD, Lancs, England
关键词
contextual reasoning; dimensions of knowledge representation; multicontext systems;
D O I
10.1080/09528130050111446
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the box, we firstly show that the mechanisms of contextual reasoning proposed in the literature can be classified into three general forms (called localized reasoning, push anti pop, and shifting). Secondly, we provide a justification of this classification, by showing that each mechanism corresponds to operating on a fundamental dimension along which context dependent representations may vary (namely, partiality approximation and perspective). From the previous analysis, we distill two general principles of a logic of contextual reasoning. Finally, we show that these two principles can be adequately formalized in the framework of MultiContext Systems. In the last part of the paper, we provide a practical illustration of the ideas discussed in the paper by formalising a simple scenario, called the Magic Box problem.
引用
收藏
页码:279 / 305
页数:27
相关论文
共 44 条
[1]  
Akman V, 1996, AI MAG, V17, P55
[2]  
[Anonymous], 1997, COMPANION PHILOS LAN
[3]  
[Anonymous], 1990, FORMALIZING COMMON S
[4]  
[Anonymous], 1996, LABELLED DEDUCTIVE S
[5]  
Bar-Hillel, 1954, MIND, V63, P359, DOI DOI 10.1093/MIND/LXIII.251.359
[6]  
BARWISE J, 1986, CONDITIONALS, P21
[7]  
Barwise Jon., 1983, SITUATIONS ATTITUDES
[8]  
Benerecetti M, 1998, LECT NOTES ARTIF INT, V1480, P62, DOI 10.1007/BFb0057435
[9]  
Bouquet P., 1995, Fundamenta Informaticae, V23, P247
[10]  
BOUQUET P, 940613 IRST