Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Communication Error Determination System for Multi-layered or Chained Situations

Abel A., Ohsawa Y., Ozaku H.I., Sagara K., Kuwahara N., Kogure K.

Fundamenta Informaticae

2010

Vol. 98, nr 1

123-142

Many medical accidents and incidents occurred due to communication errors. To avoid such incidents, in this paper, we propose a system for determining communication errors. Especially, we propose a model that can be applied to multi-layered or chained situations. First, we provide an overview of communication errors in nursing activities. Then we describe the warp and woof model for nursing task that was proposed by Harada and considers multi-layered or chained situations. Next we describe a system for determining communication errors based on the warp and woof model for nursing task. The system is capable of generating nursing activity diagrams semiautomatically and compiles necessary nursing activities. We also propose a prototype tagging of the nursing corpus for an effective generation of the diagrams. Then we combine the diagram generation with the Kamishibai KeyGraph to determine possible points of the hidden or potential factors of communication errors.

Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs

Abel A., Coquand T.

Fundamenta Informaticae

2007

Vol. 77, nr 4

345-395

Martin-Löf's Logical Framework is extended by strong S-types and presented via judgmental equality with rules for extensionality and surjective pairing. Soundness of the framework rules is proven via a generic PER model on untyped terms. An algorithmic version of the framework is given through an untyped bh-equality test and a bidirectional type checking algorithm. Completeness is proven by instantiating the PER model with h-equality on b-normal forms, which is shown equivalent to the algorithmic equality.