From 2d93b92f21e3d685c6fa6ee38c5189acfc7e8002 Mon Sep 17 00:00:00 2001 From: Joe Corneli Date: Mon, 22 May 2017 09:04:39 +0100 Subject: [PATCH] spacing --- org/arxana-redux.org | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/org/arxana-redux.org b/org/arxana-redux.org index 0ceb745..d3084f2 100644 --- a/org/arxana-redux.org +++ b/org/arxana-redux.org @@ -54,7 +54,6 @@ representations into a computable form. at the [[http://functional-art.org/2017/cfp.html][Functional Art, Music, Modelling and Design]] workshop in case it proves to be a better fit. - - IAT :: Inference Anchoring Theory was devised by Budzynska et al \cite{budzynska2014model} to model the logical structure of dialogical arguments. This has since been adapted to @@ -107,12 +106,12 @@ representations into a computable form. ** Plan of the work - Unlike a classical proof which consists of mathematical statements - and deductions, informal mathematical language is more general, and - the reasoning involved may be abductive, inductive, or heuristic. + and deductions, informal mathematical language is more general, and + the reasoning involved may be abductive, inductive, or heuristic. - The presentation here will describe a strategy we have been - developing for representing mathematical dialogues and other - informal texts. + developing for representing mathematical dialogues and other + informal texts. - A publication appearing in "Artificial Intelligence" this month describes the high-level features of informal mathematics, and -- 2.11.4.GIT