Ciclo di seminari
Seminario Synergia
Abstract dell'evento
Interactive systems may appear to work correctly and safely when analysed in isolation from the human environment in which they are supposed to work. In fact, the same cognitive skills that enable humans to perform complex tasks may also become the source of critical errors in the interaction with systems and devices designed as supports for such tasks. It is thus essential to verify the desired properties of an interactive system using a model that not only includes a user-centered description of the task, but also incorporates a representation of human cognitive processes within the task execution. This seminar introduces the Behaviour and Reasoning Description Language (BRDL), a notation for rigorously describing human tasks in terms of the cognitive processes associated with human cognition: perception, attention, and information storage, processing and retrieval. The semantics of BRDL is based on a basic model of human memory and memory processes and is adaptable to the different cognitive theories that have been developed in psychology. This allows us, on the one hand, to keep the syntax of the language to a minimum, thus making it easy to learn and understand without requiring expertise in mathematics or formal methods and, on the other hand, to use semantic variations to compare alternative theories of memory and cognition. Such semantics variations have been implemented using Maude, a modelling language and tool that supports both simulation and formal analysis of properties using model checking. Within the Maude implementation the BRDL model can be combined with the formal model of a computer system, thus modelling human-computer interaction. Therefore, BRDL can be successfully used at two levels: (1) as an informal modelling and reasoning tool for domain experts from the areas of psychology and usability evaluation, and (2) as a formal tool for performing in silico experiments on human cognition, behaviour and learning and for carrying out the simulation and formal verification of interactive systems.
Programma
Antonio Cerone (Department of Computer Science, SEDS, Nazarbayev University, Astana, Kazakhstan)
“Analysis of cognitive properties of interactive systems using model-checking”
Dettagli sull'evento
Data e luogo
Inizio: 25/06/2024
alle ore 10:00
Fine: 25/06/2024
alle ore 12:00
Collegio Raffaello (Urbino, Piazza della Repubblica, 13) Aula Magna
Organizzato e promosso da:
Dipartimento di Scienze Pure e Applicate
Scuola di Scienze, Tecnologie e Filosofia dell'Informazione
LM-78 - Classe delle lauree magistrali in scienze filosofiche - Filosofia dell'informazione. Teoria e gestione della conoscenza
Modalità di partecipazione
Altre informazioni utili
Ingresso libero.
Per informazioni: pierluigi.graziani@uniurb.it
