University of Cambridge > Talks.cam > Inference Group > Uncertainty Logic

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Uncertainty Logic

Download to your calendar using vCal

If you have a question about this talk, please contact Phil Cowans .

This talk introduces ways of using and extending propositional logic to deal with uncertainty. Uncertain logic states can serve as a powerful tool to reason about gate-level digital circuit designs, without resorting to differential equations or probabilities.

Plenty of examples and colourful diagrams are included.

This talk is part of the Inference Group series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Average on Saturdays: 7712.33823529 kWh Symposium on AI FOR SOCIAL GOOD Early Detection multidisciplinary networking series

Other talks

Packing the Border: Quail Crates and the Regulation of Animal Movement on the US-Mexico Border, 1910s-1940s Spectral rigidity of random covers of compact hyperbolic surfaces Group Presentation 4 Carrollian momenta from anti de Sitter Title to be confirmed Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity