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

• Autorzy: Palacz W. , Grabska E. , Ślusarczyk G. , Gajek S.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

design requirements; many-sorted first-order logic; knowledge-based reasoning; design support system; hierarchical hypergraph

• Wydawca: Oficyna Wydawnicza Politechniki Warszawskiej
• Czasopismo: Machine Dynamics Research
• Rocznik: 2015
• Tom: Vol. 39, No. 4
• Strony: 133--144
• Opis fizyczny: Bibliogr. 6 poz., rys.

Twórcy

autor

Palacz W.

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

autor

Grabska E.

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

autor

Ślusarczyk G.

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

autor

Gajek S.

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

Bibliografia

• 1. Grabska, E., Borkowski, A., Palacz, W., Gajek, Sz., 2009, Hypergraph System Supporting Design and Reasoning, in: Huhnt, W. (ed.), Computing in Engineering EG-ICE Conference 2009, Shaker Verlag, pp. 134-141.
• 2. Grabska, E., Ślusarczyk, G., 2011, Knowledge and reasoning in design system, Automation in Construction, 20 (7), Elsevier, pp. 927-934.
• 3. Khemlani, L., 2005, CORENET e-PlanCheck: Singapore’s Automated Code Checking System, AECBytes.
• 4. Manzano, M., 1993, Introduction to Many-Sorted Logic, in: Meinke, K., Tucker, J.V. (eds.), Many-Sorted Logic and Its Applications, Wiley, pp. 3-86.
• 5. Palacz, W., Grabska, G., Gajek, Sz., 2011, Conceptual Designing Supported by Automated Checking of Design Requirements and Constraints, in: Frey, D. D. et al. (eds.), Improving Complex Systems Today, Springer-Verlag, pp. 257-265.
• 6. Ryś, P., 2011, Designing truss towers with the use of hypergraphs, M.Sc. Thesis in Polish, Jagiellonian University.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.