A carregar...
Publicação
Dynamic knowledge representation and its applications
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 424.19 KB | Adobe PDF |
Orientador(es)
Resumo(s)
This paper has two main objectives. One is to show that the dynamic knowledge representation paradigm introduced in [ALP+00] and the associated language LUPS, defined in [APPP99], constitute natural, powerful and expressive tools for representing dynamically changing knowledge. We do so by demonstrating the applicability of the dynamic knowledge representation paradigm and the language LUPS to several broad knowledge representation domains, for each of which we provide an illustrative example. Our second objective is to extend our approach to allow proper handling of conflicting updates. So far, our research on knowledge updates was restricted to a two-valued semantics, which, in the presence of conflicting updates, leads to an inconsistent update, even though the updated knowledge base does not necessarily contain any truly contradictory information. By extending our approach to the three-valued semantics we gain the added expressiveness allowing us to express undefined or noncommittal updates.
Descrição
PRAXIS XXI project MENTAL
Palavras-chave
Dynamic knowledge representation Theory of actions Updates of knowledge bases Generalized logic programs Computational linguistics Semantics Artificial intelligence Logic programming Knowledge based systems ITS applications Knowledge basis Three-valued