Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

The simulation of mathematical reasoning has been a driving force throughout the history of Artificial Intelligence research. However, despite significant successes in computer mathematics, computers are not widely used by mathematicians apart from their quotidian applications. An oft-cited reason f...

Full description

Saved in:

Bibliographic Details
Published in:	Artificial intelligence Vol. 246; pp. 181 - 219
Main Authors:	Pease, Alison, Lawrence, John, Budzynska, Katarzyna, Corneli, Joseph, Reed, Chris
Format:	Journal Article
Language:	English
Published:	Amsterdam Elsevier B.V 01.05.2017 Elsevier Science Ltd
Subjects:	Abstract argumentation Argumentation Automated reasoning Automated theorem proving Collaboration Collaborative intelligence Computer simulation Dialogue games Game theory Lakatos Logic Mathematical analysis Mathematical argument Mathematical models Mathematics Philosophy of mathematical practice Reasoning Semantics Social creativity Social factors Structured argumentation Theorem proving Automated reasoning Abstract argumentation Argumentation Mathematical argument Structured argumentation Philosophy of mathematical practice Automated theorem proving Lakatos Collaborative intelligence Social creativity Dialogue games
ISSN:	0004-3702, 1872-7921
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!