Modelling the way mathematics is actually done

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
288 Downloads (Pure)

Abstract

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 higherorder 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.
Original languageEnglish
Title of host publicationFARM 2017
Subtitle of host publicationProceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages10-19
Number of pages10
ISBN (Print)9781450351805
DOIs
Publication statusPublished - 9 Sep 2017
Event5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM) - Oxford, United Kingdom
Duration: 9 Sep 20179 Sep 2017
http://functional-art.org/2017/

Workshop

Workshop5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM)
CountryUnited Kingdom
CityOxford
Period9/09/179/09/17
Internet address

Keywords

  • Arxana
  • Conceptual dependency
  • Exposition
  • Formal proof
  • Inference anchoring theory
  • Knowledge representation and reasoning
  • Mathematics
  • Natural language

Fingerprint Dive into the research topics of 'Modelling the way mathematics is actually done'. Together they form a unique fingerprint.

  • Projects

    Cite this

    Corneli, J., Martin, U., Murray-Rust, D., Pease, A., Puzio, R., & Nesin, G. R. (2017). Modelling the way mathematics is actually done. In FARM 2017: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (pp. 10-19). Association for Computing Machinery (ACM). https://doi.org/10.1145/3122938.3122942