MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS

DOI10.1142/S0218488504003119MaRDI QIDQ4673679zbMATH OpenOpenAlexFDO

Authors Churn-Jung Liau

Publication date 9 May 2005

Published in International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218488504003119

zbMATH Keywords

belief changeBoolean matricesnonmonotonic reasoning

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Rough Sets and Current Trends in Computing
• Logics for belief functions on MV-algebras
• Algebras and matrices for annotated logics
• scientific article; zbMATH DE number 3861127
• Algorithms for finding matrix models of propositional calculi
• A study of truth predicates in matrix semantics
• scientific article; zbMATH DE number 2139458
• scientific article; zbMATH DE number 1302500
• Theory matrices (for modal logics) using alphabetical monotonicity
• scientific article; zbMATH DE number 1953858

Cites work

• Belief fusion: Aggregating pedigreed belief states
• Belief Revision From the Point of View of Doxastic Logic
• scientific article; zbMATH DE number 1164011 (Why is no real title available?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional knowledge base revision and minimal change

Cited in

(4)

• The application of the matrix calculus to belief functions.
• scientific article; zbMATH DE number 1953858 (Why is no real title available?)
• Rough Sets and Current Trends in Computing
• Rough set-based logics for multicriteria decision analysis

This page was built for publication: MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS

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