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ženo v:

Podrobná bibliografie
Vydáno v:	Artificial intelligence Ročník 246; s. 181 - 219
Hlavní autoři:	Pease, Alison, Lawrence, John, Budzynska, Katarzyna, Corneli, Joseph, Reed, Chris
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Amsterdam Elsevier B.V 01.05.2017 Elsevier Science Ltd
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!