Abstract: The sinking of the RMS Titanic in 1912 remains a poignant historical event that continues to captivate our collective imagination. In this research paper, we delve into the realm of data-driven analysis by applying Artificial Neural Networks (ANNs) to predict the chances of survival for passengers aboard the Titanic. Our study leverages a comprehensive dataset encompassing passenger information, demographics, and cabin class, providing a unique opportunity to explore the complex interplay of factors influencing survival outcomes. Our ANN-based predictive model (...) achieved an accuracy rate of 78%, shedding light on the underlying patterns within the data. However, this paper underscores the multifaceted nature of survival prediction and acknowledges several challenges. These include missing data imputation, feature engineering, and the inherent noise within historical datasets. We further discuss the importance of model evaluation metrics, showcasing not only accuracy but also precision, recall, and F1-score as essential indicators of predictive performance. The research paper meticulously outlines the architecture of the ANN model, emphasizing the key hyperparameters, activation functions, and regularization techniques employed in model development. Additionally, we address ethical considerations related to data handling and potential biases within the dataset. While our achieved accuracy is a notable achievement, this study emphasizes the importance of interpreting the results with due caution. It underscores the need for a holistic perspective that considers the practical implications of false positives and false negatives, especially in the context of a disaster scenario. In conclusion, this research contributes to our understanding of survival prediction in historical events like the Titanic disaster using modern machine learning techniques. It calls for further exploration and refinement of predictive models, with a focus on enhancing the interpretability and generalizability of such models to real-world applications. (shrink)

Abstract: This research focuses on utilizing Artificial Neural Networks (ANNs) to predict Audit Risk accurately, a critical aspect of ensuring financial system integrity and preventing fraud. Our dataset, gathered from Kaggle, comprises 18 diverse features, including financial and historical parameters, offering a comprehensive view of audit-related factors. These features encompass 'Sector_score,' 'PARA_A,' 'SCORE_A,' 'PARA_B,' 'SCORE_B,' 'TOTAL,' 'numbers,' 'marks,' 'Money_Value,' 'District,' 'Loss,' 'Loss_SCORE,' 'History,' 'History_score,' 'score,' and 'Risk,' with a total of 774 samples. Our proposed neural network architecture, consisting of three (...) layers (1 input, 1 hidden, and 1 output), forms the core of this study. While it may seem simple, the power of ANNs lies not in complexity but in their ability to uncover intricate data patterns. The model underwent rigorous training and validation, resulting in remarkable outcomes—an accuracy of 100% and an average error rate of 0.000015. In addition to performance metrics, our research investigates feature importance, revealing the key contributors to Audit Risk prediction. Notably, 'Sector_score,' 'PARA_A,' 'SCORE_A,' 'PARA_B,' 'SCORE_B,' 'TOTAL,' 'numbers,' 'marks,' 'Money_Value,' 'District,' 'Loss,' 'Loss_SCORE,' 'History,' and 'History_score' emerged as the most influential factors, shedding light on the elements crucial for precise risk assessment. This study advances Audit Risk prediction models and highlights the potential of ANNs in strengthening financial system integrity and fraud prevention. The insights gained from our findings offer practical guidance for stakeholders in the audit and financial sectors. (shrink)

This study contributes to the limited literature on VAT’s impact on student populations by assessing the financial strain on university students in Oman. The research provides novel insights into policymaking, suggesting VAT exemptions for essential educational goods and proposing financial literacy programs for mitigating the adverse effects of VAT which employs chi-square tests and regression analysis to quantify the financial effects of VAT on students' purchasing behavior, revealing that VAT negatively impacts purchasing power with a statistically significant p-value (< 0.05). (...) The findings highlight substantial financial strain on students, particularly those in lower-income brackets, prompting policy recommendations for VAT exemptions on essential educational goods and the inclusion of financial literacy programs aimed at helping students mitigate the tax's adverse effects. This study evaluates the financial implications of the Value Added Tax (VAT) introduced in Oman in 2021, focusing on its impact on consumer behavior among university students at A’sharqiyah University. Utilizing a quantitative methodology, including chi-square tests and regression analysis, and a sample of 53 students, the research investigates the effects of VAT on purchasing power and consumption patterns. The findings demonstrate a significant disruption to students' financial capacity, with the majority reporting challenges in affording essential educational materials. By contributing to the limited body of literature on VAT’s effects on low-income populations, this study provides valuable insights into how students rationalize their consumption and cope with increased financial strain. Policy recommendations include VAT exemptions for educational goods and the implementation of comprehensive financial literacy programs to help vulnerable groups manage the tax's adverse effects. (shrink)

Abstract: Artificial Intelligence (AI) is revolutionizing the agricultural sector by enhancing productivity and sustainability. This paper explores the transformative impact of AI technologies on agriculture, focusing on their applications in precision farming, predictive analytics, and automation. AI-driven tools enable more efficient management of crops and resources, leading to improved yields and reduced environmental impact. The paper examines key AI technologies, including machine learning algorithms for crop monitoring, robotics for automated planting and harvesting, and data analytics for optimizing resource use. Additionally, (...) it addresses challenges such as data privacy, technology adoption barriers, and the ethical implications of AI in farming. By integrating AI into agricultural practices, the industry can achieve greater efficiency and sustainability, paving the way for future advancements. (shrink)

This study employs a neural network to analyze the connection between smoking, drinking, and various health-related factors using a dataset of 5148 samples. Achieving an impressive 99.94% accuracy and an average training error of 0.0016, the model identifies influential factors such as serum aminotransferases, serum creatinine, sex, weight, and triglyceride levels. These findings enhance our understanding of lifestyle choices and their impact on health. This research underscores the potential of machine learning in studying complex health phenomena.

Due to the tremendous progress in technology and the methods used in its application to facilitate and refine human's life, Intelligent Tutoring System was created to contribute in this era. In this study, the Intelligent Tutoring System was adopted as a platform in linking the complex Technological fields for obtaining information smoothly, and highlighting the importance of water issues and in the Gaza strip. In the light of the absence and inability of the formal education system to raise awareness of (...) the water crisis and its consequences on the daily life of the Gazans, the current Intelligent Tutoring System (ITS) has been utilized to disseminate knowledge and enhance awareness of water problems. The ITS aims to embrace a new water conservation practices and ensure the sustainability of fresh water. Basically the software of the tutoring system is used to create a program which could be easily used by the public population and specialists in the water field. The resulting program was fed with plenty of information about the current local water status and its related problems which are considerably useful for anyone interested to raise his/her level of knowledge and awareness about the local water status in addition to the researchers by reducing their dependency on human sources. The ITS system was presented to two groups of people: The first one consists of specialized water experts and the other consists of master student enrolled in Institute of Water and Environment in Al-Azhar University in Gaza who are interested in water problems. Both groups were requested to use the final version of the system and give their feedback by filling a questionnaire, and then the averages of the answered questions were measured for each group. It was found that the overall impressions of the users were positive. (shrink)

This thirteenth volume of Collected Papers is an eclectic tome of 88 papers in various fields of sciences, such as astronomy, biology, calculus, economics, education and administration, game theory, geometry, graph theory, information fusion, decision making, instantaneous physics, quantum physics, neutrosophic logic and set, non-Euclidean geometry, number theory, paradoxes, philosophy of science, scientific research methods, statistics, and others, structured in 17 chapters (Neutrosophic Theory and Applications; Neutrosophic Algebra; Fuzzy Soft Sets; Neutrosophic Sets; Hypersoft Sets; Neutrosophic Semigroups; Neutrosophic Graphs; Superhypergraphs; Plithogeny; (...) Information Fusion; Statistics; Decision Making; Extenics; Instantaneous Physics; Paradoxism; Mathematica; Miscellanea), comprising 965 pages, published between 2005-2022 in different scientific journals, by the author alone or in collaboration with the following 110 co-authors (alphabetically ordered) from 26 countries: Abduallah Gamal, Sania Afzal, Firoz Ahmad, Muhammad Akram, Sheriful Alam, Ali Hamza, Ali H. M. Al-Obaidi, Madeleine Al-Tahan, Assia Bakali, Atiqe Ur Rahman, Sukanto Bhattacharya, Bilal Hadjadji, Robert N. Boyd, Willem K.M. Brauers, Umit Cali, Youcef Chibani, Victor Christianto, Chunxin Bo, Shyamal Dalapati, Mario Dalcín, Arup Kumar Das, Elham Davneshvar, Bijan Davvaz, Irfan Deli, Muhammet Deveci, Mamouni Dhar, R. Dhavaseelan, Balasubramanian Elavarasan, Sara Farooq, Haipeng Wang, Ugur Halden, Le Hoang Son, Hongnian Yu, Qays Hatem Imran, Mayas Ismail, Saeid Jafari, Jun Ye, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Darjan Karabašević, Abdullah Kargın, Vasilios N. Katsikis, Nour Eldeen M. Khalifa, Madad Khan, M. Khoshnevisan, Tapan Kumar Roy, Pinaki Majumdar, Sreepurna Malakar, Masoud Ghods, Minghao Hu, Mingming Chen, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohamed Loey, Mihnea Alexandru Moisescu, Muhammad Ihsan, Muhammad Saeed, Muhammad Shabir, Mumtaz Ali, Muzzamal Sitara, Nassim Abbas, Munazza Naz, Giorgio Nordo, Mani Parimala, Ion Pătrașcu, Gabrijela Popović, K. Porselvi, Surapati Pramanik, D. Preethi, Qiang Guo, Riad K. Al-Hamido, Zahra Rostami, Said Broumi, Saima Anis, Muzafer Saračević, Ganeshsree Selvachandran, Selvaraj Ganesan, Shammya Shananda Saha, Marayanagaraj Shanmugapriya, Songtao Shao, Sori Tjandrah Simbolon, Florentin Smarandache, Predrag S. Stanimirović, Dragiša Stanujkić, Raman Sundareswaran, Mehmet Șahin, Ovidiu-Ilie Șandru, Abdulkadir Șengür, Mohamed Talea, Ferhat Taș, Selçuk Topal, Alptekin Ulutaș, Ramalingam Udhayakumar, Yunita Umniyati, J. Vimala, Luige Vlădăreanu, Ştefan Vlăduţescu, Yaman Akbulut, Yanhui Guo, Yong Deng, You He, Young Bae Jun, Wangtao Yuan, Rong Xia, Xiaohong Zhang, Edmundas Kazimieras Zavadskas, Zayen Azzouz Omar, Xiaohong Zhang, Zhirou Ma.‬‬‬‬‬‬‬‬. (shrink)

This fourteenth volume of Collected Papers is an eclectic tome of 87 papers in Neutrosophics and other fields, such as mathematics, fuzzy sets, intuitionistic fuzzy sets, picture fuzzy sets, information fusion, robotics, statistics, or extenics, comprising 936 pages, published between 2008-2022 in different scientific journals or currently in press, by the author alone or in collaboration with the following 99 co-authors (alphabetically ordered) from 26 countries: Ahmed B. Al-Nafee, Adesina Abdul Akeem Agboola, Akbar Rezaei, Shariful Alam, Marina Alonso, Fran Andujar, (...) Toshinori Asai, Assia Bakali, Azmat Hussain, Daniela Baran, Bijan Davvaz, Bilal Hadjadji, Carlos Díaz Bohorquez, Robert N. Boyd, M. Caldas, Cenap Özel, Pankaj Chauhan, Victor Christianto, Salvador Coll, Shyamal Dalapati, Irfan Deli, Balasubramanian Elavarasan, Fahad Alsharari, Yonfei Feng, Daniela Gîfu, Rafael Rojas Gualdrón, Haipeng Wang, Hemant Kumar Gianey, Noel Batista Hernández, Abdel-Nasser Hussein, Ibrahim M. Hezam, Ilanthenral Kandasamy, W.B. Vasantha Kandasamy, Muthusamy Karthika, Nour Eldeen M. Khalifa, Madad Khan, Kifayat Ullah, Valeri Kroumov, Tapan Kumar Roy, Deepesh Kunwar, Le Thi Nhung, Pedro López, Mai Mohamed, Manh Van Vu, Miguel A. Quiroz-Martínez, Marcel Migdalovici, Kritika Mishra, Mohamed Abdel-Basset, Mohamed Talea, Mohammad Hamidi, Mohammed Alshumrani, Mohamed Loey, Muhammad Akram, Muhammad Shabir, Mumtaz Ali, Nassim Abbas, Munazza Naz, Ngan Thi Roan, Nguyen Xuan Thao, Rishwanth Mani Parimala, Ion Pătrașcu, Surapati Pramanik, Quek Shio Gai, Qiang Guo, Rajab Ali Borzooei, Nimitha Rajesh, Jesús Estupiñan Ricardo, Juan Miguel Martínez Rubio, Saeed Mirvakili, Arsham Borumand Saeid, Saeid Jafari, Said Broumi, Ahmed A. Salama, Nirmala Sawan, Gheorghe Săvoiu, Ganeshsree Selvachandran, Seok-Zun Song, Shahzaib Ashraf, Jayant Singh, Rajesh Singh, Son Hoang Le, Tahir Mahmood, Kenta Takaya, Mirela Teodorescu, Ramalingam Udhayakumar, Maikel Y. Leyva Vázquez, V. Venkateswara Rao, Luige Vlădăreanu, Victor Vlădăreanu, Gabriela Vlădeanu, Michael Voskoglou, Yaser Saber, Yong Deng, You He, Youcef Chibani, Young Bae Jun, Wadei F. Al-Omeri, Hongbo Wang, Zayen Azzouz Omar. (shrink)

This twelfth volume of Collected Papers includes 86 papers comprising 976 pages on Neutrosophics Theory and Applications, published between 2013-2021 in the international journal and book series “Neutrosophic Sets and Systems” by the author alone or in collaboration with the following 112 co-authors (alphabetically ordered) from 21 countries: Abdel Nasser H. Zaied, Muhammad Akram, Bobin Albert, S. A. Alblowi, S. Anitha, Guennoun Asmae, Assia Bakali, Ayman M. Manie, Abdul Sami Awan, Azeddine Elhassouny, Erick González-Caballero, D. Dafik, Mithun Datta, Arindam Dey, (...) Mamouni Dhar, Christopher Dyer, Nur Ain Ebas, Mohamed Eisa, Ahmed K. Essa, Faruk Karaaslan, João Alcione Sganderla Figueiredo, Jorge Fernando Goyes García, N. Ramila Gandhi, Sudipta Gayen, Gustavo Alvarez Gómez, Sharon Dinarza Álvarez Gómez, Haitham A. El-Ghareeb, Hamiden Abd El-Wahed Khalifa, Masooma Raza Hashmi, Ibrahim M. Hezam, German Acurio Hidalgo, Le Hoang Son, R. Jahir Hussain, S. Satham Hussain, Ali Hussein Mahmood Al-Obaidi, Hays Hatem Imran, Nabeela Ishfaq, Saeid Jafari, R. Jansi, V. Jeyanthi, M. Jeyaraman, Sripati Jha, Jun Ye, W.B. Vasantha Kandasamy, Abdullah Kargın, J. Kavikumar, Kawther Fawzi Hamza Alhasan, Huda E. Khalid, Neha Andalleb Khalid, Mohsin Khalid, Madad Khan, D. Koley, Valeri Kroumov, Manoranjan Kumar Singh, Pavan Kumar, Prem Kumar Singh, Ranjan Kumar, Malayalan Lathamaheswari, A.N. Mangayarkkarasi, Carlos Rosero Martínez, Marvelio Alfaro Matos, Mai Mohamed, Nivetha Martin, Mohamed Abdel-Basset, Mohamed Talea, K. Mohana, Muhammad Irfan Ahamad, Rana Muhammad Zulqarnain, Muhammad Riaz, Muhammad Saeed, Muhammad Saqlain, Muhammad Shabir, Muhammad Zeeshan, Anjan Mukherjee, Mumtaz Ali, Deivanayagampillai Nagarajan, Iqra Nawaz, Munazza Naz, Roan Thi Ngan, Necati Olgun, Rodolfo González Ortega, P. Pandiammal, I. Pradeepa, R. Princy, Marcos David Oviedo Rodríguez, Jesús Estupiñán Ricardo, A. Rohini, Sabu Sebastian, Abhijit Saha, Mehmet Șahin, Said Broumi, Saima Anis, A.A. Salama, Ganeshsree Selvachandran, Seyed Ahmad Edalatpanah, Sajana Shaik, Soufiane Idbrahim, S. Sowndrarajan, Mohamed Talea, Ruipu Tan, Chalapathi Tekuri, Selçuk Topal, S. P. Tiwari, Vakkas Uluçay, Maikel Leyva Vázquez, Chinnadurai Veerappan, M. Venkatachalam, Luige Vlădăreanu, Ştefan Vlăduţescu, Young Bae Jun, Wadei F. Al-Omeri, Xiao Long Xin.‬‬‬‬‬‬. (shrink)

In this eleventh book of scilogs – called in-turns and out-turns –, one may find new and old questions and solutions, referring mostly to topics on Neutrosophy, but also Multispace, with miscellaneous addition of topics on Physics, Mathematics, or Sociology – email messages to research colleagues, or replies, notes about authors, articles, or books, spontaneous ideas, and so on. -/- Exchanging ideas with Prem Kumar Singh, Feng Liu, Nicolae Bălașa, Jimmy Quellet, Minodora Rușchița, Frank Gelli, A. R. Vătuiu, Victor Christianto, (...) Vladimir I. Rogozhin, Robert Neil Boyd, Akira Kanda, Stefan Spaarmann, Oliver Consa, Yabin Shao, Junle Zhuo, Nivetha Martin, Said Broumi, Jean Dezert, Erick González, Tomasz Witczak, B. De Baets, I. Couso, D. Dubois, L. Good, Mihaela Colhon, Atiqe Ur Rahman, Muhammad Saeed, Muhammad Ihsan, Edeline Nancy, Shawkat Alkhazaleh, Shazia Rana, Vasantha Kandasamy, Santanu Acharjee, Mohamed Al-Shmrani, Parimala Manie, Mehmet Unver, Murat Olgun, Adel Aleidhri, Akira Kanda, Ilanthenral Kandasamy, Mircea Zărnescu, R. Tayebi Khorami, Arsham Borumand Saeid, Maisam Jdid, M. Abobala, Riad Hamido, Rafael Rojas, Esmaeil Zarei, Faisal Khan, Rouzbeh Abbassi, Adel Al-Odhari, Henry Garrett, Ackbar Rezaei, Saeid Jafari, Karthika Muthusamy, Harish Garg, Huda E. Khalid, Gonca D. Güngör, Muslim A. Noah Zainal, Fakhry Asad Agusfrianto, Madeleine Al-Tahan, Mariam Hariri, Yudi Mahatma, Masoud Ghods, Marco Brigliadori, Luis Enrique Aponte Pérez, Amr Mohammed, M. Aslam (in order of reference in the book). (shrink)

Recently, due to the rapid progress of computer technology, researchers develop an effective computer program to enhance the achievement of the student in learning process, which is Intelligent Tutoring System (ITS). Science is important because it influences most aspects of everyday life, including food, energy, medicine, leisure activities and more. So learning science subject at school is very useful, but the students face some problem in learning it. So we designed an ITS system to help them understand this subject easily (...) and smoothly by analyzing it and explaining it in a systematic way. In this paper, we describe the design of an Intelligent Tutoring System for teaching science for grade seven to help students know the 7 characteristics for living things smoothly. The system provides all topics of living things and generates some questions for each topic and the students should answer these questions correctly to move to the next level. In the result of an evaluation of the ITS, students like the system and they said that it is very useful for them and for their studies. (shrink)

This paper offers a practical argument for metaphysical emergence. The main message is that the growing reliance on so-called irrational scientific methods provides evidence that objects of science are indecomposable and as such, are better described by metaphysical emergence as opposed to the prevalent reductionistic metaphysics. I show that a potential counterargument that science will eventually reduce everything to physics has little weight given where science is heading with its current methodological trend. I substantiate my arguments by detailed examples from (...) biological engineering, but the conclusions are extendable beyond that discipline. (shrink)

In The Fold, Deleuze regards Raymond Ruyer as the most recent of Leibniz’s great disciples. This claim is not self-evident, since Ruyer often criticises Leibniz and stresses the divergence of his theory from Leibniz’s monadological metaphysics. Therefore, while Ruyer does not seem to regard himself as indebted to Leibniz, and as his psychobiology is not always reconcilable with Leibniz’s philosophy, it is necessary to explore what is at stake in Deleuze’s recognition of Ruyer as a Leibnizian thinker. This essay foregrounds (...) the tacit intertwining between Leibniz and Ruyer, which can, on the one hand, contribute to Leibniz’s scholarship and uncover the contemporaneity of his thought, and on the other hand, expose certain revealing Ruyerian moments in Deleuze’s immanent philosophy. (shrink)

There is no consensus regarding whether Gilles Deleuze offers a cogent theory of the Other. Deleuze develops the notion of the Other-structure, but given his scarce remarks on this concept, his treatment of this issue is debated. This article argues that to elucidate Deleuze's philosophy of the Other, his notion of the Other-structure must be analyzed in parallel to Edmund Husserl's intersubjective theory. This comparison, made possible by Natalie Depraz's reading of the Husserlian alterity, reveals nuanced phenomenological traces in Deleuze's (...) Other-structure and its implicated structural moments while substantiating his affirmation of the Otherless world, as an impetus to surpass phenomenology. (shrink)

This article is a preliminary draft for initiating and commencing a new pioneer dimension of expression. To deal with higher-dimensional data or information flowing in this modern era of information technology and artificial intelligence, some innovative super algebraic structures are essential to be formulated. In this paper, we have introduced such matrices that have multiple layers and clusters of layers to portray multi-dimensional data or massively dispersed information of the plithogenic universe made up of numerous subjects their attributes, and sub-attributes. (...) For grasping that field of parallel information, events, and realities flowing from the micro to the macro level of universes, we have constructed hypersoft and hyper-super-soft matrices in a Plithogenic Fuzzy environment. These Matrices classify the non-physical attributes by accumulating the physical subjects and further sort the physical subjects by accumulating their non-physical attributes. We presented themasPlithogenicAttributiveSubjectivelyWholeHyper-Super-Soft-Matrix(PASWHSS-Matrix)andPlithogenic Subjective Attributively Whole-Hyper-Super-Soft-Matrix (PSAWHSS-Matrix). Several types of views and level-layers of these matrices are described. In addition, some local aggregation operators for Plithogenic Fuzzy Hypersoft Set (PPFHS-Set) are developed. Finally, few applications of these matrices and operators are used as numerical examples of COVID-19 data structures. (shrink)

In Difference and Repetition, Deleuze evokes dramatization when he suggests that intensities must dramatize the Ideas to condition their actualization. This allusion to an artistic category, in the midst of his metaphysical inquiry, has remained obscure, and despite its cruciality, it is not clear why he appeals to dramatization to explain any actualization and not solely the artistic actualization. This essay attempts to elucidate this ambiguity, by foregrounding a zone of torsional continuity, wherein intensity encounters the Idea and expresses it (...) through dramatization. This process is at play in the actualization of the organic field, social field, and aesthetic field, where an intensive larval subject—embryo, disentangled individual, artist—encounters the biological, social, or artistic Idea. While referring to the artistic encounter, it is shown how dramatization is indispensable to actualize every Idea. Finally, through Tarkovsky and Blanchot, the notion of poeticization is formulated that, while complementing dramatization, unveils certain tacit nuances of the Deleuzian actualization. (shrink)

Interesting as they are by themselves in philosophy and mathematics, paradoxes can be made even more fascinating when turned into proofs and theorems. For example, Russell’s paradox, which overthrew Frege’s logical edifice, is now a classical theorem in set theory, to the effect that no set contains all sets. Paradoxes can be used in proofs of some other theorems—thus Liar’s paradox has been used in the classical proof of Tarski’s theorem on the undefinability of truth in sufficiently rich languages. This (...) paradox (as well as Richard’s paradox) appears implicitly in Gödel’s proof of his celebrated first incompleteness theorem. In this paper, we study Yablo’s paradox from the viewpoint of first- and second-order logics. We prove that a formalization of Yablo’s paradox (which is second order in nature) is non-first-orderizable in the sense of George Boolos (1984). (shrink)

Based on content externalism, the question of whether self-knowledge is authoritative or not has launched a real controversy in the philosophy of mind. Boghossian proposed slow switching argument in defense of incompatibility of the two views. This argument has been criticized by some philosophers through different approaches. Vahid is one of them. He claimed that Boghossian's argument appeals to some controversial assumptions without which it cannot achieve its conclusion. In this article, I criticize Vahid's response to slow switching argument and (...) show that self-knowledge in Vahid's response differs in having authority and therefore in function from that of Boghossian. (shrink)

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that (...) the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

This article defines the relationship between two factors and its impact by examining the effect of Gender discrimination in the work place which influences the job performance and job satisfaction in individuals(i.e.; hiring, promotion, salary, control/ autonomy/ influence, challenge, performance measures, feed back, in strumentality, stability/security). The data is collected through quantitative method. The sample of thestudy consisted of 500 employees working in different bank in Islamabad and Wahcantt (Pakistan) through the questionnaire, of which 300 were returned and processed. R (...) was used to analysis the data, using independent T-Test, and excel, Correlation and Multi-regression analysis. There is a significant prove, gender discrimination has an influence on Job satisfaction and job performance and stability of individuals. From findings of the study, it is also depicted that male and female have significantly different level of job satisfaction. (shrink)

The problem of evil is a well-known subject in philosophy, especially in philosophy of religion. In fact many thinkers hold that the problem of evil is the most potent rational objection to the theistic belief and has been called the rock of atheism and are being introduced as a recently emerging notion. This paper shows that this problem was proposed and discussed many years ago by Zoroastrian scholars. This paper also studies the solutions proposed by those scholars; And with the (...) help of some theories from Islamic theosophists, the existence of the two sources of good and evil in Mezdayasnian creed has been compared with the concepts of Attributes of Beauty and Glory. In this way, it has been shown that with the help of responses from the Khorasan school to the problem of evil, the Zoroastrian religion can be considered as a creed of Unity. (shrink)

It is quite well-known from Kurt G¨odel’s (1931) ground-breaking Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are representable in sufficiently strong arithmetical theories. It is also known, though perhaps not as well-known as the former one, that some primitive recursive relations are not rudimentary. We present a simple and elementary proof of this fact in the first part of the paper. In the second part, we review some possible (...) notions of representability of functions studied in the literature, and give a new proof of the equivalence of the weak representability with the (strong) representability of functions in sufficiently strong arithmetical theories. (shrink)

‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...) of G. Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G. Priest's inclosure schema (1997) can fit in our universal diagonal / fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema. (shrink)

By formalizing some classical facts about provably total functions of intuitionistic primitive recursive arithmetic (iPRA), we prove that the set of decidable formulas of iPRA and of iΣ1+ (intuitionistic Σ1-induction in the language of PRA) coincides with the set of its provably ∆1-formulas and coincides with the set of its provably atomic formulas. By the same methods, we shall give another proof of a theorem of Marković and De Jongh: the decidable formulas of HA are its provably ∆1-formulas.

Abstract— This study aimed to identify the degree of use of the capabilities of decision-support systems in Palestinian institutions higher education, Aqsa University in Gaza - a case study. The study used a analytical descriptive approach, and the researchers used the of questionnaire tool to collect the data, the researchers using stratified random sample distributed (150) questioners to the study population and (126) was obtained back with rate of 84%. The study showed that the most important results are: that senior (...) management supports the existence of decision support systems and that there is approval by the respondents on the paragraphs of the use of the capabilities of decision support systems in general. And that there are no significant differences between the averages of the answers of respondents differences about the degree of use of decision support systems capabilities attributed to personal data. The study also concluded a series of recommendations including: increasing the adoption of the senior management decision support in their decision-making systems. And increased regulatory attention to the potential available to decision support systems directly to the senior management in the Palestinian universities in the Gaza Strip. There is an increased interest in the physical and technical possibilities available for the use of decision support systems. There is an increased interest in human potential available for the use of decision support systems. Investment of information available to universities in building the capacities of integration techniques and other information technology capabilities. The empowerment of human resources in universities and participating in making decisions concerning the construction of the capabilities of information technology. (shrink)

Conscientious Sociology is an introductory but essential step towards the recognition of paradigmatic contestations and shifts in the post-1970s Social Sciences. It develops an ideal typology of three major paradigms, i.e. the Foundationalist, the Relativist and the Critical-Conscientious Paradigms by discussing and comparing their principles in four Meta-Theoretical domains: Ontology, Epistemology, Methodology, and Axiology. Hosseini, in his book, shows how the Conscientious paradigm deals with well known dilemmas which are not effectively resolved by two other paradigms; dilemmas like how to (...) create an objective account of reality whereas the subjectivities of actors and investigators are accommodated or what relationship must be set up between quantitative and qualitative methods. The book also further discusses the principles that Conscientious sociologist are expected to consider when engaging in empirical research. It finally, provides its readers with a unique perspective adopted from a radical Iranian social thinker, Ali Shariati whose ideas are portrayed as an insightful exemplar for Iranian critical sociologists. The book also contributes to the growing debates around the nature and future of critical sociology in the West by adding a Southern perspective. (shrink)

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

This study aims to look at the role of the practice of excellence strategies in education in achieving sustainable competitive advantage for the Higher educational institutions of the faculty of Engineering and Information Technology at Al-Azhar University in Gaza, a model, and the study considered the competitive advantage of educational institutions stems from the impact on the level of each student, employee, and the institution. The study was based on the premise that the development of strategies for excellence in education, (...) and its implementation is a vital important prerequisite to achieve sustainable competitive advantage in higher educational institutions. The study followed a systematic exploratory descriptive methodology through review of the theoretical literature, and the adoption of the experience of the Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as a model for its unique experience in the field of excellence in education. The study results showed that the most important are: There is a strong correlation between the level of exercising excellence strategies in education and the achievement of higher educational institutions to the sustainable competitive advantage. The results include a general required number of important sub results on the subject of the model - Faculty of Engineering and Information Technology at Al-Azhar University in Gaza as follows: - The student considered the academic focus of the operation in the development process of the workers’ skills, particularly academics at the university helps to distinguish students and increase the employment rate after graduation. - The existence of consistency in development efforts and quality improvement for all three levels (student, employee, and the university), and this contributes to the Faculty excellence. - The Faculty has been able to achieve competitive advantages by offering excellent services without harming the efficiency, and this alone is a great success because improving service properties requires great investments, which negatively affect the continued institutional development. The study also reached a set of recommendations as follows: - The need to exercise excellence strategies in education, excellence reward at the national level, and those higher educational institutions follow the criteria for measuring the competitive advantages of its institutions always. - There is a need to increase efforts to implement programs of excellence, the allocation of adequate time, reward outstanding efforts as well. There is a necessity for each faculty to achieve competitive advantage and sustainability, using the general philosophies of competitive advantage, but with a different strategically content from what is in the private commercial sector, it reflects the Faculties mission and objectives, depending on making improvements and excellence in processes that ensure the safety of its outputs. As well as the need to find a balance between the work of teaching and research work of the faculty members, this has important implications regarding the criteria used in the process of excellence evaluation. The study recommended the adoption of strategies for excellence in education on a national public policy level mainly in the processes of change in higher education institutions. The need to support the existence of a common understanding of the efforts of excellence to create a general culture that appreciates excellence in faculties and universities. This underlines the need for transparent, fair rewards systems, to encourage innovation in education. The need to conduct a comprehensive surveys on the graduates of faculties and universities including the areas of employment and skills, because that will give accurate indications of the graduates and will help to establish a link to a more precise about the relationship of excellence strategies with the competitive advantages. (shrink)

We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".

We simulate trial data to test speculative claims about research methods, such as the impact of publication bias.

This study provides an innovative approach to neutrosophic algebraic structures by introducing a new structure called Neutrosophic Soft Cubic T-ideal (NSCTID), which combines T-ideal (TID) and neutrosophic Soft Cubic Sets (NSCSs) within the framework of PS-Algebra. Within the already-existing neutrosophic cubic structures, the addition of soft sets with the characteristics of TID makes this structure more desirable. The theoretical development of the proposed structure includes the application of fundamental ideas as union, intersection, the Cartesian product, and homomorphism. We also introduce (...) the notions of NSCTID-translation and NSCTID-multiplication to further enhance the structure of NSCTID. By applying the idea of translation and multiplication, we offer improved algorithm for neutrosophic cubic sets to deal with different parameters that are satisying the TID’s distinctive characteristics. Through this thorough research, we offer an elementary understanding of NSCTID and its capabilities, providing the way to new algebraic structures. (shrink)

We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...) informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

It is a plausible speculation that conventional choices in outcome measures might influence the results of meta-analyses. We test that speculation by simulating data from trials on antidepressants. We vary real drug effectiveness while modulating conventional values for outcome measures. We had previously shown that one conventional choice used in meta-analyses of antidepressants falls in a narrow range of values that maximize estimates of effectiveness. Our present analysis investigates why this phenomenon occurs. Moreover, our results suggest the superiority of absolute (...) outcome measures over relative measures. This research program can be extended to test numerous other aspects of clinical research. (shrink)

To counter a general belief that all the paradoxes stem from a kind of circularity (or involve some self--reference, or use a diagonal argument) Stephen Yablo designed a paradox in 1993 that seemingly avoided self--reference. We turn Yablo's paradox, the most challenging paradox in the recent years, into a genuine mathematical theorem in Linear Temporal Logic (LTL). Indeed, Yablo's paradox comes in several varieties; and he showed in 2004 that there are other versions that are equally paradoxical. Formalizing these versions (...) of Yablo's paradox, we prove some theorems in LTL. This is the first time that Yablo's paradox(es) become new(ly discovered) theorems in mathematics and logic. (shrink)

This article introduces the concept of ‘well-living’ as a transformative framework for reimagining quality of life in the face of current global socio-ecological challenges. Through a reflexive theoretical meta-analysis, it critically examines mainstream and reformist well-being discourses while drawing inspiration from transformative perspectives found in recent post-capitalist and indigenous movements. ‘Well-living’ is portrayed as both a civilizational endeavor and a multifaceted imperative, encompassing dimensions of creativity, liveability, conviviality, and alterity across various scales from individual to international contexts. Central to the (...) ‘well-living’ paradigm are nine key qualities, including harmonious coexistence, aspirational foresight and purposefulness, solidarity, autonomy, authenticity, and integrity, thereby promoting an integrated approach to living in balance with oneself, others, and the natural world. Embracing ‘well-living’ as a goal and process can empower individuals and communities to challenge prevailing global capitalist paradigms, re-establish connections with the interconnected web of life, and strive for a more just, regenerative, and diverse world, accommodating multiple perspectives. Lastly, employing a 'commonist' perspective, the article outlines essential institutional and legislative-policy changes required to actualize the vision of 'well-living.'. (shrink)

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

By studying the effect of human resource development on strengthening the firm's total capabilities this literature review investigates the relationship between the development of human capabilities and company performance by studying the effects of human resource development on strengthening a firm’s total capabilities. To provide a thorough grasp of the subject, the review synthesizes and analyzes pertinent research articles, academic papers, and industry reports. SPSS version 22 statistical software was used for social sciences. Descriptive and inferential statistics were used to (...) analyze the questionnaire data. To attain a lasting competitive advantage, the assessment also emphasizes the significance of fostering a learning culture, adopting cutting-edge procedures, and putting in place efficient training and development programs. The main findings show that investing in the growth of human capabilities has a favorable impact on the success of the company, especially when those investments are made in conjunction with the growth of the organization's capabilities. Investing in an employee's skill and capability development boosts productivity, enhances innovation, reduces costs, fosters customer loyalty and satisfaction, and provides a company with a competitive advantage. (shrink)

One of the important ethical concepts that has occupied the minds of many philosophers in the past years is the concept of "moral certainty". This means whether there are moral propositions that are so certain that no doubt or argument or evidence can face them. According to some philosophers, for example, the statement "the wrongness of killing innocent people" brings us such moral certainty. Among the philosophers who have written in this field, two basic readings of Nigel Pleasants and Michael (...) Kober can be mentioned. Pleasant considers moral certainty to be an absolute and natural concept that is the basis of our moral judgments, and on the other hand, Kober considers moral certainty to be a relative concept and believes that our certainties are rooted in linguistic society, culture and time. In this article, we try to address the different dimensions of the concept of "moral certainty" and the importance of its application in two different and important readings. (shrink)

The aim of the research is to identify the relationship between the performance criteria and the achievement of the objectives of supervision which is represented in the performance of the job at the Islamic University in Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (22) paragraphs distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the (...) administrative board). A random sample of 314 employees was selected, 276 responses were retrieved with a return rate of 88.1%. The SPSS program was used to enter, process, and analyze the data. The results of the study showed a positive relationship between the performance criteria and the achievement of the control objectives represented by the job performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants and the administrative board). The researchers also recommended a number of recommendations, including the provision of an appropriate level of control system components today through the continuous updating and development of performance standards and the need to provide the necessary physical and financial resources to continue the development and achievement within the university. Expand the development of technology in the various activities of the university through the construction of a complete and integrated system to support the control systems in the university to suit its size. The researchers also recommended the follow-up, review of the performance standards and work to modify them in line with the mission of the university and the goals that the university seeks to reach. (shrink)

This paper asks how perception becomes racializing and seeks the means for its critical interruption. My aim is not only to understand the recalcitrant and limitative temporal structure of racializing habits of seeing, but also to uncover the possibilities within perception for a critical awareness and destabilization of this structure. Reading Henri Bergson and Maurice Merleau-Ponty in dialogue with Frantz Fanon, Iris Marion Young and race-critical feminism, I locate in hesitation the phenomenological moment where habits of seeing can be internally (...) fractured. Hesitation, I claim, makes visible the exclusionary logic of racializing and objectifying perception, countering its affective closure and opening it to critical transformation. (shrink)

In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Buying, Maint, Doors, Persons, Lug_boot, Safety, and Overall. ANN was used in forecasting car acceptability. The results showed that ANN model was able to predict the car acceptability with 99.12 %. The factor of Safety has the most influence on car acceptability evaluation. Comparative study method is (...) suitable for the evaluation of car acceptability forecasting, can also be extended to all other areas. (shrink)

Capital Redefined presents a unique perspective on the nature of “capital,” departing from the prevailing reductionist accounts. Hosseini and Gills offer an expanded perspective on Marxian value theory by addressing its main limitations and building their own integrative value theory. They argue that the current understanding of “value” must be re-examined and liberated from its subservient ties to capital while acknowledging the ways in which capital appropriates value. This is achieved by differentiating between “fetish value” created by capital and “true (...) value” generated through various commons-based forms of coexistence. The authors propose a defetishization of value by rejecting the commonly accepted idea of its objectivity. They introduce their “commonist value theory,” which redefines capital as both the product and process of perverting the fundamental commoning causes of true value into sources of fetish value. Capital is theorized through a “modular” framework, where multiple intersecting processes constitute a comprehensive power structure, a “value regime,” representing an unprecedented degree of the domination of capital over life. Their theory reconciles two apparently incompatible views on the notion of value. One view encompasses all inputs involved in capitalist value production and conflates intrinsic and commodity values. The other warns against this conflation as it treats capital as an entity tightly associated only with commodity production and wage labor. The authors believe that establishing alternative forms of value creation based on normative principles of living in commons is crucial as an analytical base for criticizing existing power structures and economic systems. The book offers a theoretical foundation for transforming our life worlds toward “post-capitalist” futures. It appeals to scholars and students in various fields, such as political economy, capitalism, and post-capitalist studies, economic and political sociology, globalization, development studies, social ecology, and ecological philosophy. The Open Access version of this book, available at taylorfrancis com, has been made available under a Creative Commons Attribution-Non Commercial-No Derivatives (CC-BY-NC-ND) 4.0 license. (shrink)

Publication date: 29 September 2016 Source: Author: Samy S. Abu Naser, Mazen J. Al Shobaki, Youssef M. Abu Amuna This paper aims to measure knowledge management maturity in higher education institutions to determine the impact of knowledge management on high performance. Also the study aims to compare knowledge management maturity between universities and intermediate colleges. This study was applied on five higher education institutions in Gaza strip, Palestine. Asian productivity organization model was applied to measure Knowledge Management Maturity. Second dimension (...) which assess high performance was developed by the authors. The controlled sample was. Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study shows that maturity level is in the second level. Findings also support the main hypothesis and it is sub- hypotheses. The most important factors effecting high performance are: Processes, knowledge management leadership, People, knowledge management Outcomes. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first comparative study between universities and intermediate colleges in Gaza Strip that explores the status of knowledge management maturity using the Asian productivity Model. (shrink)

Abstract: Smoke detectors are critical devices for early fire detection and life-saving interventions. This research paper explores the application of Artificial Neural Networks (ANNs) in smoke detection systems. The study aims to develop a robust and accurate smoke detection model using ANNs. Surprisingly, the results indicate a 100% accuracy rate, suggesting promising potential for ANNs in enhancing smoke detection technology. However, this paper acknowledges the need for a comprehensive evaluation beyond accuracy. It discusses potential challenges, such as overfitting, dataset size, (...) and class imbalance, and presents strategies employed to address these issues. Additionally, the paper emphasizes the importance of alternative evaluation metrics, including precision, recall, and F1-score, to assess the model's performance comprehensively. Detailed information regarding the model architecture, data preprocessing, and hyperparameter tuning is provided to enhance the reproducibility of the research. The study also discusses ethical considerations and the implications of false positives and false negatives in smoke detection applications. While achieving 100% accuracy is a notable accomplishment, this paper calls for cautious interpretation and further validation in real-world settings. It concludes by highlighting areas for future research and improvement in smoke detection technology, emphasizing the need for practical deployment and the reduction of false alarms. (shrink)

If an asymmetry in time does not arise from the fundamental dynamical laws of physics, it may be found in special boundary conditions. The argument normally goes that since thermodynamic entropy in the past is lower than in the future according to the Second Law of Thermodynamics, then tracing this back to the time around the Big Bang means the universe must have started off in a state of very low thermodynamic entropy: the Thermodynamic Past Hypothesis. In this paper, we (...) consider another boundary condition that plays a similar role, but for the decoherent arrow of time, i.e. the subsystems of the universe are more mixed in the future than in the past. According to what we call the Entanglement Past Hypothesis, the initial quantum state of the universe had very low entanglement entropy. We clarify the content of the Entanglement Past Hypothesis, compare it with the Thermodynamic Past Hypothesis, and identify some challenges and open questions for future research. (shrink)

I develop a phenomenological account of racialized encounters with works of art and film, wherein the racialized viewer feels cast as perpetually past, coming “too late” to intervene in the meaning of her own representation. This points to the distinctive role that the colonial past plays in mediating and constructing our self-images. I draw on my experience of three exhibitions that take Muslims and/or Arabs as their subject matter and that ostensibly try to interrupt or subvert racialization while reproducing some (...) of its tropes. My examples are the Jean-Joseph Benjamin-Constant exhibition at the Montreal Museum of Fine Arts (2015), the exposition Welten der Muslime at the Ethnologisches Museum in Berlin (2011–2017), and a sculpture by Bob and Roberta Smith at the Leeds City Art Gallery, created in response to the imperial power painting, General Gordon’s Last Stand, that is housed there. My interest is in how artworks contribute to the experience of being racialized in ways that not only amplify the circulation of images but also constitute difficult temporal relations to images. Drawing on Frantz Fanon’s Black Skin, White Masks, I argue that such racialized images are temporally gluey, or stuck, so that we are weighted and bogged down by them. This essay received Honorable Mention from the American Society for Aesthetics Feminist Caucus Committee in the Feminist Research Essay prize in 2020. (shrink)

This article goes behind stereotypes of Muslim veiling to ask after the representational structure underlying these images. I examine the public debate leading to the 2004 French law banning conspicuous religious signs in schools and French colonial attitudes to veiling in Algeria, in conjunction with discourses on the veil that have arisen in other western contexts. My argument is that western perceptions and representations of veiled Muslim women are not simply about Muslim women themselves. Rather than representing Muslim women, these (...) images fulfill a different function: they provide the negative mirror in which western constructions of identity and gender can be positively reflected. It is by means of the projection of gender oppression onto Islam, and its naturalization to the bodies of veiled women, that such mirroring takes place. This constitutes, I argue, a form of racialization. Drawing on the work of Fanon, Merleau-Ponty and Alcoff, I offer a phenomenological analysis of this racializing vision. What is at stake is a form of cultural racism that functions in the guise of anti-sexist and feminist liberatory discourse, at once posing a dilemma to feminists and concealing its racializing logic. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)