Possible versus desirable in instructional systems: Who's driving?

This paper takes a pragmatic stance that the key to successful application of technology in education is good teaching: using technology only when it is a cost‐effective servant of pedagogy. The paper discusses some fundamental issues in the production of computer‐based materials, and considers them in the context of an on‐going evaluation of an Internet courseware project

Modeling the Structure and Complexity of Engineering Routine Design Problems

This paper proposes a model to structure routine design problems as well as a model of its design complexity. The idea is that having a proper model of the structure of such problems enables understanding its complexity, and likewise, a proper understanding of its complexity enables the development of systematic approaches to solve them. The end goal is to develop computer systems capable of taking over routine design tasks based on generic and systematic solving approaches. It is proposed to structure routine design in three main states: problem class, problem instance, and problem solution. Design complexity is related to the degree of uncertainty in knowing how to move a design problem from one state to another. Axiomatic Design Theory is used as reference for understanding complexity in routine design

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning

Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets of models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, the satisfaction of which is parametrized by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided.Comment: 36 page

The Potential of the Digital Anatomist Foundational Model for Assuring Consistency in UMLS Sources

Inconsistent anatomical concept representation can be identified in anatomy textbooks and hard copy term lists, as well as in UMLS source vocabularies and other controlled medical terminologies. In this report we select some examples of inconsistent representations of anatomical concepts, and illustrate how these inconsistencies can be explained and reconciled by the Digital Anatomist Foundational Model1. We use this process for gaining a measure of the validity of the logic-based Model