Predicate Logic Involving Data Structure as a Knowledge Representation Language
Abstract
A modification of predicate logic, called multilayered logic, is discussed. It is designed as the knowledge representation language for describing the systems that uses engineering knowledge to support the system analysis and design. A multi level data structure is used to represent the complex systems in which an abstract entity at a level of abstraction is formed as the collection of the entities at the next lower level. Multi layered logic adapts to this structure of the system and meets the conditions for supporting analysis and design of complex systems.
Cite
Text
Ohsuga. "Predicate Logic Involving Data Structure as a Knowledge Representation Language." International Joint Conference on Artificial Intelligence, 1983.Markdown
[Ohsuga. "Predicate Logic Involving Data Structure as a Knowledge Representation Language." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/ohsuga1983ijcai-predicate/)BibTeX
@inproceedings{ohsuga1983ijcai-predicate,
title = {{Predicate Logic Involving Data Structure as a Knowledge Representation Language}},
author = {Ohsuga, Setsuo},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1983},
pages = {391-394},
url = {https://mlanthology.org/ijcai/1983/ohsuga1983ijcai-predicate/}
}