A PDL-Like Logic of Knowledge Acquisition

DOI10.1007/978-3-540-74510-5_17MaRDI QIDQ3499772zbMATH OpenOpenAlexFDO

Authors Bernhard Heinemann

Publication date 3 June 2008

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74510-5_17

zbMATH Keywords

knowledge acquisitionlogics of knowledgepropositional dynamic logictopological reasoning

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• The logic of knowledge bases
• Acquisition of Terminological Knowledge in Probabilistic Description Logic
• Interpreting logics of knowledge in propositional dynamic logic
• Toward effective knowledge acquisition with first-order logic induction.
• Remarks on knowledge representation using predicate logic
• A kind of logical compilation for knowledge bases
• scientific article; zbMATH DE number 1418279
• About knowledge and inference in logical and relational learning
• scientific article; zbMATH DE number 549989

Cited in

(4)

• Reverse public announcement operators on expanded models
• Toward effective knowledge acquisition with first-order logic induction.
• Updating knowledge using subsets
• Epistemic conditionals and the logic of subsets

This page was built for publication: A PDL-Like Logic of Knowledge Acquisition

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