Skip to main content

An Interpretation of Cognitive Theory in Concurrency Theory

Bowman, Howard (1998) An Interpretation of Cognitive Theory in Concurrency Theory. Technical report. University of Kent (KAR id:21592)

Other (zip)
Language: English
Download (819kB)
[thumbnail of zip]
This file may not be suitable for users of assistive technology.
Request an accessible format
PDF
Language: English
Download (608kB) Preview
[thumbnail of An_Interpretation_of_Cognitive_Theory_in_Concurrency_Theory.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

Abstract

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.

Item Type: Monograph (Technical report)
Uncontrolled keywords: LOTOS, Interval Temporal Logic, Interactive Cognitive Subsystems, Cognitive Behaviour
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Aug 2009 16:18 UTC
Last Modified: 16 Nov 2021 09:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21592 (The current URI for this page, for reference purposes)
Bowman, Howard: https://orcid.org/0000-0003-4736-1869
  • Depositors only (login required):

Downloads

Downloads per month over past year