Logic, Co-induction and Infinite Computation

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=nOqO5OlC920


Category:
Vlog
Duration: 1:10:34
3,053 views
65

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations. Where induction corresponds to least fixed points semantics, co-induction corresponds to greatest fixed point semantics. In this talk I will give a tutorial introduction to co-induction and show how co-induction can be elegantly incorporated into logic programming to obtain the co-inductive logic programming (co-LP) paradigm. I will also discuss how co-LP can be elegantly used for sophisticated applications that include (i) model checking and verification, including of hybrid/cyber-physical systems and systems specified using the pi-calculus (ii) planning and goal-directed execution of answer set programs that perform non-monotonic reasoning.

See more at https://www.microsoft.com/en-us/research/video/logic-co-induction-and-infinite-computation/



Other Videos By Microsoft Research


2018-08-01Towards reconstructing the visual world
2018-08-01Counterfactual Fairness
2018-07-31GAON: General-purpose Application Offload to Near-Network Processors
2018-07-31Connecting Vision and Language via Interpretation, Grounding and Imagination
2018-07-31Rethinking Distributed State Management in Networks
2018-07-31On momentum methods and acceleration in stochastic optimization
2018-07-30Robust Fitting of Subdivision Surfaces for Smooth Shape Analysis
2018-07-303D Hand Pose Estimation Using Convolutional Neural Networks
2018-07-30Compressing human text.
2018-07-26The Simple Essence of Automatic Differentiation - Conal Elliott
2018-07-25Logic, Co-induction and Infinite Computation
2018-07-23Research You Can (Really) Use with Dr. Lenin Ravindranath Sivalingam
2018-07-20Fireside Chat with Cynthia Breazeal
2018-07-20You Can Lead a Horse to Water: Spatial Learning and Path Dependence in Consumer Search
2018-07-19Faculty Summit 2018 Introduction
2018-07-16Kahawai: High-Quality Mobile Gaming Using GPU Offload
2018-07-16Custom Translator: How to get started
2018-07-10Examining the social impacts of artificial intelligence with Dr. Fernando Diaz
2018-07-09Applications of Variational Programming, Chapel Comes of Age: Productive Parallelism at Scale
2018-07-09Helping proteomics scientists share peptide data: Azure does the heavy lifting
2018-07-05Project Fizzyo


Tags:
microsoft research