Towards Logical Specification of Statistical Machine Learning

DOI10.1007/978-3-030-30446-1_16MaRDI QIDQ6488980FDOQ6488980

Authors: Yusuke Kawamoto 

Publication date: 14 March 2024

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

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)

Cites Work

• Differential Privacy
• Fairness through awareness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• An essay in modal logic
• Defining liveness
• Title not available (Why is that?)
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Safety verification of deep neural networks
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Formal specification for deep neural networks
• Models of objective chance: an analysis through examples

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)