Re: KR, Logic in a few slides

Dave
KR is very well understood and  an established field
here is plenty of scope to make your contribution

PDM

On Fri, Nov 4, 2022 at 7:10 PM Dave Raggett <dsr@w3.org> wrote:

> 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> wrote:
>
>>
>>
>> On 3 Nov 2022, at 21:32, Paola Di Maio <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>
>>
>>
>>
>>
> Dave Raggett <dsr@w3.org>
>
>
>
>

Received on Friday, 4 November 2022 11:51:14 UTC