Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...) operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...) to Grove’s sphere system, a semantical representation of the AGM theory, logics that do not infer everything from contradictory premises, viz., paraconsistent logics. I use three paraconsistent logics and discuss three sphere systems that are based on them. I then examine the completeness of the postulates of the AGM theory with respect to the systems. At the end, I discuss some philosophical implications of the examination. (shrink)

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion (...) of formal consistency. (shrink)

By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I (...) shall argue that Paraconsistent Belief Revision manages to minimise this friction in the best possible way. (shrink)

This paper is concerned with representations of belief by means of nonadditive probabilities of the Dempster-Shafer (DS) type. After surveying some foundational issues and results in the D.S. theory, including Suppes's related contributions, the paper proceeds to analyze the connection of the D.S. theory with some of the work currently pursued in epistemic logic. A preliminary investigation of the modal logic of belief functions à la Shafer is made. There it is shown that the Alchourrron-Gärdenfors-Makinson (A.G.M.) logic of belief change (...) is closely related to the D.S. theory. The final section compares the critique of Bayesianism which underlies the present paper with some important objections raised by Suppes against this doctrine. -/- . (shrink)

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations logical systems. (...) At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.

In a recent article, Peter Gärdenfors (1992) has suggested that the AGM (Alchourrón, Gärdenfors, and Makinson) theory of belief revision can be given an epistemic basis by interpreting the revision postulates of that theory in terms of a version of the coherence theory of justification. To accomplish this goal Gärdenfors suggests that the AGM revision postulates concerning the conservative nature of belief revision can be interpreted in terms of a concept of epistemic entrenchment and that there are good empirical reasons (...) to adopt this view as opposed to some form of foundationalist account of the justification of our beliefs. In this paper I argue that Gärdenfors’ attempt to underwrite the AGM theory of belief revision by appealing to a form of coherentism is seriously inadequate for several reasons. (shrink)

This article provides a discussion of the principle of transmission of evidential support across entailment from the perspective of belief revision theory in the AGM tradition. After outlining and briefly defending a small number of basic principles of belief change, which include a number of belief contraction analogues of the Darwiche-Pearl postulates for iterated revision, a proposal is then made concerning the connection between evidential beliefs and belief change policies in rational agents. This proposal is found to be suffcient to (...) establish the truth of a much-discussed intuition regarding transmission failure. (shrink)

This article presents the first, systematic analysis of the ethical challenges posed by recommender systems through a literature review. The article identifies six areas of concern, and maps them onto a proposed taxonomy of different kinds of ethical impact. The analysis uncovers a gap in the literature: currently user-centred approaches do not consider the interests of a variety of other stakeholders—as opposed to just the receivers of a recommendation—in assessing the ethical impacts of a recommender system.

Background: The castor bean is a large grassy or semi-wooden shrub or small tree. Any part of the castor plant parts can suffering from a disease that weakens the ability to grow and eliminates its production. Therefore, in this paper will identify the pests and diseases present in castor culture and detect the symptoms in each disease. Also images is showing the symptom form in this disease. Objectives: The main objective of this expert system is to obtain appropriate diagnosis (...) of the disease. Methods: In this paper, the expert system is designed for the ability of agricultural engineers to detect and diagnose disease of castor like as: seeding blight, alternaria blight, cercospora leaf spot, powdery mildew and wilt. This system presents the disease symptoms, survival and spread, favorable conditions and image for each disease. Clips and Delphi expert system languages are used for designing and implementing the proposed expert system. Results: The expert system in the diagnosis of castor diseases was assessed by farmers and agricultural engineers and they were satisfied and accepted with its quality of performance. Conclusions: The expert system is easy for farmers and people have experience in the plant of castor to detect and diagnosis the symptoms that may face this plant from several disease. (shrink)

In this paper we will try to find resemblances of the operation of human consciousness with systems with the intention to simulate it mathematically. Also we will try to do the same for the non-conscious operations and try to synthesize the human mind in form of system with subsystems.

According to the standard view in philosophy, intentionality is the mark of genuine action. In psychology, human cognition and agency are now widely explained in terms of the workings of two distinct systems (or types of processes), and intentionality is not a central notion in this dual-system theory. Further, it is often claimed, in psychology, that most human actions are automatic, rather than consciously controlled. This raises pressing questions. Does the dual-system theory preserve the philosophical account of intentional (...) action? How much of our behavior is intentional according to this view? And what is the role of consciousness? I will propose here a revised account of intentional action within the dual-system framework, and we will see that most of our behavior can qualify as intentional, even if most of it is automatic. An important lesson will be that philosophical accounts of intentional action need to pay more attention to the role of consciousness in action. (shrink)

Developmental systems theory (DST) is a wholeheartedly epigenetic approach to development, inheritance and evolution. The developmental system of an organism is the entire matrix of resources that are needed to reproduce the life cycle. The range of developmental resources that are properly described as being inherited, and which are subject to natural selection, is far wider than has traditionally been allowed. Evolution acts on this extended set of developmental resources. From a developmental systems perspective, development does not proceed according (...) to a preformed plan; what is inherited is much more than DNA; and evolution is change not only in gene frequencies, but in entire developmental systems. (shrink)

Chest pain is the pain felt in the chest by infants, children and adolescents. In most cases the pain is not associated with the heart. It is mainly recognized by the observance or report of pain by the infant, child or adolescent by reports of distress by parents or care givers. Chest pain is not unusual in children. Lots of children are seen in ambulatory clinics, emergency rooms and hospitals and cardiology clinics. Usually there is a benign cause for the (...) pain for utmost children. Certain patients have conditions that are serious and perhaps life-threatening. Chest pain in pediatric patients needs careful physical examination and a detailed history that would point to the possibility of a serious cause. Researches of pediatric chest pain are scarce. It has been difficult to create evidence-based guidelines for evaluation. In this paper we propose an expert system to help doctors and parents, and care giver in diagnosing chest pain in infants and children. This expert System is design and implemented in SL5 Object language. (shrink)

Griffiths and Russell D. Gray (1994, 1997, 2001) have argued that the fundamental unit of analysis in developmental systems theory should be a process – the life cycle – and not a set of developmental resources and interactions between those resources. The key concepts of developmental systems theory, epigenesis and developmental dynamics, both also suggest a process view of the units of development. This chapter explores in more depth the features of developmental systems theory that favour treating processes as fundamental (...) in biology and examines the continuity between developmental systems theory and ideas about process in the work of several major figures in early 20th century biology, most notable C.H Waddington. (shrink)

Background: With the coming of the Industrial Revolution, the levels of pollution grow significantly. This Technological development contributed to the worsening of shortness breath problems in great shape. especially in infants and children. There are many shortness breath diseases that infants and children face in their lives. Shortness of breath is one of a very serious symptom in children and infants and should never be ignored. Objectives: Along these lines, the main goal of this expert system is to help (...) physician in diagnosing and describe some common causes of shortness of breath in infants and children by diagnosing their cases through our expert system. Moreover, this system which we are presenting will give patient the appropriate diagnosis of disease and the treatment required. Methods: In this paper the strategy of the expert system for diagnosing a number of the existed shortness of breath in infants and children diseases such as (Asthma , Bronchiolitis, Viral Pneumonia, cough, Shortness of breath' dyspnea ', Epiglottitis, Croup, ABSCESS in the tonsil 'peritonsillar abscess', Bronchitis, Viral Bronchitis, Wheezing, sudden infant death syndrome 'SIDS' ) is introduced, an overview about the shortness of breath in children and infants diseases are delineated, the cause of diseases are sketched and the treatment of disease whenever conceivable is given . SL5 Object Expert System language was utilized for designing and implementing the proposed expert system. Results: The proposed shortness of breath in children and infants diseases diagnosis expert system was estimated by Medical students and they were satisfied with its result. Conclusions: The Proposed expert system is very useful for Respiratory physician, pediatrician, recently graduated physician, and for children's parents with shortness of breath problem. (shrink)

In fact, people get neck problems due to something such as sports or woke and Wrong sleep habits. In this paper an expert system was designed to help users to correctly diagnose neck problems world (muscle spasm, Muscle aches, Meningitis, herniated cervical disc, Fibromyalgia, Cervical spondylosis, Trigger points) with some information about the disease and self-care. Java language was used to design and implement this expert system.

With the advent of computers in the experimental labs, dynamic systems have become a new tool for research on problem solving and decision making. A short review of this research is given and the main features of these systems (connectivity and dynamics) are illustrated. To allow systematic approaches to the influential variables in this area, two formal frameworks (linear structural equations and finite state automata) are presented. Besides the formal background, the article sets out how the task demands of (...) class='Hi'>system identification and system control can be realised in these environments, and how psychometrically acceptable dependent variables can be derived. (shrink)

Background: Dengue Disease is a mosquito-borne tropical disease caused by the dengue virus, symptoms typically begin three to fourteen days after infection. This may include a high fever, headache, vomiting, muscle and joint pains, and a characteristic skin rash. Dengue serology is applied in different settings, such as for surveillance, in health care facilities in endemic areas and in travel clinics in non-endemic areas. The applicability and quality of serological tests in dengue endemic regions has to be judged against a (...) background of potential cross reactivity with other flavi-viruses, difficulties in distinguishing primary from secondary infections and technological problems related to the fact that most dengue endemic regions are relatively poor of resources .Objectives: to help doctors and patients in diagnosing Dengue Disease and give them the information of how to prevent Dengue Disease and to be able to understand the signs and symptoms of Dengue Disease. Methods: We collected all relevant material for Dengue Disease. Then we designed and implemented a knowledge based system for diagnosing Dengue Disease using SL5 Object Language. Results: The knowledge based system was evaluated by a group of Patients and specialized doctors and they found it very friendly and easy to use. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

Consciousness has been the bone of contention for philosophers throughout centuries. Indian philosophy largely adopted lived experience as the starting point for its explorations of consciousness. For this reason, from the very beginning, experience was an integral way of grasping consciousness, whose validity as a tool was considered self-evident. Thus, in Indian philosophy, the question was not to move from the brain to mind but to understand experience of an individual and how such an experience is determined through mental structures (...) (and secondarily, the preoccupation with the brain and its relation to the mind). In contrast, cognitive science (the study of mind and cognition through 1 interdisciplinary methods, with emphasis on computational methods) found its debates soaked in discussion which primarily involved the brain and mind. Experience was not considered a primary source of information and its validity had to be established to consider it a source of information of mind. With the rise of physicalism and realization that mental states are correlative to brain states, the body was virtually neglected from involvement in understanding the mind and the attempts to reduce mind to the brain were rampant. The inability to explain subjective experience of an individual through neuroscientific findings alone has urged philosophers to explore other ways of understanding the ontology of mind. Over the last few years, embodied cognition and enactive approach have brought back the body as a central participant in this debate, providing fertile grounds to explain the relation of brain, body and mind. This paper proposes that we understand the brain as a complex system from which the mind emerges. This emergence is marked by the development of novel property of self-consciousness in human beings. The mind is a process which is embedded throughout the body and thus, the body acts as an actualizing medium for the individual. Thus, the brain is a necessary condition for the mind to be while the mind is embedded throughout the body. The brain and mind are in reciprocal causal relationship with one another, as is the body and environment with one another. In this paper, embodied cognition is understood through principles of Merleau Ponty's idea of embodiment, than through Andy Clark and Francis Varela's alone. (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)

A computational theory of consciousness should include a quantitative measure of consciousness, or MoC, that (i) would reveal to what extent a given system is conscious, (ii) would make it possible to compare not only different systems, but also the same system at different times, and (iii) would be graded, because so is consciousness. However, unless its design is properly constrained, such an MoC gives rise to what we call the boundary problem: an MoC that labels a (...) class='Hi'>system as conscious will do so for some – perhaps most – of its subsystems, as well as for irrelevantly extended systems (e.g., the original system augmented with physical appendages that contribute nothing to the properties supposedly supporting consciousness), and for aggregates of individually conscious systems (e.g., groups of people). This problem suggests that the properties that are being measured are epiphenomenal to consciousness, or else it implies a bizarre proliferation of minds. We propose that a solution to the boundary problem can be found by identifying properties that are intrinsic or systemic: properties that clearly differentiate between systems whose existence is a matter of fact, as opposed to those whose existence is a matter of interpretation (in the eye of the beholder). We argue that if a putative MoC can be shown to be systemic, this ipso facto resolves any associated boundary issues. As test cases, we analyze two recent theories of consciousness in light of our definitions: the Integrated Information Theory and the Geometric Theory of consciousness. (shrink)

Recently there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching information security. This intelligent tutoring systems target the students enrolled in Advanced Topics in Information Security in the faculty of Engineering and Information Technology at Al-Azhar University in Gaza. Through which the student will be able to study the course and solve related problems. An evaluation of the intelligent tutoring (...) systems was carried out and the results were promising. (shrink)

A theory of cognitive systems individuation is presented and defended. The approach has some affinity with Leonard Talmy's Overlapping Systems Model of Cognitive Organization, and the paper's first section explores aspects of Talmy's view that are shared by the view developed herein. According to the view on offer -- the conditional probability of co-contribution account (CPC) -- a cognitive system is a collection of mechanisms that contribute, in overlapping subsets, to a wide variety of forms of intelligent behavior. Central (...) to this approach is the idea of an integrated system. A formal characterization of integration is laid out in the form of a conditional-probabilitybased measure of the clustering of causal contributors to the production of intelligent behavior. I relate the view to the debate over extended and embodied cognition and respond to objections that have been raised in print by Andy Clark, Colin Klein, and Felipe de Brigard. (shrink)

In this paper the central ideas and history of the theory of complex systems are described. It is shown how this theory lends itself to different interpretations and, correspondingly, to different political conclusions.

I present a condensed exposé of systemic materialism, a synthesis of materialism and systemism originally proposed by Mario Bunge. Matter is identified with mutability of propertied particulars, and a concrete or material system is defined as an object with composition, structure, mechanism, and environment. I review different aspects of this ontology, and discuss some of its implications for epistemology, ethics, and aesthetics. I also try to identify some problems of this view and offer some ways to overcome the difficulties. (...) I conclude that systemic materialism is a promising philosophical project still in the making. (shrink)

Reserve systems are a tool to allocate scarce resources when stakeholders do not have a single objective. This paper introduces some basic concepts about reserve systems for pandemic medical resource allocation. At the onset of the Covid-19 pandemic, we proposed that reserve systems can help practitioners arrive at compromises between competing stakeholders. More than a dozen states and local jurisdictions adopted reserve systems in initial phases of vaccine distribution. We highlight several design issues arising in some of these implementations. We (...) also offer suggestions about ways practitioners can take advantage of the flexibility offered by reserve systems. (shrink)

Abstract: Background: In spite of the fact that computers continue to improve in speed and functions operation, they remain complex to use. Problems frequently happen, and it is hard to resolve or find solutions for them. This paper outlines the significance and feasibility of building a desktop PC problems diagnosis system. The system gathers problem symptoms from users’ desktops, rather than the user describes his/her problems to primary search engines. It automatically searches global databases of problem symptoms and (...) solutions, and also allows ordinary users to contribute exact problem reports in a structured manner. Objectives: The main goal of this Knowledge Based System is to get the suitable problem desktop PC symptoms and the correct way to solve the errors. Methods: In this paper the design of the proposed Knowledge Based System which was produced to help users of desktop PC in knowing many of the problems and error such as : Power supply problems, CPU errors, RAM dumping error, hard disk errors and bad sectors and suddenly restarting PC. The proposed Knowledge Based System presents an overview about desktop PC hardware errors are given, the cause of fault are outlined and the solution to the problems whenever possible is given out. CLIPS Knowledge Based System language was used for designing and implementing the proposed expert system. Results: The proposed PC desktop troubleshooting Knowledge Based System was evaluated by IT students and they were satisfied with its performance. (shrink)

The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not as a trivialisation, (...) but as an intended consequence of Gödel's ontotheological views. (shrink)

This abstract is a synopsis of the paper "An Expert System for Diagnosing Whooping Cough Using CLIPS." The bacterium Bordetella pertussis causes whooping cough, a highly infectious respiratory ailment with several phases of symptoms. An accurate and timely diagnosis is critical for effective treatment and the avoidance of future transmission. The construction of an expert system for detecting whooping cough using the CLIPS (C Language Integrated Production System) architecture is highlighted in this abstract. The expert system (...) provides standardized and systematic evaluation, which reduces the chance of misdiagnosis and improves patient outcomes. Maintenance and upgrades are required to keep the system current with growing medical knowledge. More study in this area has the potential to advance expert systems in identifying and managing a variety of medical disorders. (shrink)

Although Newton carefully eschews questions about gravity’s causal basis in the published Principia, the original version of his masterwork’s third book contains some intriguing causal language. “These forces,” he writes, “arise from the universal nature of matter.” Such remarks seem to assert knowledge of gravity’s cause, even that matter is capable of robust and distant action. Some commentators defend that interpretation of the text—a text whose proper interpretation is important since Newton’s reasons for suppressing it strongly suggest that he continued (...) to endorse its ideas. This article argues that the surface appearance of Newton’s causal language is deceptive. What does New- ton intend with his causal language if not a full causal hypothesis? His remarks actually indicate a way of considering the force mathematically, something he contrasts to the structure of the force as it really is in nature. In explaining that, he identifies a significant disjunction between the physical force itself and mathematical ways of considering it, and the text’s significance lies in its view of the force’s structure and in the questions raised about the relationship between mathematical representations and the physical world. (shrink)

This chapter presents the successive stages to make changes in the Polish development policy after 1989. The national administration reform of 1990 in the Third Commonwealth of Poland restored the local government after 40 years of non-existence during the time of Polish People’s Republic that was a satellite state of the Soviet Union after the Second World War. Another reform took place in 1998 as a part of preparations for the country’s membership in the European Union from 2004. Currently developed (...) strategic documents are suggesting the use of the "polarization and diffusion model of the development." The authors also discuss the regional policy currently implemented in Poland, which was designed in years 2009-2014. The process of creation of new policy includes plans to reform the policy instruments and to update the strategic framework. Conclusions highlight a need for a clearer division of powers between the center and regional governments and the importance of strengthening the financial basis and institutional capacity building. (shrink)

Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the (...) requirements of the different components, integration of these components in ITSB tool are shown. Furthermore, implanting of requirements, cognitive principle, and common design fundamentals in the tool to ease the use of teachers. A variety of design matters, an example of building an intelligent tutoring system for teaching Java language using ITSB tool and an evaluation are presented. (shrink)

Literature frequently describes how ineffective implementation of instructional policy frameworks can make distance learning a lonely and unrewarding academic pursuit, characterized by high student drop-out rates, high failure rates and academic exclusion. In trying to mitigate this catastrophe, academic departments in distance learning institutions utilize learning management systems (LMSs) to stimulate students’ learning experiences. In keeping with techno-progressivism, the researchers (and authors of this paper) turned to extant documentary policy and literature to review – qualitatively – how the University of (...) South Africa’s (Unisa’s) Open Distance Learning Policy (ODLP) promotes academic inclusion and learning agency as cornerstones of student success and social justice, especially in an unequal society like South Africa. The findings revealed the following: 1) Unisa’s ODLP position has the impetus to influence the deployment of the LMS to promote academic inclusion; 2) Practical means of promoting inclusion were mirrored in the provision of manual or electronic learning material, computer laboratories and free internet connectivity in regional centres across all nine provinces of South Africa, as well as in the provision of laptops for National Student Financial Aid Scheme (NSFAS)-funded students, 30 gigabytes of free monthly mobile data to all students, and assistive technologies for students with disabilities; 3) Practical utilization of an LMS to foster self-regulated learning occurred through problem-based individual activities supplemented by asynchronous demonstrative learning material (e.g. audio, video), while collaborative learning agency was enabled through e-tutoring, which afforded students the opportunity to interact with e-tutors and their peers about the learning content; 4) Drawbacks in the use of the LMS stemmed from the insufficiency of assistive learning technologies that are required for students with disabilities to participate fully in online learning, and a corpus of students’ irregular attendance at and participation in e-tutoring discussions and their projection of a negative attitude towards the e-tutors. -/- . (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and complete, and (...) it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

The human body is a system made of systems. The body is divided into bodily systems proper, such as the endocrine and circulatory systems, which are subdivided into many sub-systems at a variety of levels, whereby all systems and subsystems engage in massive causal interaction with each other and with their surrounding environments. Here we offer an explicit definition of bodily system and provide a framework for understanding their causal interactions. Medical sciences provide at best informal accounts of (...) basic notions such as system, process, and function, and while such informality is acceptable in documentation created for human beings, it falls short of what is needed for computer representations. In our analysis we will accordingly provide the framework for a formal definition of bodily system and of associated notions. (shrink)

Diabetes is a major public health issue that affects the nations of our time to a large extent and is described as a non-communicable epidemic. Diabetes mellitus is a common disease where there is too much sugar (glucose) floating around in your blood. This occurs because either the pancreas can’t produce enough insulin or the cells in body have become resistant to insulin. The concentration in this paper is on diagnosis diabetes by designing a proposed expert system. The main (...) goal of this expert system is to get the appropriate diagnosing of the illness, dealing with it quickly, and tips for permanent treatment whenever possible is given out. SL5 object expert system language was used for designing and implementing the proposed expert system. (shrink)

In recent years, an active research program has emerged that aims to develop a Humean best-system account (BSA) of laws of nature that improves on Lewis’s canonical articulation of the view. Its guiding idea is that the laws are cognitive tools tailored to the specific needs and limitations of creatures like us. While current versions of this “pragmatic Humean” research program fare much better than Lewis’s account along many dimensions, I will argue that they have trouble making sense of (...) certain key features of the practice of fundamental physics. Indeed, these features seem to go against the very idea that laws are useful for agents like us. In my view, Humeans can address these issues by paying more attention to the explanatory role of laws. Following this idea, I will propose an account on which what makes a systematization the best is a kind of explanatory power, understood along the lines of the unificationist theory of explanation. The resulting view, I will argue, can make sense of those features of laws that other pragmatic accounts of laws have trouble explaining. (shrink)

Physical systems can store information and their informational properties are governed by the laws of information. In particular, the amount of information that a physical system can convey is limited by the number of its degrees of freedom and their distinguishable states. Here we explore the properties of the physical systems with absolutely one degree of freedom. The central point in these systems is the tight limitation on their information capacity. Discussing the implications of this limitation we demonstrate that (...) such systems exhibit a number of features, such as randomness, no-cloning, and non-commutativity, which are peculiarities attributed to quantum mechanics (QM). After demonstrating many astonishing parallels to quantum behavior, we postulate an interpretation of quantum physics as the physics of systems with a single degree of freedom. We then show how a number of other quantum conundrum can be understood by considering the informational properties of the systems and also resolve the EPR paradox. In the present work, we assume that the formalism of the QM is correct and well-supported by experimental verification and concentrate on the interpretational aspects of the theory. (shrink)

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design (...) of an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

A new advanced systems theory concerning the emergent nature of the Social, Consciousness, and Life based on Mathematics and Physical Analogies is presented. This meta-theory concerns the distance between the emergent levels of these phenomena and their ultra-efficacious nature. The theory is based on the distinction between Systems and Meta-systems (organized Openscape environments). We first realize that we can understand the difference between the System and the Meta-system in terms of the relationship between a ‘Whole greater than the (...) sum of the parts’ and a ‘Whole less than the sum of its parts’, i.e., a whole full of holes (like a sponge) that provide niches for systems in the environment. Once we understand this distinction and clarify the nature of the unusual organization of the Meta-system, then it is possible to understand that there is a third possibility which is a whole exactly equal to the sum of its parts that is only supervenient like perfect numbers. In fact, there are three kinds of Special System corresponding to the perfect, amicable, and sociable aliquot numbers. These are all equal to the sum of their parts but with different degrees of differing and deferring in what Jacques Derrida calls “differance”. All other numbers are either excessive (systemic) or deficient (metasystemic) in this regard. The Special Systems are based on various mathematical analogies and some physical analogies. But the most important of the mathematical analogies are the hypercomplex algebras, which include the Complex Numbers, Quaternions, and Octonions, with the Sedenions corresponding to the Emergent Meta-system. However, other analogies are the Hopf fibrations between hyperspheres of various dimensions, nonorientable surfaces, soliton solutions, etc. These Special Systems have a long history within the tradition since they can be traced back to the imaginary cities of Plato. The Emergent Meta-system is a higher order global structure that includes the System with the three Special Systems as a cycle. An example of this from our tradition is in the Monadology of Gottfried Wilhelm von Leibniz. There is a conjunctive relationship between the System schema and the Special Systems that produce the Meta-system schema cycle. The Special Systems are a meta-model for the relationship between the emergent levels of Consciousness (Dissipative Ordering based on the theory of negative entropy of Prigogine), Living (Autopoietic Symbiotic based on the theory of Maturana and Varela), and Social (Reflexive based on the theory of John O’Malley and Barry Sandywell). These different special systems are related to the various existenitals identified by Martin Heidegger in Being and Time and various temporal reference frames identified by Richard M. Pico. We also relate the special systems to morphodynamic and teleodynamic systems of Terrence Deacon in Incomplete Nature to which we add sociodynamic systems to complete the series of Special Systems. (shrink)

Contemporary Information Systems management incorporates the need to make explicit the links between semiotics, meaning-making and the digital age. This focus addresses, at its core, pure rationality, that is, the capacity of human interpretation and of human inscription upon reality. Creating the new real, that is the motto. Humans are intrinsically semiotic creatures. Consequently, semiotics is not a choice or an option but something that works like a second skin, establishing limits and permeable linkages between: human thought and human's infinite (...) world of imagination; and human action, with its correspondent infinite world of intentionality, of desire and of unexplored possibilities. Two instances are contrasted as two reading lenses of current business reality: IS governance and industry 4.0. These phenomena correspond to the need to take accountability, transparency and responsibility into account, when designing IS and when using such systems through the ecology of connectivity, Big Data and the Internet of Things. Political, social and cultural dimensions are brought into the equation, when addressing the question of the relevance and adequateness of IS theory and practice to respond to contemporary challenges. The message is that what has already been achieved is but a shadow, a pale vision, of what might be achieved in the age of the new Renaissance. (shrink)

There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived (...) of as fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i) ontic fundamentality, (ii) epistemic fundamentality, and (iii) explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics. (shrink)

The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of (...) students enrolled in computer science curriculum at Al-Azhar University, Gaza. The results showed a positive impact on the evaluators. (shrink)

We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and (...) a four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

Background: There is no doubt that strawberry diseases are one of the most important reasons that led to the destruction of strawberry plants and their crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases after a good step for proper and correct treatment. Determining the treatment with high accuracy depends on the method used in the diagnosis. Correctly, expert systems can greatly help in avoiding damage to these plants. The expert system correctly (...) diagnoses strawberry disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper the design of the proposed Expert System which was produced to help Farmers and students interested in agriculture strawberry in diagnosing many of the strawberry diseases such as: Leaf Spots, Grey Mold, Red Stele/Red Core, Wilt, Powdery Mildew, Alternaria Spot, Black Root Rot, Anthracnose (black spot), and Angular Leaf Spot. The proposed expert system presents an overview about strawberry diseases are given, the cause of diseases are outlined and the treatment of disease whenever possible is given out. CLIPS language was used for designing and implementing the proposed expert system. Results: The proposed strawberry diseases diagnosis expert system was evaluated by Farmers and they were satisfied with its performance. Conclusions: The Proposed expert system is very useful for Farmers with strawberry problem and students interested in agriculture strawberry. (shrink)

The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there (...) are at least two approaches to the problem. First of all, it is possible to restrict a validity of some theorems. In another approach we can investigate even weaker logics which have no theorems and are characterized only by rules of deducibility. (shrink)