Modelling the Way Mathematics Is Actually Done
| Autor: | Raymond Puzio, Dave Murray-Rust, Joseph Corneli, Alison Pease, Gabriela Rino Nesin, Ursula Martin |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Deductive reasoning
Knowledge representation and reasoning business.industry Computer science 010102 general mathematics 02 engineering and technology computer.software_genre Model-based reasoning 01 natural sciences Semantic network Formal proof Argumentation theory Human–computer interaction 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Artificial intelligence Lisp 0101 mathematics business computer Natural language Natural language processing computer.programming_language |
| Zdroj: | Corneli, J, Martin, U, Murray-Rust, D, Pease, A, Puzio, R & Nesin, G R 2017, Modelling the Way Mathematics Is Actually Done . in 2017 International Workshop on Functional Art, Music, Modelling and Design (FARM 2017) . pp. 10-19, 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, Oxford, United Kingdom, 9/09/17 . https://doi.org/10.1145/3122938.3122942 FARM@ICFP |
| DOI: | 10.1145/3122938.3122942 |
| Popis: | Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws on contemporary argumentation theory and classic AI techniques for representing and querying narratives and dialogues. In order to make the structures that these modelling tools produce accessible to computational reasoning, we encode representations in a higher-order nested semantic network. This system, for which we have developed a preliminary prototype in LISP, can represent both the content of what people say, and the dynamic reasoning steps that move from one step to the next. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|