Studia humana (SH) is a multi-disciplinary peer reviewed journal publishing valuable
contributions on any aspect of human sciences such as...
read more...
The article in the issue 4:4:
The date of the publication:
2016-02-15
The number of pages:
52
The issue:
4:4
Commentaries:
0
The Authors
Konrad Szocik, Alex Shkotin, Vitaly I. Levin, Aneta Szyja, Beata Płonka, Béla Mester,
Since 2008 the software engineer in www.sgm.ru, math knowledge representation in geology, mostly using FOL, CNL and OWL 2, developing IS. From 2001 to 2008 the research fellow in Computing Centre RAS. From 1998 to 2001 the consultant in Price Waterhouse Coopers.
Email: ashkotin@acm.org
ARTICLE:
Finite Systems Handling Language
(YAFOLL message 1)
autor: Alex Shkotin,
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.
