Modelling the Way Mathematics Is Actually Done

A session at Workshop on Functional Art, Music, Modeling and Design (FARM 2017)

  • Joe Cornelli

Saturday 9th September, 2017

12:00pm to 12:30pm (GMT)

Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next.

About the speaker

This person is speaking at this event.
Joe Cornelli

Sign in to add slides, notes or videos to this session

Tell your friends!

When

Time 12:00pm12:30pm GMT

Date Sat 9th September 2017

Short URL

lanyrd.com/sfthcr

Official event site

functional-art.org

View the schedule

Share

See something wrong?

Report an issue with this session