Conference item icon

Conference item

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

Abstract:

This paper outlines a strategy for building semantically meaningful representations and carrying out effective reasoning in technical knowledge domains such as mathematics. Our central assertion is that the semi-structured Q & A format, as used on the popular Stack Exchange network of websites, exposes domain knowledge in a form that is already reasonably close to the structured knowledge formats that computers can reason about. The knowledge in question is not only facts - but discursive...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-62075-6_10

Authors


Corneli, J More by this author
More by this author
Department:
Oxford, MPLS, Computer Science, Mathematical Institute
Murray-Rust, D More by this author
Publisher:
Springer Verlag Publisher's website
Volume:
10383
Pages:
132-146
Publication date:
2017-06-28
Acceptance date:
2017-05-12
DOI:
ISSN:
0302-9743
Pubs id:
pubs:710846
URN:
uri:8548a692-9902-454d-98fd-e4fdada8e3df
UUID:
uuid:8548a692-9902-454d-98fd-e4fdada8e3df
Local pid:
pubs:710846
ISBN:
9783319620749

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP