Ingredients of intelligent user interfaces
International Journal of Man-Machine Studies
Interface design issues for advice-giving expert systems
Communications of the ACM
Attention, intentions, and the structure of discourse
Computational Linguistics
Automating the design of graphical presentations of relational information
ACM Transactions on Graphics (TOG)
Prose generation from expert systems
AI Magazine
Interacting with Computers
JANUS: integrating hypertext with a knowledge-based design environment
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
Data characterization for intelligent graphics presentation
CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Current research in natural language generation
Current research in natural language generation
Unresolved issues in paragraph planning
Current research in natural language generation
Natural language generation in COMET
Current research in natural language generation
Intelligent user interfaces
DETENTE: practical support for practical action
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Human interaction with intelligent systems: an overview and bibliography
ACM SIGART Bulletin
Intelligent multi-media interface technology
Intelligent user interfaces
Presentation design using an integrated knowledge base
Intelligent user interfaces
An architecture for knowledge-based graphical interfaces
Intelligent user interfaces
A problem for RST: the need for multi-level discourse analysis
Computational Linguistics
Why looking isn't always seeing: readership skills and graphical programming
Communications of the ACM
Communication and Concurrency
IEEE Software
Explanations in Knowledge Systems: Design for Explainable Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Planning text for advisory dialogues
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Software architectures in industrial systems: an empirical study
ISAW '98 Proceedings of the third international workshop on Software architecture
CT '01 Proceedings of the 4th International Conference on Cognitive Technology: Instruments of Mind
Hi-index | 0.01 |
The design and assessment of safety critical systems often involves broad and distributed teams of designers, suppliers and analysts who represent diverse areas of expertise and motivations. Accurate and effective communication between these groups is therefore an issue of primary importance. The formalisation of specifications and arguments of safety can be of significant benefit in ensuring the consistency of evidence in such cases, when it must be presented across many domains. However, a formal description of a safety critical system may be unconvincing unless it is presented in a form which is (or forms which are) accessible to the broad range of users and assessors of safety cases. This raises issues of human communication which include the tailoring of information to particular communicative tasks; the efficacy of differing media for communication and the cognitive impact that such differing media have. This paper draws together work in fields of knowledge engineering, knowledge based systems and human communication in an effort to address, from a sound theoretical basis, these and other communication issues raised by the use of formal descriptions in safety critical systems. Further, this paper argues that a primary role for knowledge based systems techniques in safety critical systems is in supporting the communication of information.