University of Cambridge > > Inference Group > Uncertainty Logic

Uncertainty Logic

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity