Name: L7 Why Logical AI is the Best Choice for Reliable Computing in Software Verification
Uploaded: 2022-09-21T11:07:09+00:00
Duration: 55 s
Description: Machine Learning is based on similarities. In order to have an answer to your question, you want to get some information from your data, from your system. What machine learning does that well you're a

1 year ago

Machine Learning is based on similarities. In order to have an answer to your question, you want to get some information from your data, from your system. What machine learning does that well you're asking me is very similar to a number of things already seen and therefore I can derive this conclusion for you. And it's also about approximation so sometimes you get, maybe most of the time you've done a good job getting the right answer sometimes you get a very approximate answer, and many more times you probably get the wrong answers because it's maybe biased by the learning set and your similarity function may not be so good in that particular domain, particularly here we're talking about software verification.

Now logic-based AI, it's a very old field. I would say that 80% of the money in IT in the world revolves around this logic-based AI. If I have a bank, and I want to get some money out of it, I want to be sure that all the computations I'm doing are correct, they will probably use some relational-based technology that tells me the exact answer, so there is no approximation, no similarity, well this is it. I cannot lose money because of that. - Prof. Enrico Franconi - Academic Advisor of Tau https://tau.net/our-team/
#Tau #Tauchain #Agoras #shorts
🎥 https://www.youtube.com/watch?v=bY_jL_b18fQ&list=PLeBSjZu0y6vW5g7RP8XJL67KPLtrmAiOh&index=7 👈

🧀Test Tau Meta Language.
🔗 tml.tau.net
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published Codes
🔗 github.com/IDNI/TML
🌐Website of Tau
🔗 tau.net/
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain
Facebook: Andrew Onizuka
Twitter: @AndrewOnizuka
Instagram: andrewonizuka
Tiktok: andrewonizuka
Reddit: Andrew_Onizuka