3 ms·
> not a requirement by the FAA for aircraft certification. I never said that. Where did you get that? > Safety critical systems need a degree of auditing and
by cscurmudgeon 11y ago
> not a requirement by the FAA for aircraft certification.
I never said that. Where did you get that?
> Safety critical systems need a degree of auditing and testing, to be sure, but formal proofs have never been a requirement since they aren't that practical. (emphasis mine)
I was challenging this idea.
Are systems for self-driving cars the only safety critical systems? What about Intel manufactured chips used in those same cars and flights and a gazillion other devices?
You have an agenda to push and got called out on facts :)
Have a good day.
(Someone just went around down voting my other posts. Not you)
- seanmcdirmid 11y agoI guess it depends on how you interpret "that", which I meant to refer to "requirement" (they are not practical enough to be a requirement). But I guess I should have been more clear in my sentence structure.
- cscurmudgeon 11y agoStill not clear but we will leave it here :) Btw, I use both deep learning and knowledge based systems in my work (but not formal verification) but don't like advertising that goes in AI by academics from all camps(don't want another AI winter).
- seanmcdirmid 11y agoFair enough. I have no skin in this game since I'm a PL researcher...
- raverbashing 11y agoIntel uses verification after they fumbled the Pentium FPU, verifying silicon is a good idea (also it's complex but doable) Now good luck verifying a machine learning system beyond the basics.
- cscurmudgeon 11y agoUmm that is the point being made ...