L8 Why Logic-Based AI is Essential for Trustworthy Software Verification

Back to Aristotle 2000 years ago is all about trust all about the fact that what they get is undisputable so we can discuss as much as you want I will always be right because I'm using logic. Maybe with machine learning, I give a different example, maybe I can argue about that, in logic you cannot argue that's the whole point So the example of Ohad that don't send private data over the network, well we can actually prove that this is never going to happen.

The second major field of success of logic-based AI is software verification. You don't want to fly a plane whose software has been programmed by a Microsoft programmer that gives you the blue screen of death. So you really want to be sure that no matter which kind of RAM this or which kind of side effect this software will end up to, they will never switch off the engines or whatever you will never get into a problem then what you do is that you do this verification, formal verification of your software that some bad things will never happen something like you never send private data over the network.  - Prof. Enrico Franconi - Academic Advisor of Tau https://tau.net/our-team/
#Tau #Tauchain #Agoras #shorts #blockchain #formalverification

🎥 https://www.youtube.com/watch?v=gps803tDK5A&list=PLeBSjZu0y6vW5g7RP8XJL67KPLtrmAiOh&index=8 👈

🧀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