Task analysis of discrete and continuous skills: a dual methodology approach to human skills capture for automation

There is a growing requirement within the field of intelligent automation for a formal methodology to capture and classify explicit and tacit skills deployed by operators during complex task performance. This paper describes the development of a dual methodology approach which recognises the inherent differences between continuous tasks and discrete tasks and which proposes separate methodologies for each. Both methodologies emphasise capturing operators’ physical, perceptual, and cognitive skills, however, they fundamentally differ in their approach. The continuous task analysis recognises the non-arbitrary nature of operation ordering and that identifying suitable cues for subtask is a vital component of the skill. Discrete task analysis is a more traditional, chronologically ordered methodology and is intended to increase the resolution of skill classification and be practical for assessing complex tasks involving multiple unique subtasks through the use of taxonomy of generic actions for physical, perceptual, and cognitive actions

Rules and principles in cognitive diagnoses

Cognitive simulation is concerned with constructing process models of human cognitive behavior. Our work on the ACM system (Automated Cognitive Modeler) is an attempt to automate this process. The basic assumption is that all goal-oriented cognitive behavior involves search through some problem space. Within this framework, the task of cognitive diagnosis is to identify the problem space in which the subject is operating, identify solution paths used by the subject, and find conditions on the operators that explain those solution paths and that predict the subject's behavior on new problems. The work presented in this paper uses techniques from machine learning to automate the tasks of finding solution paths and operator conditions. We apply this method to the domain of multi-column subtraction and present results that demonstrate ACM's ability to model incorrect subtraction strategies. Finally, we discuss the difference between procedural bugs and misconceptions, proposing that errors due to misconceptions can be viewed as violations of principles for the task domain

Automating human skills : preliminary development of a human factors methodology to capture tacit cognitive skills

Despite technological advances in intelligent automation, it remains difficult for engineers to discern which manual tasks, or task components, would be most suitable for transfer to automated alternatives. This research aimed to develop an accurate methodology for the measurement of both observable and unobservable physical and cognitive activities used in manual tasks for the capture of tacit skill. Experienced operators were observed and interviewed in detail, following which, hierarchical task analysis and task decomposition methods were used to systematically explore and classify the qualitative data. Results showed that a task analysis / decomposition methodology identified different types of skill (e.g. procedural or declarative) and knowledge (explicit or tacit) indicating this methodology could be used for further human skill capture studies. The benefit of this research will be to provide a methodology to capture human skill so that complex manual tasks can be more efficiently transferred into automated processes

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Occupational Cultures as a Challenge to Technological Innovation

This paper explains conflict over technological process innovation in cultural terms, drawing primarily on a case study of electric power distribution and strategies to automate its operation