- From: Dave Raggett <dsr@w3.org>
- Date: Thu, 9 Jan 2020 19:14:59 +0000
- To: paoladimaio10@googlemail.com
- Cc: W3C AIKR CG <public-aikr@w3.org>
Is a formal KR really needed? There is no evidence that biological systems use formal KR as opposed to other forms of computation. > On 9 Jan 2020, at 06:59, Paola Di Maio <paola.dimaio@gmail.com> wrote: > > following various exchanges, I wonder if are these two 'languages' formally aligned? > > if one of our missions is to promote natural language as a formal KR, (over, say, other formal notations) then I say our best bet is CL, because it is demonstrated as logically valid, needs no further proof > > If stratml can be mapped to CL, then also stratmL or any other ML that can be used equivently to CL, and to formal notation > > Is this the underlying argument I see lurking into the threads referencing CL and natural language? > > P > Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett W3C Data Activity Lead & W3C champion for the Web of things
Received on Thursday, 9 January 2020 19:15:03 UTC