School of Computing

An interpretation of cognitive theory in concurrency theory

Howard Bowman

Technical Report 8-98, Computing Laboratory, University of Kent at Canterbury, October 1998.


Theories of concurrent systems have been extensively investigated in the computer science domain. However, these theories are very general in nature and hence, we would argue, are applicable to many disciplines in which concurrency arises. Furthermore, a number of existing theories of cognitive science are formulated in terms of concurrent subsystems interacting in solving cognitive tasks. In this paper we investigate the application of a (process calculi based) concurrency theory to modelling such a (concurrent) cognitive theory.

The cognitive theory chosen is ICS (Interacting Cognitive Subsystems), which we interpret using our process calculus and then we verify some simple behavioural properties of the resulting interpretation. These properties concern the capabilities of the cognitive system to realise deictic reference.

Download publication 224 kbytes

Bibtex Record

author = {Howard Bowman},
title = {An Interpretation of Cognitive Theory in Concurrency Theory},
month = {October},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    institution = {Computing Laboratory, University of Kent at Canterbury},
    number = {8-98},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014