< Back to previous page
Towards a Higher Level of Abstraction for Knowledge Representation Languages
Book - Dissertation
This doctorate aims to enrich logical specification languages, such as FO(·), with additional levels of abstraction: one the one hand structured recursive types and generic types, on the other hand relations as first class citizens. FO(·) tries to support natural and powerful representations of problem knowledge, but this is not always optimal because well known representations from other paradigms are not supported.Supporting structured recursive types and generic types such as lists or trees will make it possible to better the modularity and reusability of specifications.