Re: KR, Logic in a few slides

I disagree as most definitions of logic involve symbols, see, e.g.

 https://en.wikipedia.org/wiki/Logic

You really need to define KR rather than leaving that implicit and uncertain.

> On 4 Nov 2022, at 10:48, Paola Di Maio <paoladimaio10@gmail.com> wrote:
> 
> Dave, 
> even the NN you point ot uses logic/KR to figure out there is a mismatch between the lip movement and the words. I think you are simply confirming the point
> that even ML needs KR
> 
> PDM
> 
> On Fri, Nov 4, 2022 at 6:30 PM Dave Raggett <dsr@w3.org <mailto:dsr@w3.org>> wrote:
>> 
>> 
>>> On 3 Nov 2022, at 21:32, Paola Di Maio <paoladimaio10@gmail.com <mailto:paoladimaio10@gmail.com>> wrote:
>>> 
>>> how to use KR to identify Deepfakes (short answer: by using logic)
>> 
>> That isn’t accurate, as it is possible to train neural networks to spot deep fakes by looking for clues that suggest machine generated images and video frames, see:
>> 
>>  https://hai.stanford.edu/news/using-ai-detect-seemingly-perfect-deep-fake-videos
>> 
>> The article notes that this will get harder over time as the generators get better.
>> 
>> Logic isn’t needed for this and the KR is implicit in the network architecture and training data.
>> 
>> Dave Raggett <dsr@w3.org <mailto:dsr@w3.org>>
>> 
>> 
>> 

Dave Raggett <dsr@w3.org>