منابع مشابه
Adding a Dimension to Logic Diagramming
A blind learner needs some method other than Venn diagrams to test syllogisms for validity. I present here a sketch of a three-dimensional apparatus, Sylloid, invented to fill this need and to inculcate deep learning rather than the mere ability to get answers right. What one learns in the design process is then used in designing a successor, Son of Sylloid, for sighted users that is pedagogica...
متن کاملAdding Dimension to Merger Analysis
Traditional merger analysis in the U.S. focuses on a single dimension, namely the combination of two or more firms that supply substitutable products. As such, merger analysis misses the fact that there are various types of mergers – e.g., hostile takeovers, friendly acquisitions, and mergers of equals – and that the differences among these types affect outcomes. Similarly missing is explicit c...
متن کاملAdding Search to Zinc
We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound...
متن کاملAdding Search to a Declarative Modelling Language
Modellers would like to automatically translate a declarative conceptual model of a constrained combinatorial problem into an efficient design model. However, for efficiency, most solving techniques require a model-specific search strategy, which is inherently procedural and, thus, difficult to integrate with the declarative conceptual model. This paper describes a small, non-intrusive extensio...
متن کاملAdding a temporal dimension to a logic system
We introduce a methodology whereby an arbitrary logic system L can be en riched with temporal features to create a new system T L The new system is constructed by combining L with a pure propositional temporal logic T such as linear temporal logic with Since and Until in a special way We refer to this method as adding a temporal dimension to L or just temporalising L We show that the logic syst...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Vision
سال: 2016
ISSN: 1534-7362
DOI: 10.1167/16.12.990