From students to approximately reasoning agents : the Continuous Inference

In this paper, we aim at designing a exible model for the reasoning of cooperating inferential agents. The context is mathematical problem solving and the model is based on an experimental analysis of oral tests. Our contribution consists in: i) the analysis of reals cases and the induction of empirical laws, ii) the deenition of a general model, called continuous inference, dedicated to problem representation, iii) the logical and algebraic description of the model thanks to the cube lattice structure (and its implementation).

[1]  D. Dubois,et al.  Possibility theory and data fusion in poorly informed environments , 1994 .

[2]  S. Vera,et al.  Induction of Concepts in the Predicate Calculus , 1975, IJCAI.

[3]  C. W. Tate.  Solve it. , 2005, Nursing standard (Royal College of Nursing (Great Britain) : 1987).

[4]  Thomas Tymoczko.  New Directions in the Philosophy of Mathematics , 1985 .

[5]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[6]  A. Tarski,et al.  The Algebra of Topology , 1944 .

[7]  Laurent Chaudron,et al.  Constructive difference and disagreement: A suprA-cooperation among agents , 2004, Computer Supported Cooperative Work (CSCW).

[8]  Laurent Chaudron,et al.  A Purely Symbolic Model for Dynamic Scene Interpretation , 1997, Int. J. Artif. Intell. Tools.