Skip to main content
SpringerLink
Log in

Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation

  • Conference paper
  • First Online:
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops (SEFM 2020)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12524))

Included in the following conference series:

Abstract

This paper presents a formal model for the representation of relational information in semantic memory and for its retrieval as a reaction to triggering questions which are normally used in experimental psychology. Information is represented using the Behaviour and Reasoning Description Language (BRDL), while the engine for its retrieval is given by the real-time extension of the Maude rewrite language. Maude’s capability of specifying complex data structures as many sorted algebras and the time features of Real-Time Maude are essential in providing a means for formalising alternative human memory models. Furthermore, using Maude’s object-oriented modelling style, aspects of such alternative memory models may be implemented in separate, interchangeable modules, thus providing a way for their comparison through in silico experiments. Finally, the results of in silico experiments may be contrasted with the data produced through lab experiments and natural observations to yield, on the one hand, a calibration of the emulation engine underlying BRDL and, on the other hand, important insights into alternative theories of cognition.

Work partly funded by Project SEDS2020004 “Analysis of cognitive properties of inter- active systems using model checking”, Nazarbayev University, Kazakhstan (Award number: 240919FD3916).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Anderson, J.R., Lebiere, C.J.: The Atomic Components of Thought. Lawrence Erlbaum, Hillsdale (1998)

    Google Scholar 

  2. Atkinson, R.C., Shiffrin, R.M.: Human memory: a proposed system and its control processes. In: Spense, K.W. (ed.) The Psychology of Learning and Motivation: Advances in Research and Theory II, pp. 89–195. Academic Press (1968)

    Google Scholar 

  3. Berry, C., Grove, C.: Semantic distance in memory structure: the retrieval of conceptual relationships. Q. J. Exp. Psychol. 35A, 553–570 (1983)

    Article  Google Scholar 

  4. Broccia, G., Milazzo, P., Ölveczky, P.C.: Formal modeling and analysis of safety-critical human multitasking. Innovations Syst. Softw. Eng. 15(3–4), 169–190 (2019)

    Article  Google Scholar 

  5. Cerone, A.: A cognitive framework based on rewriting logic for the analysis of interactive systems. In: De Nicola, R., Kühn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 287–303. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41591-8_20

    Chapter  Google Scholar 

  6. Cerone, A.: Towards a cognitive architecture for the formal analysis of human behaviour and learning. In: Mazzara, M., Ober, I., Salaün, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 216–232. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-04771-9_17

    Chapter  Google Scholar 

  7. Cerone, A.: Behaviour and reasoning description language (BRDL). In: Camara, J., Steffen, M. (eds.) SEFM 2019. LNCS, vol. 12226, pp. 137–153. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-57506-9_11

    Chapter  Google Scholar 

  8. Cerone, A., Ölveczky, P.C.: Modelling human reasoning in practical behavioural contexts using real-time maude. In: Sekerinski, E. (ed.) FM 2019. LNCS, vol. 12232, pp. 424–442. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-54994-7_32

    Chapter  Google Scholar 

  9. Collins, A.M., Loftus, E.F.: A spreading-activation theory of semantic processing. Psychol. Rev. 82, 407–428 (1975)

    Article  Google Scholar 

  10. Collins, A.M., Quillian, M.R.: Retrieval time from semantic memory. J. Verbal Learn. Verbal Behav. 8, 240–247 (1969)

    Article  Google Scholar 

  11. Glass, A.L., Holyoak, K.T.: Alternative onceptions of semantic memory. J. Verbal Learn. Verbal Behav. 5, 598–606 (1975)

    Google Scholar 

  12. Hammel, J.E., Hollok, K.J.: Distributed representations of structures: a theory of analogical access and mapping. Psychol. Rev. 104, 427–466 (1997)

    Article  Google Scholar 

  13. Hollan, J.D.: Feature and semantic model: seth theoretic or network model? Psychol. Rev. 82, 154–155 (1975)

    Article  Google Scholar 

  14. Holyoak, K.T.: Analogy and relational reasoning. In: Holyoak, K.T., Morrison, R.G., (eds.) The Oxford handbook of thinking and reasoning, pp. 234–259. Oxford University Press (2012)

    Google Scholar 

  15. Leech, R., Mareschal, D., Cooper, R.P.: Analogy as relational priming: a developmental and computational perspective on the origin of a complex cognitive skill. Behav. Brain Sci. 31, 357–378 (2008)

    Article  Google Scholar 

  16. Martí-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoret. Comput. Sci. 285(2), 121–154 (2002)

    Article  MathSciNet  Google Scholar 

  17. Meyer, D.E.: On the representation and retrieval of stored sematic information. Cogn. Psychol. 1, 242–300 (1970)

    Article  Google Scholar 

  18. Ölveczky, P.C.: Real-time Maude and its applications. In: Escobar, S. (ed.) WRLA 2014. LNCS, vol. 8663, pp. 42–79. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-12904-4_3

    Chapter  Google Scholar 

  19. Ölveczky, P.C.: Designing Reliable Distributed Systems. Undergraduate Topics in Computer Science. Springer (2017)

    Google Scholar 

  20. Ölveczky, P.C., Meseguer, J.: Semantics and pragmatics of real-time-Maude. Higher-order symbolic Comput. 20(1–2), 161–196 (2007)

    Article  Google Scholar 

  21. Quillian, M.R.: The teachable language comprehender: a simulation program and theory of language. Commun. ACM 12, 459–476 (1969)

    Article  Google Scholar 

  22. Rips, L.J., Shoben, E.J., Smith, E.E.: Semantic distance and the verification of semantic relations. J. Verbal Learn. Verbal Behav. 12, 1–20 (1973)

    Article  Google Scholar 

  23. Smith, E.E., Shoben, E.J., Rips, L.J.: Comparison processes in semantic memory. Psychol. Rev. 81, 214–241 (1974)

    Article  Google Scholar 

Download references

Acknowledgments

We would like to thank Graham Pluck for reading the manuscript and providing important comments. The first author would also like to thank Peter Csaba Ölveczky for his kind hospitality in Oslo in May 2019 and for many insightful discussions about Maude, which strongly influenced the way Maude was used in this paper.

Author information

Authors and Affiliations

  1. Department of Computer Science, Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone & Diana Murzagaliyeva

Authors
  1. Antonio Cerone
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Diana Murzagaliyeva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antonio Cerone .

Editor information

Editors and Affiliations

  1. Eindhoven University of Technology, Eindhoven, The Netherlands

    Loek Cleophas

  2. CNR-ISTI, Pisa, Italy

    Mieke Massink

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cerone, A., Murzagaliyeva, D. (2021). Information Retrieval from Semantic Memory: BRDL-Based Knowledge Representation and Maude-Based Computer Emulation. In: Cleophas, L., Massink, M. (eds) Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. SEFM 2020. Lecture Notes in Computer Science(), vol 12524. Springer, Cham. https://doi.org/10.1007/978-3-030-67220-1_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-67220-1_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-67219-5

  • Online ISBN: 978-3-030-67220-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation