Knowledge Representation of Design in Many-Sorted Logic

Markusz, Zsuzsanna

Knowledge Representation of Design in Many-Sorted Logic

Download BibTeX Cite

Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Nowledge Representation. 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.

Zsuzsanna Markusz. 1981. Knowledge Representation of Design in Many-Sorted Logic. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81. IJCAI, 264–268. https://ijcai.org/proceedings/1981/54

@inproceedings{ijcai1981p54,
  title     = {Knowledge Representation of Design in Many-Sorted Logic},
  author    = {Markusz, Zsuzsanna},
  booktitle = {Proceedings of the Seventh International Joint Conference on
               Artificial Intelligence, {IJCAI-81}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Roger C. Schank},
  pages     = {264--268},
  year      = {1981},
  month     = {8},
  note      = {Nowledge Representation},
  url       = {https://ijcai.org/proceedings/1981/54},
}

TY  - CPAPER
TI  - Knowledge Representation of Design in Many-Sorted Logic
AU  - Markusz, Zsuzsanna
T2  - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1981
SP  - 264
EP  - 268
UR  - https://ijcai.org/proceedings/1981/54
ER  -