skip to main content
research-article
Open Access

Process algebraic modelling of attentional capture and human electrophysiology in interactive systems

Authors Info & Claims
Published:01 December 2009Publication History
Skip Abstract Section

Abstract

Abstract

Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional capture in the context of Barnard’s key-distractor Attentional Blink task. This model captures core aspects of the allocation of human attention over time and as such should be applicable across a range of practical settings when human attentional limitations come into play. In addition, this model simulates human electrophysiological data, such as electroencephalogram recordings, which can be compared to real electrophysiological data recorded from human participants. We have used this model to evaluate the performance trade-offs that would arise from varying key parameters and applying either a constructive or a reactive approach to improving interactive systems in a stimulus rich environment. A strength of formal methods is that they are abstract and the resulting specifications of the operator are general purpose, ensuring that our findings are broadly applicable. Thus, we argue that new modelling techniques from computer science can also be employed in computational modelling of the mind. These would complement existing techniques, being specifically targeted at psychological level modelling, in which it is advantageous to directly represent the distribution of control.

References

  1. ABM93 Abeles MBergman HMargalis EVaadia ESpatiotemporal firing patterns in the frontal cortex of behaving monkeysJ Neurophysiol19937016291638Google ScholarGoogle ScholarCross RefCross Ref
  2. And93 Anderson JRRules of the mind1993HillsdaleErlbaumGoogle ScholarGoogle Scholar
  3. And05 Anderson AKAffective influences on the attentional dynamics supporting awarenessJ Exp Psychol General2005134225828110.1037/0096-3445.134.2.258Google ScholarGoogle ScholarCross RefCross Ref
  4. BMM02 Baeten JCMiddelburg CAMiddelburg KProcess algebra with timing2002New YorkSpringer1021.68063Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Bar99 Barnard PJ (1999) Interacting cognitive subsystems: modelling working memory phenomena within a multi-processor architecture, Models of Working Memory: Mechanisms of active maintenance and executive control, pp 298–339Google ScholarGoogle Scholar
  6. BST04 Barnard PJScott STaylor JMay JKnightley WPaying attention to meaningPsychol Sci200415317918610.1111/j.0956-7976.2004.01503006.xGoogle ScholarGoogle ScholarCross RefCross Ref
  7. Bar03 Barnard PJBowman HRendering information processing models of cognition and affect computationally explicit: distributed executive control and the deployment of attentionCogn Sci Q200333297328Google ScholarGoogle Scholar
  8. BRB05 Barnard PJRamponi CBattye GMackintosh BAnxiety and the deployment of visual attention over timeVis Cogn200512118121110.1080/13506280444000139Google ScholarGoogle ScholarCross RefCross Ref
  9. BPS03 Beverina FPalmas GSilvoni SPiccione FGiove SUser adaptive BCIs: SSVEP and P300 based interfacesPsychnology200314331354Google ScholarGoogle Scholar
  10. Bol88 Bolognesi TBrinksma EIntroduction to the ISO specification language LOTOSComput Netw ISDN Syst1988149102529Google ScholarGoogle Scholar
  11. Bon99 Bond AHDescribing behavioural states using a system model of the primate brainAm J Primatol19994931533810.1002/(SICI)1098-2345(199912)49:4<315::AID-AJP3>3.0.CO;2-VGoogle ScholarGoogle Scholar
  12. BBD01 Bowman HBryans JWDerrick JAnalysis of a multimedia stream using stochastic process algebraComput J20014442302450993.6806810.1093/comjnl/44.4.230Google ScholarGoogle ScholarCross RefCross Ref
  13. Bow99 Bowman HFaconti GAnalysing cognitive behaviour using LOTOS and MexitlFormal Aspects Comput19991113215910.1007/s001650050045Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Bow06 Bowman HGomez RSConcurrency theory, calculi and automata for modelling untimed and timed concurrent systems2006BerlinSpringerGoogle ScholarGoogle Scholar
  15. Bow07 Bowman HWyble BThe simultaneous type, serial token model of temporal attention and working memoryPsychol Rev20071141387010.1037/0033-295X.114.1.38Google ScholarGoogle ScholarCross RefCross Ref
  16. Car98 Carver CSScheier MFOn the self-regulation of behaviour1998CambridgeCambridge University PressGoogle ScholarGoogle Scholar
  17. Chu95 Chun MMPotter MCA two-stage model for multiple target detection in rapid serial visual presentationJ Exp Psychol Hum Percept Perform199521110912710.1037/0096-1523.21.1.109Google ScholarGoogle ScholarCross RefCross Ref
  18. Cil93 Cilliers PJ, Van Der Kouwe AJW (1993) A VEP-based computer interfcae for C2-Quadriplegics. Engineering in Medicine and Biology Society, 1993. In: Proceedings of the 15th Annual International Conference of the IEEE, vol 15(3), pp 1263–1624Google ScholarGoogle Scholar
  19. CFS96 Cooper RFox JFarringdon JShallice TA systematic methodology for cognitive modellingArtif Intell19968534410.1016/0004-3702(95)00112-3Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. CWC08 Craston P, Wyble B, Chennu S, Bowman H (2008) The attentional blink reveals serial working memory encoding: evidence from virtual and human event-related potentials. J Cogn Neurosci (in press)Google ScholarGoogle Scholar
  21. Don81 Donchin EPresidential address, 1980Surprise!...Surprise?. Psychophysiology198118549351310.1111/j.1469-8986.1981.tb01815.xGoogle ScholarGoogle ScholarCross RefCross Ref
  22. DBD98 Duke DJBarnard PJDuce DAMay JSyndetic modellingHum Comput Interact199813433739310.1207/s15327051hci1304_1Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. EFH83 Ehrig H, Fey W, Hansen H (1983) ACT ONE—an algebraic specification language with two levels of semantics, ADTGoogle ScholarGoogle Scholar
  24. EBJ96 Elman JLBates EAJohnson MHKarmiloff-Smith AParisi DPlunkett KRethinking innateness: a connectionist perspective on development, a Bradford book1996CambridgeMIT PressGoogle ScholarGoogle Scholar
  25. Eri81 Erickson TDMattson MEFrom words to meaning: a semantic illusionJ Verbal Learn Verbal Behav19812054055110.1016/S0022-5371(81)90165-1Google ScholarGoogle ScholarCross RefCross Ref
  26. Fod88 Fodor JAPylyshyn ZWConnectionism and cognitive architecture: a critical analysisCognition19882837110.1016/0010-0277(88)90031-5Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. GLM02 Garavel HLang FMateescu FAn overview of CADP 2001EASST Newsl200241324Google ScholarGoogle Scholar
  28. GVZ01 Garavel HViho CZendri MSystem design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generationSpringer Int J Softw Tools Technol Transf (STTT)2001333143310991.68731Google ScholarGoogle ScholarCross RefCross Ref
  29. Gom98 Gomez ME, Santonja V (1998) Self-similiary in I/O workload: analysis and modeling. In: Workshop on Workload CharacterizationGoogle ScholarGoogle Scholar
  30. Gri05 Grill-Spector KKanwisher NVisual recognition: as soon as you know it is there, you know what it isPsychol Sci200516215216010.1111/j.0956-7976.2005.00796.xGoogle ScholarGoogle ScholarCross RefCross Ref
  31. Hoa85 Hoare CARCommunicating sequential processes1985LondonPrentice-Hall0637.68007Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. KMM99 Kieras DEMeyer DEMueller SSeymour TInsights into working memory from the perspective of the EPIC architecture for modelling skilled perceptual-motor and cognitive human performance, Models of Working Memory, Mechanisms of Active Maintenance and Executive Control1999New YorkCambridge University Press183223Google ScholarGoogle Scholar
  33. Lev79 Leventhal HPilner PBlankstein KSpigel IMA perceptual-motor processing model of emotionPerception of emotion in self and others, vol 51979New YorkPlenum146Google ScholarGoogle Scholar
  34. LHB00 Levine SPHuggins JEBeMent SLKushwaha RKSchuh LARohde MMA direct brain interface based on event-related potentialsIEEE Trans Rehabil Eng20008218018510.1109/86.847809Google ScholarGoogle ScholarCross RefCross Ref
  35. Mac63 Mackworth JThe duration of the visual imageCan J Paychol19631716268Google ScholarGoogle Scholar
  36. MFP97 Maki WSFrigen KPaulsen KAssociative priming by targets and distractors during rapid serial presentationJ Exp Psychol Hum Percept Perform1997231014103410.1037/0096-1523.23.4.1014Google ScholarGoogle ScholarCross RefCross Ref
  37. MKH03 Meinicke PKaper MHoppe FHeumann MRitter HImproving transfer rates in brain computer interfacing: a case studyAdv Neural Inform Process Syst20031511071114Google ScholarGoogle Scholar
  38. Met78 Metz CEBasic principles of ROC analysisSemin Nuclear Med1978828329810.1016/S0001-2998(78)80014-2Google ScholarGoogle ScholarCross RefCross Ref
  39. Mey97 Meyer DEKieras DEA computational theory of executive cognitive processes and multiple task performance: Part 1Basic mechanisms. Psychol Rev1997104365Google ScholarGoogle ScholarCross RefCross Ref
  40. Mil89 Milner RCommunication and concurrency1989Hemel HempsteadPrentice-Hall0683.68008Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. New90 Newell AUnified theories of cognition1990CambridgeHarvard University PressGoogle ScholarGoogle ScholarDigital LibraryDigital Library
  42. Rei00 O’Reilly RCMunakata YComputational explorations in cognitive neuroscience: understanding the mind by simulating the brain, a Bradford book2000CambidgeMIT PressGoogle ScholarGoogle Scholar
  43. RSA92 Raymond JShapiro KArnell KMTemporary suppression of visual processing in an RSVP Task: an attentional blinkJ Exp Psychol Hum Percept Perform199218384986010.1037/0096-1523.18.3.849Google ScholarGoogle ScholarCross RefCross Ref
  44. Rol01 Rolls ETStringer SMA model of the interaction between mood and memoryNetw: Comput Neural Syst200112891090969.9201110.1080/713663216Google ScholarGoogle Scholar
  45. Rol98 Rolls ETTreves ANeural networks and brain function1998OxfordOxford University PressGoogle ScholarGoogle Scholar
  46. RMP86 Rumelhart DEMcClelland JLthePDP Research GroupParallel distributed processing, explorations in the microstructure of cognition. Volume 1: Foundations and Volume 2: Psychological and Biological Models, a Bradford book1986CambridgeMIT PressGoogle ScholarGoogle Scholar
  47. SWH98 Schmolesky MWang YHanes DThompson KLeutgeb SSchall JLeventhal AGSignal timing across the Macaque visual systemJ Neurophysiopl199879632723278Google ScholarGoogle ScholarCross RefCross Ref
  48. SCS97 Shapiro KLCaldwell JISorensen REPersonal names and the attentional blink: the cocktail party revisitedJ Exp Psychol Hum Percept Perform19972350451410.1037/0096-1523.23.2.504Google ScholarGoogle ScholarCross RefCross Ref
  49. Sha99 Shapiro KL, Luck SJ (1999) The attentional blink: a front-end mechanism for fleeting memories. In: Fleeting memories, cognition of brief visual stimuli, A Bradford book. MIT Press, Boston, pp 95–118Google ScholarGoogle Scholar
  50. Sno88 Snodgrass JGCorwin JPragmatics of measuring recognition memory: applications to dementia and amnesiaJ Exp Psychol Gen19881171345010.1037/0096-3445.117.1.34Google ScholarGoogle ScholarCross RefCross Ref
  51. SSH75 Squires NKSquires KCHillyard SATwo varieties of long-latency positive waves evoked by unpredictable auditory stimuli in manElectroencephalogr Clin Neurophysiol197538438740110.1016/0013-4694(75)90263-1Google ScholarGoogle ScholarCross RefCross Ref
  52. SBB07 Su L, Bowman H, Barnard PJ (2007) Attentional capture by meaning: a multi-level modelling study. In: Proceedings of the 29th Annual Cognitive Science Society. Cognitive Science Society, Austin, pp 1521–1526Google ScholarGoogle Scholar
  53. SBB08 Su L, Bowman H, Barnard PJ (2008) Performance of reactive interfaces in stimulus rich environments, applying formal methods and cognitive frameworks. In: The 2nd International Workshop on Formal Methods for Interactive Systems FMIS2007 (held in conjunction with HCI2007), Electronic Notes in Theoretical Computer Science, vol 208. Elsevier, Amsterdam, pp 95–111Google ScholarGoogle Scholar
  54. Tea93 Teasdale JDBarnard PJAffect, cognition and change: re-modelling depressive thought1993HoveLawrence Erlbaum AssociatesGoogle ScholarGoogle Scholar
  55. Vid73 Vidal JJToward direct brain-computer communicationAnn Rev Biophys Bioeng1973215718010.1146/annurev.bb.02.060173.001105Google ScholarGoogle ScholarCross RefCross Ref
  56. VLS98 Vogel EKLuck SJShapiro KLElectrophysiological evidence for a postperceptual locus of suppression during the attentional blinkJ Exp Psychol Hum Percept Perform19982461656167410.1037/0096-1523.24.6.1656Google ScholarGoogle Scholar
  57. WMC02 Wang M, Madhyastha T, Chan NH, Papadimitriou S, Faloutsos C (2002) Data mining meets performance evaluation: fast algorithms for modeling bursty traffic. In: 18th International Conference on Data EngineeringGoogle ScholarGoogle Scholar
  58. Wyb05 Wyble B, Bowman H (2005) Computational and experimental evaluation of the attentional blink: testing the simultaneous type serial token model. In: Bara BG, Barsalou LW, Bucciarelli M (eds) CogSci 2005, XXVII Annual Conference of the Cognitive Science Society. Cognitive Science Society, Cognitive Science Society through Lawrence Erlbaum, Austin, pp 2371–2376Google ScholarGoogle Scholar
  59. WCB06 Wyble B, Craston P, Bowman H (2006) Electrophysiological feedback in adaptive human–computer interfaces, Technical Report 8-06, Computing Laboratory, University of Kent, Canterbury, UKGoogle ScholarGoogle Scholar

Index Terms

  1. Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
            Index terms have been assigned to the content through auto-classification.

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader