Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 26
Book Description
On Abstractions and Simplifications in the Design of Human-Automation Interfaces
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 26
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 26
Book Description
On Abstractions and Simplifications in the Design of Human-Automation Interfaces
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
ISBN: 9781721511488
Category :
Languages : en
Pages : 26
Book Description
This report addresses the design of human-automation interaction from a formal perspective that focuses on the information content of the interface, rather than the design of the graphical user interface. It also addresses the issue of the information provided to the user (e.g., user-manuals, training material, and all other resources). In this report, we propose a formal procedure for generating interfaces and user-manuals. The procedure is guided by two criteria: First, the interface must be correct, that is, with the given interface the user will be able to perform the specified tasks correctly. Second, the interface should be succinct. The report discusses the underlying concepts and the formal methods for this approach. Two examples are used to illustrate the procedure. The algorithm for constructing interfaces can be automated, and a preliminary software system for its implementation has been developed. Heymann, Michael and Degani, Asaf and Clancy, Daniel (Technical Monitor) Ames Research Center NASA/TM-2002-211397, IH-024, NAS 1.15:211397
Publisher: Createspace Independent Publishing Platform
ISBN: 9781721511488
Category :
Languages : en
Pages : 26
Book Description
This report addresses the design of human-automation interaction from a formal perspective that focuses on the information content of the interface, rather than the design of the graphical user interface. It also addresses the issue of the information provided to the user (e.g., user-manuals, training material, and all other resources). In this report, we propose a formal procedure for generating interfaces and user-manuals. The procedure is guided by two criteria: First, the interface must be correct, that is, with the given interface the user will be able to perform the specified tasks correctly. Second, the interface should be succinct. The report discusses the underlying concepts and the formal methods for this approach. Two examples are used to illustrate the procedure. The algorithm for constructing interfaces can be automated, and a preliminary software system for its implementation has been developed. Heymann, Michael and Degani, Asaf and Clancy, Daniel (Technical Monitor) Ames Research Center NASA/TM-2002-211397, IH-024, NAS 1.15:211397
On Abstractions and Simplifications in the Design of Human-Automation Interfaces
Author: National Aeronautics and Space Adm Nasa
Publisher: Independently Published
ISBN: 9781724085832
Category :
Languages : en
Pages : 26
Book Description
This report addresses the design of human-automation interaction from a formal perspective that focuses on the information content of the interface, rather than the design of the graphical user interface. It also addresses the issue of the information provided to the user (e.g., user-manuals, training material, and all other resources). In this report, we propose a formal procedure for generating interfaces and user-manuals. The procedure is guided by two criteria: First, the interface must be correct, that is, with the given interface the user will be able to perform the specified tasks correctly. Second, the interface should be succinct. The report discusses the underlying concepts and the formal methods for this approach. Two examples are used to illustrate the procedure. The algorithm for constructing interfaces can be automated, and a preliminary software system for its implementation has been developed. Heymann, Michael and Degani, Asaf and Clancy, Daniel (Technical Monitor) Ames Research Center NASA/TM-2002-211397, IH-024, NAS 1.15:211397...
Publisher: Independently Published
ISBN: 9781724085832
Category :
Languages : en
Pages : 26
Book Description
This report addresses the design of human-automation interaction from a formal perspective that focuses on the information content of the interface, rather than the design of the graphical user interface. It also addresses the issue of the information provided to the user (e.g., user-manuals, training material, and all other resources). In this report, we propose a formal procedure for generating interfaces and user-manuals. The procedure is guided by two criteria: First, the interface must be correct, that is, with the given interface the user will be able to perform the specified tasks correctly. Second, the interface should be succinct. The report discusses the underlying concepts and the formal methods for this approach. Two examples are used to illustrate the procedure. The algorithm for constructing interfaces can be automated, and a preliminary software system for its implementation has been developed. Heymann, Michael and Degani, Asaf and Clancy, Daniel (Technical Monitor) Ames Research Center NASA/TM-2002-211397, IH-024, NAS 1.15:211397...
Abstraction, Reformulation, and Approximation
Author: Sven Koenig
Publisher: Springer
ISBN: 3540456228
Category : Computers
Languages : en
Pages : 360
Book Description
It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.
Publisher: Springer
ISBN: 3540456228
Category : Computers
Languages : en
Pages : 360
Book Description
It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.
Taming HAL
Author: A. Degani
Publisher: Springer
ISBN: 140398252X
Category : Technology & Engineering
Languages : en
Pages : 315
Book Description
This book is an exploration of interaction between humans, computers and automated machines and why they frequently go awry, sometimes with disastrous consequences. The book lays out a clear foundation for evaluating interactions between users and machines, showing the reader how to describe, analyze and quickly identify potential design problems. The insights and methodologies provided allow the reader to understand the root human-interaction problems in modern systems, improve the usability of new user interfaces, and, the author hopes, have a say in the design of the highly automated systems of the future.
Publisher: Springer
ISBN: 140398252X
Category : Technology & Engineering
Languages : en
Pages : 315
Book Description
This book is an exploration of interaction between humans, computers and automated machines and why they frequently go awry, sometimes with disastrous consequences. The book lays out a clear foundation for evaluating interactions between users and machines, showing the reader how to describe, analyze and quickly identify potential design problems. The insights and methodologies provided allow the reader to understand the root human-interaction problems in modern systems, improve the usability of new user interfaces, and, the author hopes, have a say in the design of the highly automated systems of the future.
Adaptive Perspectives on Human-Technology Interaction : Methods and Models for Cognitive Engineering and Human-Computer Interaction
Author: Alex Kirlik Professor of Human Factors University of Illinois at Urbana-Champaign
Publisher: Oxford University Press, USA
ISBN: 0199705429
Category : Computers
Languages : en
Pages : 331
Book Description
In everyday life, and particularly in the modern workplace, information technology and automation increasingly mediate, augment, and sometimes even interfere with how humans interact with their environment. How to understand and support cognition in human-technology interaction is both a practically and socially relevant problem. The chapters in this volume frame this problem in adaptive terms: How are behavior and cognition adapted, or perhaps ill-adapted, to the demands and opportunities of an environment where interaction is mediated by tools and technology? The authors draw heavily on the work of Egon Brunswik, a pioneer in ecological and cognitive psychology, as well as on modern refinements and extensions of Brunswikian ideas, including Hammond's Social Judgment Theory, Gigerenzer's Ecological Rationality and Anderson's Rational Analysis. Inspired by Brunswik's view of cognition as "coming to terms" with the "casual texture" of the external world, the chapters in this volume provide quantitative and computational models and measures for studying how people come to terms with an increasingly technological ecology, and provide insights for supporting cognition and performance through design, training, and other interventions. The methods, models, and measures presented in this book provide timely and important resources for addressing problems in the rapidly growing field of human-technology interaction. The book will be of interest to researchers, students, and practitioners in human factors, cognitive engineering, human-computer interaction, judgment and decision making, and cognitive science.
Publisher: Oxford University Press, USA
ISBN: 0199705429
Category : Computers
Languages : en
Pages : 331
Book Description
In everyday life, and particularly in the modern workplace, information technology and automation increasingly mediate, augment, and sometimes even interfere with how humans interact with their environment. How to understand and support cognition in human-technology interaction is both a practically and socially relevant problem. The chapters in this volume frame this problem in adaptive terms: How are behavior and cognition adapted, or perhaps ill-adapted, to the demands and opportunities of an environment where interaction is mediated by tools and technology? The authors draw heavily on the work of Egon Brunswik, a pioneer in ecological and cognitive psychology, as well as on modern refinements and extensions of Brunswikian ideas, including Hammond's Social Judgment Theory, Gigerenzer's Ecological Rationality and Anderson's Rational Analysis. Inspired by Brunswik's view of cognition as "coming to terms" with the "casual texture" of the external world, the chapters in this volume provide quantitative and computational models and measures for studying how people come to terms with an increasingly technological ecology, and provide insights for supporting cognition and performance through design, training, and other interventions. The methods, models, and measures presented in this book provide timely and important resources for addressing problems in the rapidly growing field of human-technology interaction. The book will be of interest to researchers, students, and practitioners in human factors, cognitive engineering, human-computer interaction, judgment and decision making, and cognitive science.
Human-Centered Computing
Author: Don Harris
Publisher: CRC Press
ISBN: 1000715949
Category : Technology & Engineering
Languages : en
Pages : 1501
Book Description
The 10th International Conference on Human-Computer Interaction, HCI International 2003, is held in Crete, Greece, 22-27 June 2003, jointly with the Symposium on Human Interface (Japan) 2003, the 5th International Conference on Engineering Psychology and Cognitive Ergonomics, and the 2nd International Conference on Universal Access in Human-Computer Interaction. A total of 2986 individuals from industry, academia, research institutes, and governmental agencies from 59 countries submitted their work for presentation, and only those submittals that were judged to be of high scientific quality were included in the program. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of humancomputer interaction, including the cognitive, social, ergonomic, and health aspects of work with computers. These papers also address major advances in knowledge and effective use of computers in a variety of diversified application areas, including offices, financial institutions, manufacturing, electronic publishing, construction, health care, disabled and elderly people, etc.
Publisher: CRC Press
ISBN: 1000715949
Category : Technology & Engineering
Languages : en
Pages : 1501
Book Description
The 10th International Conference on Human-Computer Interaction, HCI International 2003, is held in Crete, Greece, 22-27 June 2003, jointly with the Symposium on Human Interface (Japan) 2003, the 5th International Conference on Engineering Psychology and Cognitive Ergonomics, and the 2nd International Conference on Universal Access in Human-Computer Interaction. A total of 2986 individuals from industry, academia, research institutes, and governmental agencies from 59 countries submitted their work for presentation, and only those submittals that were judged to be of high scientific quality were included in the program. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of humancomputer interaction, including the cognitive, social, ergonomic, and health aspects of work with computers. These papers also address major advances in knowledge and effective use of computers in a variety of diversified application areas, including offices, financial institutions, manufacturing, electronic publishing, construction, health care, disabled and elderly people, etc.
Abstraction, Reformulation, and Approximation
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 380
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 380
Book Description
The Stack
Author: Benjamin H. Bratton
Publisher: MIT Press
ISBN: 026202957X
Category : Computers
Languages : en
Pages : 523
Book Description
A comprehensive political and design theory of planetary-scale computation proposing that The Stack—an accidental megastructure—is both a technological apparatus and a model for a new geopolitical architecture. What has planetary-scale computation done to our geopolitical realities? It takes different forms at different scales—from energy and mineral sourcing and subterranean cloud infrastructure to urban software and massive universal addressing systems; from interfaces drawn by the augmentation of the hand and eye to users identified by self—quantification and the arrival of legions of sensors, algorithms, and robots. Together, how do these distort and deform modern political geographies and produce new territories in their own image? In The Stack, Benjamin Bratton proposes that these different genres of computation—smart grids, cloud platforms, mobile apps, smart cities, the Internet of Things, automation—can be seen not as so many species evolving on their own, but as forming a coherent whole: an accidental megastructure called The Stack that is both a computational apparatus and a new governing architecture. We are inside The Stack and it is inside of us. In an account that is both theoretical and technical, drawing on political philosophy, architectural theory, and software studies, Bratton explores six layers of The Stack: Earth, Cloud, City, Address, Interface, User. Each is mapped on its own terms and understood as a component within the larger whole built from hard and soft systems intermingling—not only computational forms but also social, human, and physical forces. This model, informed by the logic of the multilayered structure of protocol “stacks,” in which network technologies operate within a modular and vertical order, offers a comprehensive image of our emerging infrastructure and a platform for its ongoing reinvention. The Stack is an interdisciplinary design brief for a new geopolitics that works with and for planetary-scale computation. Interweaving the continental, urban, and perceptual scales, it shows how we can better build, dwell within, communicate with, and govern our worlds. thestack.org
Publisher: MIT Press
ISBN: 026202957X
Category : Computers
Languages : en
Pages : 523
Book Description
A comprehensive political and design theory of planetary-scale computation proposing that The Stack—an accidental megastructure—is both a technological apparatus and a model for a new geopolitical architecture. What has planetary-scale computation done to our geopolitical realities? It takes different forms at different scales—from energy and mineral sourcing and subterranean cloud infrastructure to urban software and massive universal addressing systems; from interfaces drawn by the augmentation of the hand and eye to users identified by self—quantification and the arrival of legions of sensors, algorithms, and robots. Together, how do these distort and deform modern political geographies and produce new territories in their own image? In The Stack, Benjamin Bratton proposes that these different genres of computation—smart grids, cloud platforms, mobile apps, smart cities, the Internet of Things, automation—can be seen not as so many species evolving on their own, but as forming a coherent whole: an accidental megastructure called The Stack that is both a computational apparatus and a new governing architecture. We are inside The Stack and it is inside of us. In an account that is both theoretical and technical, drawing on political philosophy, architectural theory, and software studies, Bratton explores six layers of The Stack: Earth, Cloud, City, Address, Interface, User. Each is mapped on its own terms and understood as a component within the larger whole built from hard and soft systems intermingling—not only computational forms but also social, human, and physical forces. This model, informed by the logic of the multilayered structure of protocol “stacks,” in which network technologies operate within a modular and vertical order, offers a comprehensive image of our emerging infrastructure and a platform for its ongoing reinvention. The Stack is an interdisciplinary design brief for a new geopolitics that works with and for planetary-scale computation. Interweaving the continental, urban, and perceptual scales, it shows how we can better build, dwell within, communicate with, and govern our worlds. thestack.org
Proceedings
Author:
Publisher:
ISBN:
Category : Avionics
Languages : en
Pages : 626
Book Description
Publisher:
ISBN:
Category : Avionics
Languages : en
Pages : 626
Book Description