Towards Logical Specification of Statistical Machine Learning

DOI10.1007/978-3-030-30446-1_16MaRDI QIDQ6488980zbMATH OpenFDO

Authors Yusuke Kawamoto

Publication date 14 March 2024

Mathematics Subject Classification ID

Classification and discrimination; cluster analysis (statistical aspects) (62H30) Learning and adaptive systems in artificial intelligence (68T05) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Statistical Epistemic Logic
• A logic of ``black box classifier systems
• Absolute versus probabilistic classification in a logical setting
• scientific article; zbMATH DE number 798660

Cites work

• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 1487488 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• An essay in modal logic
• Defining liveness
• Differential Privacy
• Fairness through awareness
• Formal specification for deep neural networks
• Models of objective chance: an analysis through examples
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Safety verification of deep neural networks
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(2)

• Statistical Epistemic Logic
• Formalizing statistical causality via modal logic

This page was built for publication: Towards Logical Specification of Statistical Machine Learning

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