Finite Systems Handling Language (YAFOLL message 1)

Studia Humana

Shkotin Alex¹ 

[1] ACM 60-letiya Oktyabrya prospect 5/1-60 119334, Moscow, Russia;

关键词: finite model;    formal ontology;    formal language;    knowledge representation;   

DOI  :  10.1515/sh-2015-0021

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown