Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Machine Dynamics Research

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: design support system

Sortuj według:

Ogranicz wyniki do:

Design Supported by Many-Sorted First-Order Logic Constraints with Aggregate Operators

Palacz W.

Machine Dynamics Research

2017

Vol. 41, No. 4

43--50

This paper is concerned with automatic checking of design constraints. It continues the work presented in (Palacz, 2015) by proposing an enhanced version of the constraint specification language described in that paper. The language is based on many-sorted first-order logic formulas - the proposed extension adds five new operators which calculate aggregates of single values. This considerably increases the expressive power of the language and makes it applicable to a wider range of design tasks.

Engineering Design Supported by Many-Sorted First-Order Logic-Based Reasoning

Palacz W., Grabska E., Ślusarczyk G., Gajek S.

Machine Dynamics Research

2015

Vol. 39, No. 4

133-144

This paper presents a computer system supporting conceptual design. The knowledge about designs saved in hierarchical hypergraphs allows the system to check if the current state of designs fulfills predefined constraints. The constraints are stored in external files, in the form of logic formulas. Originally, first-order logic was used; this paper proposes replacing it with many-sorted first-order logic.