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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 246; S. 181 - 219
Hauptverfasser:	Pease, Alison, Lawrence, John, Budzynska, Katarzyna, Corneli, Joseph, Reed, Chris
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Amsterdam Elsevier B.V 01.05.2017 Elsevier Science Ltd
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!