---
title: "Knowledge Representation of Design in Many-Sorted Logic"
authors:
  - "Zsuzsanna Markusz"
doi: ""
url: "https://ijcai.org/proceedings/1981/54"
pdf: "https://ijcai.org/proceedings/1981/0054.pdf"
venue: "Proceedings of the Seventh International Joint Conference on Artificial Intelligence"
year: 1981
pages: "264-268"
track: "Nowledge Representation"
keywords:
---

# Knowledge Representation of Design in Many-Sorted Logic

Zsuzsanna Markusz

*Proceedings of the Seventh International Joint Conference on Artificial Intelligence*, pages 264-268.

## 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.