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

DOI10.1007/978-3-319-62075-6_10zbMath1367.68300OpenAlexW2663683295MaRDI QIDQ2364670

Alison Pease, Joseph Corneli, Dave Murray-Rust, 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)

Related Items

Enabling mathematical cultures: introduction

Uses Software

• GF
• Naproche

Cites Work

• Unnamed Item
• The language of mathematics. A linguistic and philosophical investigation
• A fully automatic theorem prover with human-style output
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• A Problem with the Dependence of Informal Proofs on Formal Proofs
• Strategies for Parallel Markup
• Intelligent Machinery, A Heretical Theory*
• How can logic best be applied to arguments?
• Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
• Proofs and Refutations
• Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description
• Conceptual Structures for Knowledge Creation and Communication