Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

DOI10.1007/978-3-319-62075-6_10MaRDI QIDQ2364670zbMATH OpenOpenAlexFDO

Authors Joseph Corneli, Dave Murray-Rust, Alison Pease, Ursula Martin Webb

Publication date 21 July 2017

Full work available at URL https://www.pure.ed.ac.uk/ws/files/36519292/corneli2017towards.pdf

zbMATH Keywords

argumentationmathematicsQA systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• Mathematical knowledge representation: semantic models and formalisms
• Towards the automatic mathematician
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• A Computational Framework For Understanding Mathematical Discoursexy
• Representing, archiving, and searching the space of mathematical knowledge

Cites work

• A fully automatic theorem prover with human-style output
• A problem with the dependence of informal proofs on formal proofs
• Analogical reasoning
• Developing corpus-based translation methods between informal and formal mathematics: project description
• How can logic best be applied to arguments?
• Intelligent Machinery, A Heretical Theory*
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Parsing and disambiguation of symbolic mathematics in the Naproche system
• Proofs and refutations. The logic of mathematical discovery. Edited by John Worrall and Elie Zahar
• Strategies for parallel markup
• The informal logic of mathematical proof
• The language of mathematics. A linguistic and philosophical investigation

Cited in

(1)

• Enabling mathematical cultures: introduction

Describes a project that uses

Uses Software

• GF
• Naproche

This page was built for publication: Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2364670)