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

• Autorzy: Palacz W.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

design requirements; design support system; constraints; many-sorted first-order logic; aggregate functions

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Machine Dynamics Research
• Rocznik: 2017
• Tom: Vol. 41, No. 4
• Strony: 43--50
• Opis fizyczny: Bibliogr. 4 poz., schem.

Twórcy

autor

Palacz W.

• Jagiellonian University. The Faculty of Physics, Astronomy and Applied Computer Science

Bibliografia

• 1. Bhatt, M., Gajek, S., Grabska, E., and Palacz, W. (2011). Artefactual reasoning in a hypergraph-based cad system. In Computer Recognition Systems 4, pages 471–478. Springer.
• 2. Codd, E. F. (1970). A relational model of data for large shared data banks. Communications of the ACM, 13(6):377–387.
• 3. Manzano, M. (1993). Introduction to many-sorted logic. In Many-sorted Logic and its Applications, pages 3–86. John Wiley & Sons, Inc.
• 4. Palacz, W., Grabska, E., Ślusarczyk, G., and Gajek, S. (2016). Engineering design supported by many-sorted first-order logic-based reasoning. Machine Dynamics Research, 39(4).