Fwd: [ontolog-forum] Knowledge Processing, Logic, and the Future of AI

I’m sure most on this list know of John Sowa, but may not follow the ontolog-forum mailing list.

John references a presentation he was to have given at ESWC [1]. In there, he discusses using Common Logic as the Semantic Web Logic Language (interestingly, no reference to Notation-3).

Note on slide 13 where he refers to SWeLL, which I gather comes from a note on LBase from 2003 [2]. Interesting point of information for which I, at least, was unaware.

Gregg Kellogg
gregg@greggkellogg.net

[1] http://jfsowa.com/talks/eswc.pdf <http://jfsowa.com/talks/eswc.pdf>
[2] http://www.w3.org/TR/2003/NOTE-lbase-20031010

> Begin forwarded message:
> 
> From: "John F. Sowa" <sowa@bestweb.net>
> Subject: [ontolog-forum] Knowledge Processing, Logic, and the Future of AI
> Date: January 16, 2021 at 8:17:35 PM PST
> To: ontolog-forum@googlegroups.com
> Cc: ontology-summit@googlegroups.com
> Reply-To: ontolog-forum@googlegroups.com
> 
> Azamat,
> 
> I'm sure that (a) Elon M. will develop good technology,; (b) he has plans for developing good AI systems to support it; and (c) the AI technology will be much better than anything that can be done with current AI systems.
> 
> But I'm also sure that neither his AI technology nor anybody else's will surpass human intelligence during the 21st c.  However, I also believe that human-aided AI systems will produce much better technology than anything we have today.
> 
> The critical qualifier is "human aided".  For further explanation of what that means, see the talk I presented at the European Semantic Web Conference:  http://jfsowa.com/talks/eswc.pdf .
> 
> That talk was scheduled for Crete, but it was virtualized.
> 
> John
> 
> 
> -- 
> All contributions to this forum are covered by an open-source license.
> For information about the wiki, the license, and how to subscribe or 
> unsubscribe to the forum, see http://ontologforum.org/info/ <http://ontologforum.org/info/>
> --- 
> You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com <mailto:ontolog-forum+unsubscribe@googlegroups.com>.
> To view this discussion on the web visit https://groups.google.com/d/msgid/ontolog-forum/661d1656b18082a3575c4ec7bb98c2cd.squirrel%40webmail2.bestweb.net <https://groups.google.com/d/msgid/ontolog-forum/661d1656b18082a3575c4ec7bb98c2cd.squirrel%40webmail2.bestweb.net?utm_medium=email&utm_source=footer>.