Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

DOI10.1016/J.IJAR.2009.11.002MaRDI QIDQ985144zbMATH OpenOpenAlexFDO

Authors Barbara Dunin-Kȩplicz, Linh Anh Nguyen, Andrzej Szałas

Publication date 20 July 2010

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2009.11.002

zbMATH Keywords

rough setsdynamic logicsimilarity relationapproximate databaseknowledge fusion

Mathematics Subject Classification ID

Knowledge representation (68T30) Database theory (68P15) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• A logic for multiple-source approximation systems with distributed knowledge base
• A modal logic framework for multi-agent belief fusion
• Epistemic logics for information fusion
• Multi-modal nonmonotonic logics of minimal knowledge
• A modal logic for fusing partial belief of multiple reasoners

Cites work

• scientific article; zbMATH DE number 5295720 (Why is no real title available?)
• scientific article; zbMATH DE number 1371306 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 1303630 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1927356 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 2182500 (Why is no real title available?)
• scientific article; zbMATH DE number 1836055 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 927110 (Why is no real title available?)
• A comparison of two types of rough sets induced by coverings
• Approximate databases: a support tool for approximate reasoning
• Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics
• Generalized fuzzy rough approximation operators based on fuzzy coverings
• Generalized rough approximations in Ł\(\Pi \frac{1}{2}\)
• Incomplete information: Structure, inference, complexity
• Introduction to algorithms
• Knowledge representation techniques. A rough set approach.
• Modal logic
• Multimodal logic programming
• Paraconsistent Logic Programs with Four-Valued Rough Sets
• Rough Sets and Current Trends in Computing
• Rough sets and Boolean reasoning
• Rough sets: some extensions
• Rudiments of rough sets
• Towards Approximate BGI Systems

Cited in

(1)

• Converse-PDL with regular inclusion axioms: a framework for MAS logics

This page was built for publication: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q985144)