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

Authors

  • Festim Halili State University of Tetova, Macedonia
  • 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.

Downloads

Published

2019-01-27

How to Cite

Halili, F., Halili, M. K., Ademi, V., & Halimi, H. (2019). FORMAL AXIOMATIC SYSTEMS IN ARTIFICIAL INTELLIGENCE: A TRANSITION FROM M-MODE TO I-MODE. ANGLISTICUM. Journal of the Association-Institute for English Language and American Studies, 7. Retrieved from https://www.anglisticum.org.mk/index.php/IJLLIS/article/view/1863

Issue

Vol. 7 (2018): Conference Proceedings, Special Issue, 2018

Section

Volume 7, Conference Proceedings, Special Issue, 2018

License

Declaration/Copyright transfer:

1. In consideration of the undertaking set out in paragraph 2, and upon acceptance by ANGLISTICUM for publication of the manuscript in the Journal, I/We hereby assign and transfer publication rights to ANGLISTICUM, whereas I/We retain the copyright for the manuscript. This assignment provides ANGLISTICUM the sole right and responsibility to publish the manuscript in its printed and online version, and/or in other media formats.

2. In consideration of this assignment, ANGLISTICUM hereby undertakes to prepare and publish the manuscript in the Journal, subject only to its right to refuse publication if there is a breach of the Author’s warranty in paragraph 4 or if there are other reasonable grounds.

3. Editors and the editorial board of ANGLISTICUM are empowered to make such editorial changes as may be necessary to make the Manuscript suitable for publication.

4. I/We hereby acknowledge that: (a) The manuscript submitted is an original work and that I/We participated in the work substantively and thus I/We hereby are prepared to take public responsibility for the work; (b) I/We hereby have seen and approved the manuscript as submitted and that the manuscript has not either been published, submitted or considered for publication elsewhere; (c) The text, illustration, and any other materials included in the manuscript do not infringe upon any existing copyright or other rights of anyone.

5. I/We hereby indemnify ANGLISTICUM and the respective Editors of the Journal as mentioned in paragraph 3, and hold them harmless from any loss, expense or damage occasioned by a claim or suit by a third party for copyright infringement, or any suit arising out of any breach of the foregoing warranties as a result of publication of the manuscript.