431 search results - page 9 / 87 » R-calculus: A Logical Approach for Knowledge Base Maintenanc... |
AIEDAM
1999
13 years 8 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...
FUIN
2010
13 years 6 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
WACV
2005
IEEE
14 years 2 months ago
2005
IEEE
Adaptive background modeling/subtraction techniques are popular, in particular, because they are able to cope with background variations that are due to lighting variations. Unfor...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
KR
1998
Springer
14 years 25 days ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...