math.wikipedia.org: A vision for a collaborative, semi-formal, language independent math(s) encyclopedia

Joseph Corneli, M. Schubotz

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

Abstract / Description of output

It has been argued that the right representation is the key to successful reasoning [Bun13, p. 16]. We would broaden this observation to point out that while both representation and reasoning are crucial, they are not in themselves sufficient for most applied cognitive and computational workflows. In particular, the processes by which representations are created are logically prior. With large-scale projects, human and HCI factors must be considered, and suitable management strategies devised. Below, we consider the representation and workflow issues surrounding the creation of a large machine-readable mathematics knowledge base. Such a knowledge base would differ from a repository of human-readable texts, in that it would support a range of automated reasoning tasks. For example, one such task is automated tutoring. An ongoing master’s thesis [Dud16] on a related simpler task, automated question answering, has helped to motivate the current inquiry.
Original languageEnglish
Title of host publication2nd Conference on Artificial Intelligence and Theorem Proving
Place of PublicationObergurgl, Austria
Number of pages4
Publication statusE-pub ahead of print - 30 Mar 2017
Event2nd Conference on Artificial Intelligence and Theorem Proving - Obergurgl, Austria
Duration: 26 Mar 201730 Mar 2017
http://aitp-conference.org/2017/

Conference

Conference2nd Conference on Artificial Intelligence and Theorem Proving
Abbreviated titleAITP 2017
Country/TerritoryAustria
CityObergurgl
Period26/03/1730/03/17
Internet address

Fingerprint

Dive into the research topics of 'math.wikipedia.org: A vision for a collaborative, semi-formal, language independent math(s) encyclopedia'. Together they form a unique fingerprint.

Cite this