mReasoner v0.9 is a unified computational implementation of the model theory.

 

Download

  • mReasoner v0.9.6188 (mac) (source)
    [updated 2017-06-28]

Mac users only: if you receive an ‘unidentified developer’ error, please fix it with these instructionsPlease note: The binary presently available is now compatible with macOS Sierra.

How mReasoner Works

 

References

  • Khemlani, S., & Johnson-Laird, P. N. (2017). The provenance of modal inference. In G. Gunzelmann, A. Howes, T. Tenbrink, and E. Davelaar (Eds.), Proceedings of the 39th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society.
  • Khemlani, S., & Johnson-Laird, P. N. (2016). How people differ in syllogistic reasoning. In A. Papafragou, D. Grodner, D. Mirman, and J. Trueswell (Eds.), Proceedings of the 38th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society.
  • Johnson-Laird, P. N., Khemlani, S., & Goodwin, G.P. (2015). Logic, probability, and human reasoning. Trends in Cognitive Sciences, 19, 201-214.
  • Khemlani, S., Harrison, A. M., & Trafton, J. G. (2015). Episodes, events, and models. Frontiers in Human Neuroscience, 9, 590, 1-13.
  • Khemlani, S., Lotstein, M., & Johnson-Laird, P. N. (2015). Naive probability: Model-based estimates of unique events. Cognitive Science, 39, 1216–1258.
  • Khemlani, S., Lotstein, M., Trafton, J.G., & Johnson-Laird, P. N. (2015). Immediate inferences from quantified assertions. Quarterly Journal of Experimental Psychology, 68, 2073–2096.
  • Khemlani, S., Lotstein, M., & Johnson-Laird, P. N. (2014). A mental model theory of set-membership. In P. Bello, M. Guarini, M. McShane, & B. Scassellati (Eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society.
  • Ragni, M., Khemlani, S., & Johnson-Laird (2014). The evaluation of the consistency of quantified assertions. Memory & Cognition, 42, 53-66.
  • Johnson-Laird, P.N., & Khemlani, S. (2013). Toward a unified theory of reasoning. In B. Ross (Ed.), The Psychology of Learning and Motivation (pp. 1-42). Elsevier, Inc.: Academic Press.
  • Khemlani, S., & Johnson-Laird, P. N. (2013). The processes of inference. Argument & Computation, 4, 1-20.
  • Khemlani, S., Trafton, J.G., & Johnson-Laird, P.N. (2013). Deduction as stochastic simulation. In R. West & T. Stewart (Eds.), Proceedings of the 12th International Conference on Cognitive Modeling.
  • Khemlani, S., Lotstein, M., & Johnson-Laird, P.N. (2012). The probabilities of unique events. PLOS ONE, 7, e45975.
  • Khemlani, S., Orenes, I., & Johnson-Laird, P. N. (2012). Negation: A theory of its meaning, representation, and use. Journal of Cognitive Psychology, 24, 541-559.
  • Khemlani, S., & Trafton, J. G., (2012). mReactr: A computational theory of deductive reasoning. In Proceedings of the 34th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society.
  • Khemlani, S., Trafton, J. G., Lotstein, M., & Johnson-Laird, P. N. (2012). A process model of immediate inferences. In Proceedings of the 11th International Conference on Cognitive Modeling. Berlin, Germany: University of Groningen.