© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Modelling concurrent cognitive architectures using process calculi
H. Bowman
In Sebastiano Bagnara, editor, European Conference on Cognitive Science 1999, pages 182-196. Istituto di Psicologia, CNR, October 1999.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 concurrent in nature. Thus, we investigate the application of a (process calculi based) concurrency theory to modelling Interacting Cognitive Subsystems, which is such a (concurrent) cognitive theory. Then we consider the capabilities of the cognitive system to perform combinations of speech and gesture in multi-modal human computer interaction.
Download publication 254 kbytes (PostScript)
Bibtex Record
@inproceedings{931, author = {H. Bowman}, title = {Modelling Concurrent Cognitive Architectures Using Process Calculi}, month = {October}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/931}, ISBN = {88-85059-10-4}, booktitle = {European Conference on Cognitive Science 1999}, editor = {Sebastiano Bagnara}, publication_type = {inproceedings}, publisher = {Istituto di Psicologia, CNR}, refereed = {yes}, submission_id = {15122_945108157}, }