Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Submitting institution
-
University of Dundee
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 28399315
- Type
- D - Journal article
- DOI
-
10.1016/j.artint.2017.02.006
- Title of journal
- Artificial Intelligence
- Article number
- -
- First page
- 181
- Volume
- 246
- Issue
- -
- ISSN
- 0004-3702
- Open access status
- Compliant
- Month of publication
- March
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
4
- Research group(s)
-
-
- Citation count
- 14
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This paper is the first integration of linguistic theory, argumentation semantics, and mathematical proof, and represented the first major output of an initiative aimed at kick-starting coherence in research across the ARG-tech research cluster between Reed and two ECRs, Pease and Budzynska, who were then new hires. Building on results from the £0.6m EPSRC-funded Dialectical Argumentation Machines project (EP/G060347/1), the paper uses linguistic annotation techniques and tools to analyse informal talk between mathematicians, and then by mapping to formal equivalents, inducing abstract frameworks and using operational semantics shows that the current state of the proof can be inferred automatically.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -