Powiadomienia systemowe
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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.
Czasopismo
Rocznik
Tom
Strony
133--144
Opis fizyczny
Bibliogr. 6 poz., rys.
Twórcy
autor
- Faculty of Physics, Astronomy and Applied Computer Science, Jagiellonian University
autor
- Faculty of Physics, Astronomy and Applied Computer Science, Jagiellonian University
autor
- Faculty of Physics, Astronomy and Applied Computer Science, Jagiellonian University
autor
- 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ę.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-7f055a82-6d2a-4bff-9028-41f1e7a33d16