A computationally grounded, weighted doxastic logic

DOI10.1007/S11225-015-9621-4zbMATH Open1367.03052OpenAlexW806899496MaRDI QIDQ310087FDOQ310087

Authors Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta

Publication date 7 September 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://eprints.mdx.ac.uk/19203/1/preprint.pdf

zbMATH Keywords

model checkingmulti-agent systemsdoxastic logic

Mathematics Subject Classification ID

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

Recommendations

• Doxastic logic: a new approach
• Logics of belief over weighted structures
• Weighted versus Probabilistic Logics
• Decidability and expressiveness of recursive weighted logic
• Advances in weighted logics for artificial intelligence
• Weighted logics for artificial intelligence. II.
• Computational Logic in Multi-Agent Systems
• Typology of axioms for a weighted modal logic
• On decidability of recursive weighted logics
• Complete proof systems for weighted modal logic

Cites work

• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Automatic verification of competitive stochastic systems
• Computer Aided Verification
• From statistical knowledge bases to degrees of belief
• Markov Chains
• Markov logic networks
• Matrix iterative analysis
• PRISM-games: a model checker for stochastic multi-player games
• Plausibility measures and default reasoning
• Specifying and reasoning about uncertain agents
• The dining cryptographers problem: Unconditional sender and recipient untraceability

Cited in

(5)

• A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions
• Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
• Advances in weighted logics for artificial intelligence
• Computing Utility from Weighted Description Logic Preference Formulas
• Modelling accuracy and trustworthiness of explaining agents

Describes a project that uses

Uses Software

• PRISM
• MCMAS
• PRISM-games
• mccogwed
• GitHub

This page was built for publication: A computationally grounded, weighted doxastic logic

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