Finite Systems Handling Language (YAFOLL message 1)

Abstract

The concept a finite multi-carrier algebraic system (FMAS) as well as a language for handling systems such as YAFOLL (Yet Another First Order Logic Language) are introduced. The applicability of such systems to building a mathematical model of a part of reality, i.e. a mathematical structure that can be asked questions about the properties of subject domain objects and processes, is demonstrated.

Keywords

• finite model
• formal ontology
• formal language
• knowledge representation