PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  diagrammatic reasoning
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Hierarchical layout hypergraph operations and diagrammatic reasoning
Grabska E., Łachwa A., Ślusarczyk G., Grzesiak-Kopeć K., Lembas J.
Machine Graphics and Vision
|
2007
|
Vol. 16, No. 1/2
23-38
EN
This paper deals with a new, computer-aided approach to floor-layout design. The approach proposes: firstly, a specific layout language with a syntactic knowledge defined by means of hierarchical hypergraphs; secondly, a correspondence between layout modifications and hypergraph operations. An initial layout drawn by the designer is automatically converted into a hypergraph and each designer's modification to the layout is reflected in the hypergraph structure. Our new approach is illustrated by a step by step example, where two complementary representations of the same floor-layout design are used.
2
Content available remote What makes a system less graphical?
Shimojima A.
Machine Graphics and Vision
|
2003
|
Vol. 12, No. 1
99-115
EN
Certain representation systems, loosely called "linguistic" ones, seems to lack the inferential efficiency, the expressive inflexibility, and the expressive richness possessed by certain other systems, loosely called "graphical ones. This paper investigates the semantic mechanism underlying this intuitive phenomenom, and attributes a reason to the fact that semantic interpretation in "linguistic" systems is only applied to fairly specific properties of representations.
3
Content available remote Self-consistency, imprecision, and impossible cases in diagrammatic representations
Kulpa Z.
Machine Graphics and Vision
|
2003
|
Vol. 12, No. 1
147-160
EN
The main argument against the use of diagrams in rigorous reasoning is that they are unreliable. Thus, a serious error source anlysis for this kind of reasoning should be undertaken, and proper diagrammatic reasoning procedures formulated as a result. As yet, little has been done in this matter. In this paper, one aspect of this problem is addressed, namely errors resulting in generation of so-called impossible cases in diagrammatic representations, violating the property of self-consistency claimed to hold for them. It is shown that the lack of self-consistency is in generar due to limited analogicity of many diagrammatic representations, either because of limited precision of diagrams, or of certain structural properties of the visual language used. Several examples of these effects are shown and analyzed informally, with suggestions for possible remedies and for more formal analysis of the effects.
4
Content available remote Diagrammatic spreadsheet
Le T. L., Kulpa Z.
Machine Graphics and Vision
|
2003
|
Vol. 12, No. 1
133-146
EN
The diagramatic spreadsheet concept to develop a fully interactive animated diagrammatic system in which the transformation and animation of the diagram is interactively avaible to the user in a click-and-drag mode, and the description of what elements can move, and in what way (according to the required constraints between their components) can be also easily and interactively defined by the user. A constraint is used here like a formula in a spreadsheet, which is employed to automatically recompute the value of a cell whenever any other cells bound to it by the constraint undergo change. The graphical elements of the diagram play the role of spreadsheet cells, and their various attributes constitute the cell contents. The system may be used by human users for interactive exploration of diagrammatic representation and reasoning problems, or as a front-end to a more automatic diagrammatic inference system. In the paper, an overview of this concept and general construction principles of the system are described.
5
Content available remote Design and reasoning with diagrams
Grabska E.
Machine Graphics and Vision
|
2003
|
Vol. 12, No. 1
5-16
EN
In this paper a new framework for conceptual design based on diagrammatic reasoning is sketched. The approach considers a dynamic context for design. The main phases of the design process are treated as different classes of situations in the appropriate world and as such they belong to their own classifications domains. The notion of classification allows one to model constraints that govern the construction diagrams to be drawn or generated.
6
Content available remote Characterization of convex and pointisable interval relations by diagrammatic methods
Kulpa Z., Le T. L.
Machine Graphics and Vision
|
2000
|
Vol. 9, No. 1/2
221-231
EN
In the paper diagrammatic methods are used to demonstrate equivalence of different characterizations of convex and pointisable interval relations. The diagrammatic tools used are introduced: the MR-diagram for interval space, the W-diagram for representing arrangement interval relations, and the conjunction and lattice diagrams. Two theorems on characterizations on convex and pointisable relation classes are given. The proof of the first theorem has been published by Kulpa elsewhere; the second theorem on pointisable relations is proven in this paper with the help of the diagrammatic tools introduced.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.