FORMAL AXIOMATIC SYSTEMS IN ARTIFICIAL INTELLIGENCE: A TRANSITION FROM M-MODE TO I-MODE

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

Abstract


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:

PDF


DOI: http://dx.doi.org/10.0001/ijllis.v7i0.1863

DOI (PDF): http://dx.doi.org/10.0001/ijllis.v7i0.1863.g2289

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

All Rights Reserved.

The publication is licensed under a Creative Commons License (CC BY) https://creativecommons.org/licenses/by/4.0/  View Legal Code                                                                                                                 

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.