Kripke semantics for knowledge representation logics
Copyright policy )Kripke semantics for knowledge representation logics
The author shows how Kripke structures are determined by information systems, which then enables us to provide modal logics for knowledge representation in a natural way. She discusses the axiomatization of logics thus defined and extends the Kripke modeling in order to deal with temporal aspects of information or to give reasonings about objects and their properties.
- Polish Academy of Learning Poland
Logic in artificial intelligence, modal logics for knowledge representation, Knowledge representation, Other applications of logic, data analysis logic, Other nonclassical logic, information systems, Modal logic (including the logic of norms), Kripke semantics
Logic in artificial intelligence, modal logics for knowledge representation, Knowledge representation, Other applications of logic, data analysis logic, Other nonclassical logic, information systems, Modal logic (including the logic of norms), Kripke semantics
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).56 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 1% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!