Logic List Mailing Archive

CfR: VVL Logic at Large Lecture 2024 by Larry Moss: "A Place for Logic in the Computer Processing of Language", June 17, Online

VvL Logic at Large Lecture 2024

The Dutch Association for Logic and Philosophy of the Exact Sciences (VvL) is happy to announce the Logic at Large Lecture 2024.

June 17, 2024, 16:00 CEST, online (zoom)

Larry Moss (Mathematics Department, Indiana University, Bloomington):
A Place for Logic in the Computer Processing of Language

Starting in 2018, computers have been able to carry out some tasks at human level (or better), tasks which are traditionally thought of as 'logical'.  These include the central task of logic: knowing 'what follows from what', when everything is presented in natural language.   We are therefore at a watershed moment in the history of logic.  However, the computational systems -- neural net learners -- do not use logic in any evident manner.  Of course logic is involved in computer science at many levels, but the particular programs involved in inference are much more like the ones that memorize patterns and classify objects.  They do not use explicit symbolic reasoning of the kind logicians love.

Addressed to a general audience rather than to specialists, this talk is concerned with attempts by several groups of researchers to do reasoning in language on the computer, and to probe the deep learners to see how much they really can do, and to create hybrid symbolic/neural reasoning systems.


Registration is through https://forms.gle/uUEFyAisxoxSZfnM8<https://forms.gle/ReD5SYAFo9VTPtN88>. We will distribute a zoom link shortly before the event.


Organizers: Dominik Klein (d.klein@uu.nl<mailto:d.klein@uu.nl>) and Fan Yang (f.yang@uu.nl<mailto:f.yang@uu.nl>)


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php