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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Artificial intelligence Ročník 246; s. 181 - 219
Hlavní autori:	Pease, Alison, Lawrence, John, Budzynska, Katarzyna, Corneli, Joseph, Reed, Chris
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Amsterdam Elsevier B.V 01.05.2017 Elsevier Science Ltd
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!