{"type":"ScholarlyArticle","title":"Predicate Logic Involving Data Structure as a Knowledge Representation Language","authors":[{"name":"Setsuo Ohsuga","slug":"setsuo-ohsuga","given":"Setsuo","family":"Ohsuga","affiliation":""}],"abstract":"A modification of predicate logic, called multi layered 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 ne~t lower level. Multi layered logic adapts to this structure of the system and meets the conditions for supporting analysis and design of complex systems,","doi":null,"url":"https://ijcai.org/proceedings/1983/94","pdf":"https://ijcai.org/proceedings/1983/0094.pdf","markdown":"https://ijcai.org/proceedings/1983/94.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/94","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":94,"pages":{"first":391,"last":393},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}