togel terpercaya bo togel resmi situs togel online pasaran terlengkap bo togel online


Festim Halili, Merita Kasa Halili, Valbon Ademi, Halim Halimi


The Formal Axiomatic Systems are used in Artificial Intelligence and Mathematics to indicate any set of axioms, from which some or all axioms can be in conjunction to provide theorems. In this paper, we tend to combine and analyze FAS (Formal Axiomatic Systems) and Agents of Artificial Intelligence to enhance their intelligence, by promoting a transition from mechanical to intelligent mode. In addition, we will apply typographic and arithmetic methods to define isomorphism and its importance. It would be very easy to program a computer to generate theorem after theorem of a given system, however, if a machine could transit from the so called mechanical mode and use the intelligence, it would jump out of the formal axiomatic system and think autonomously. The recursive algorithm will be used to specify a model that would use the prior step to find the next one in a case study. The mapping between self referenced systems and formal axiomatic systems would help researchers differentiate the performances of artificial agents in their perceptions and actions in a certain environment.

Key words: Artificial Intelligence, FAS, MIU System, Isomorphism, Recursive algorithm, agents.

Full Text:


Copyright (c) 2018 Author(s)

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

© 2012-2022 ANGLISTICUM. Journal of the Association-Institute for English Language and American Studies,Tetovo, North Macedonia.

ISSN (print): 1857-8179. ISSN (online): 1857-8187.

Disclaimer: Articles on Anglisticum have been reviewed and authenticated by the Authors before sending for the publication.

The Journal, Editors and the editorial board are not entitled or liable to either justify or responsible for inaccurate and misleading data if any. It is the sole responsibility of the Author concerned.