Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: knowledge-based reasoning

Sortuj według:

Ogranicz wyniki do:

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.