Finite Systems Handling Language (YAFOLL message 1)

• Autorzy: Alex Shkotin
• Języki publikacji: EN

Abstrakty

EN

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. (original abstract)

Słowa kluczowe

EN

Ontology; Knowledge; Mathematical models

PL

Ontologia; Wiedza; Modele matematyczne

• Czasopismo: Studia Humana
• Rocznik: 2015
• Tom: 4(4)
• Strony: 3--12

Twórcy

autor

Alex Shkotin

• ACM, Moscow, Russia

Bibliografia

• 1. Algebraic structure: 2015. https://en.wikipedia.org/wiki/Algebraic_structure. Accessed: 2015- 09- 18.
• 2. Barwise, J. 1982. Introduction to first order logic. In Reference Book on Mathematical Logic I, J. Barwise, Ed., Moscow, Nauka, 13-54.
• 3. Kolmogorov, A.N., Dragalin, A.G. Mathematical Logic. 3rd stereotypical edition. Moscow: KomKniga, 2006.
• 4. Maltsev, A.I., Algebraic Systems, Moscow, Nauka, 1970.
• 5. Finitary relation: 2015. https://en.wikipedia.org/wiki/Finitary_relation. Accessed: 2015- 09- 18.
• 6. Shkotin, A. and Ryakhovski, V. (2015). Proba DB. Ontology of a relational database - Open science. [online] Sites.google.com. Available at: https://sites.google.com/site/alex0shkotin/formalnaa-geologia/bd-proba-ontologia [Accessed 18 Sep. 2015].

Identyfikatory

DOI

10.1515/sh-2015-0021