Knowledge Representation of Design in Many-Sorted Logic
Abstract
The paper presents a formal tool of modelling of constructional design, where the cardinal issue is knowledge representation. It is shown that the structures of classical mathematical logic, such as t-type many-sorted models, can be applied almost directly to represent the world of a certain designing task. Using the PROLOG programming system, the logical representation of the task yields, at the same time, its automated solution. The most important moment of modelling a task of this kind is fixing the appropriate type of the structures. A PROLOG program for designing many-storied buildings is taken as an example.
Cite
Text
Markusz. "Knowledge Representation of Design in Many-Sorted Logic." International Joint Conference on Artificial Intelligence, 1981.Markdown
[Markusz. "Knowledge Representation of Design in Many-Sorted Logic." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/markusz1981ijcai-knowledge/)BibTeX
@inproceedings{markusz1981ijcai-knowledge,
title = {{Knowledge Representation of Design in Many-Sorted Logic}},
author = {Markusz, Zsuzsanna},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1981},
pages = {264-269},
url = {https://mlanthology.org/ijcai/1981/markusz1981ijcai-knowledge/}
}