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

Actions


Access Document


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

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Mathematical Institute
Role:
Author
More from this funder
Funding agency for:
Corneli, J
Grant:
EP/K040251/1
More from this funder
Funding agency for:
Murray-Rust, D
Grant:
EP/J017728/2
More from this funder
Funding agency for:
Martin, U
Grant:
EP/K040251/1
Publisher:
Springer Verlag Publisher's website
Journal:
Lecture Notes in Computer Science Journal website
Volume:
10383
Pages:
132-146
Host title:
Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science
Publication date:
2017-06-28
Acceptance date:
2017-05-12
DOI:
ISSN:
0302-9743
Source identifiers:
710846
ISBN:
9783319620749
Keywords:
Pubs id:
pubs:710846
UUID:
uuid:8548a692-9902-454d-98fd-e4fdada8e3df
Local pid:
pubs:710846
Deposit date:
2017-09-03

Terms of use


Views and Downloads






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

TO TOP