Intensional logic and epistemic independency of intelligent database agents

CITES Agarwood experts group meeting

Zoran Majkic

Others  :  http://CEUR-WS.org/Vol-130/Majkic.pdf
PID  :  49964

来源: CEUR

【 摘 要 】

In the typical Web applications each intelligent database agent can be defined as a Knowledge system (KS) with a global ontology, which integrates a number of source data distributed in Web by traditional extensional mappings, and must be robust enough in order to take in account the incomplete and locally inconsistent information of its sources. The traditional extensional semantics for mappings between the different KSs destroys the epistemic independence of KSs: the beliefs of other KSs are forced into a local knowledge of a given KS, so that its own belief depends directly and automatically from them. Actually we want to find a kind of semantics for external mappings between KSs which is less strong w.r.t. the internal KS’s (extensionally based) database mappings. These philo- sophical considerations motivate the need of a new, alternative semantic charac- terization, based not on the extension but on the meaning of concepts used in the mappings between KSs.