The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report (...) shortly our team’s advantages in developing and implementation of ΑBox abduction in DLs. (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)

Scientific consensus is widely deferred to in public debates as a social indicator of the existence of knowledge. However, it is far from clear that such deference to consensus is always justified. The existence of agreement in a community of researchers is a contingent fact, and researchers may reach a consensus for all kinds of reasons, such as fighting a common foe or sharing a common bias. Scientific consensus, by itself, does not necessarily indicate the existence of shared (...) class='Hi'>knowledge among the members of the consensus community. I address the question of under what conditions it is likely that a consensus is in fact knowledge based. I argue that a consensus is likely to be knowledge based when knowledge is the best explanation of the consensus, and I identify three conditions—social calibration, apparent consilience of evidence, and social diversity, for knowledge being the best explanation of a consensus. (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)

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)

Several philosophers have proposed Knowledge-Based Decision Theories (KDTs)—theories that require agents to maximize expected utility as yielded by utility and probability functions that depend on the agent’s knowledge. Proponents of KDTs argue that such theories are motivated by Knowledge-Reasons norms that require agents to act only on reasons that they know. However, no formal derivation of KDTs from Knowledge-Reasons norms has been suggested, and it is not clear how such norms justify the particular ways in which (...) KDTs relate knowledge and rational action. In this paper, I suggest a new axiomatic method for justifying KDTs and providing them with stronger normative foundations. I argue that such theories may be derived from constraints on the relation between knowledge and preference, and that these constraints may be evaluated relative to intuitions regarding practical reasoning. To demonstrate this, I offer a representation theorem for a KDT proposed by Hawthorne and Stanley (2008) and briefly evaluate it through its underlying axioms. -/- In section 1, I present knowledge-based decision theories generally and the versions of such theories suggested in the literature. In section 2, I argue that KDTs and theories of practical reasoning conjoined with Knowledge-Reasons norms generate constraints on the same relation—the relation between knowledge and preference. In section 3, I present a formal framework in which constraints on this relation may be expressed and from which KDTs may be derived. In section 4, I present a representation theorem for a specific KDT. In section 5, I briefly evaluate the axioms of the theory, and in section 6, I conclude. (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)

We describe and try to motivate our project to build systems using both a knowledge based and a neural network approach. These two approaches are used at different stages in the solution of a problem, instead of using knowledge bases exclusively on some problems, and neural nets exclusively on others. The knowledge base (KB) is defined first in a declarative, symbolic language that is easy to use. It is then compiled into an efficient neural network (NN) (...) representation, run, and the results from run time and (eventually) from learning are decompiled to a symbolic description of the knowledge contained in the network. After inspecting this recovered knowledge, a designer would be able to modify the KB and go through the whole cycle of compiling, running, and decompiling again. The central question with which this project is concerned is, therefore, How do we go from a KB to an NN, and back again? We are investigating this question by building tools consisting of a repertoire of language/translation/network types, and trying them on problems in a variety of domains. (shrink)

In this paper a Knowledge-Based System (KBS) for determining the appropriate students major according to his/her preferences for sophomore student enrolled in the Faculty of Engineering and Information Technology in Al-Azhar University of Gaza was developed and tested. A set of predefined criterions that is taken into consideration before a sophomore student can select a major is outlined. Such criterion as high school score, score of subject such as Math I, Math II, Electrical Circuit I, and Electronics I taken (...) during the student freshman year, number of credits passed, student cumulative grade point average of freshman year, among others, were then used as input data to KBS. KBS was designed and developed using Simpler Level Five (SL5) Object expert system language. KBS was tested on three generation of sophomore students from the Faculty of Engineering and Information Technology of the Al-Azhar University, Gaza. The results of the evaluation show that the KBS is able to correctly determine the appropriate students major without errors. (shrink)

This paper discusses some engineering considerations that should be taken into account when building a knowledge based system, and recommends isomorphism, the well defined correspondence of the knowledge base to the source texts, as a basic principle of system construction in the legal domain. Isomorphism, as it has been used in the field of legal knowledge based systems, is characterised and the benefits which stem from its use are described. Some objections to and limitations of the (...) approach are discussed. The paper concludes with a case study giving a detailed example of the use of the isomorphic approach in a particular application. (shrink)

According to the main theories of the knowledge-based economy (KBE), the recent transformations of capitalism are the origins of a general societal change. Managerial theories consider KBE to be a series of win-win mechanisms that simultaneously favour firms, workers and consumers. The cognitive capitalism theory perceives in the development of cognitive capitalism signs of the formation of a post-capitalist economy. This article discusses the main features of these two theoretical orientations and identifies some core ambivalences in KBE. The relationship (...) between the market and society in KBE is marked by a dialectical process. The former incorporates mechanisms of potential economic valorization generated by informal social relationships. To this end, it must internalize actors, practices and cultures that are partially in conflict with it, given that it must make ever greater attempts to bring the overall process back within the ownership regime. One thus witnesses a reduction of the barriers between firms and society, that can simultaneously engender a more subtle dominance of the former over the latter, or the growth of autonomy, self-organization and peer cooperation among social actors. This second possibility relies entirely upon politics and collective action. (shrink)

We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, (...) and the amount of information in a message. (shrink)

The Knowledge Based System for Diagnosing Breast Cancer is used to assist medical students to improve their education on diagnosis and counseling the process of analyzing the biopsy image of the microscope, determining the type of tumor and the treatment method for each case and identifying the disease related questions. According to the Ministry of Health in its annual report in Gaza, between 2009 and 2014 there are 7069 cases of breast cancer, and in 2014 there are 1502 cases (...) of breast cancer . We are now in the age of visual information where 65% of the populations are visual learners; the Knowledge Based System is the easiest way to ensure students remember the information in the long term, using visual and textual information. The Knowledge Based System has an easy-to-use interface to help students diagnose the disease and enhance their information about the disease; the system can be used on smart phones. This Knowledge Based System can be divided into three main parts: The first part is specific questions for the patient, to help student to know questions type. The second part is the process of analyzing the biopsy sample image, to see if the biopsy image is intact or infected. The last part is the video shows ways to treat breast cancer in the form of animation. (shrink)

No kind of technology has had such a profound effect upon our lives and society as the new knowledge-based systems which start to overcome the traditional computer technology. Few areas of science raise such high expectations and meet with so much sceptical resistance as Artificial Intelligence (AI). So it is the task of philosophy of science and technology to analyze the factual methodological possibilities of AI-technology. After a historical sketch of AI-development (Chapter 2), the technological foundations of expert systems (...) are described (Chapter 3). It is a surprising result of analysis that expert systems are technical realizations of well-known philosophical methodologies. In this very sense, AI is not only technology, but philosophy too (Chapter 4). On the other hand the question arises if knowledge-based systems can support the work of philosophers of science who want to explain the process of scientific research, inventions, and discoveries. This application of AI for the philosophical professionals is discussed in the 5th chapter. In the 6th chapter some scenarios of AI-technology are described which are expected in the nineties. Then, besides philosophy of science and technology, we have to consider the ethical questions which arise in evaluating the factual impact of AI-technology on our lives and society. (shrink)

Recently, Intelligent Tutoring Systems (ITS) got much attention from researchers even though ITS educational technology began in the late 1960s and ITS is just embryonic from laboratories into the field. In this paper we outline an intelligent tutoring system for teaching basics of the databases system called (MDB). The MDB was built as education system by using the authoring tool (ITSB). MDB contains learning materials as a group of lessons for beginner level which include relational database system and lessons in (...) the process to install and set up a database. MDB system has exams for each level of the Lessons. An evaluation was done to see the effectiveness the MDB among learners and instructors. The outcome of the evaluation was promising. (shrink)

Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as “if my belief that φ holds is high then do some action α else perform some sensing action β”.

The resolution of ambiguities is one of the central problems for Machine Translation. In this paper we propose a knowledge-based approach to disambiguation which uses Description Logics (dl) as representation formalism. We present the process of anaphora resolution implemented in the Machine Translation systemfast and show how thedl systemback is used to support disambiguation.The disambiguation strategy uses factors representing syntactic, semantic, and conceptual constraints with different weights to choose the most adequate antecedent candidate. We show how these factors can (...) be declaratively represented as defaults inback. Disambiguation is then achieved by determining the interpretation that yields a qualitatively minimal number of exceptions to the defaults, and can thus be formalized as exception minimization. (shrink)

In Epistemological Disjunctivism, Duncan Prichard defends his brand of epistemological disjunctivism from three worries. In this paper I argue that his responses to two of these worries are in tension with one another.

Knowledge-based development is education writ large. Therefore this paper approaches the idea of a knowledge-based development institution ("Knowledge Bank") from the viewpoint of philosophy of education, educational psychology, and pedagogical theory applied to the problems of development.

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high‐dimensional “situation‐state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situations is more flexible than Golden and Rumelhart's [Discourse Proc 16 (1993) 203] localist representation.A story taking place in the microworld corresponds to a trajectory through situation‐state space. During (...) the inference process, world knowledge is applied to the story trajectory. This results in an adjusted trajectory, reflecting the inference of propositions that are likely to be the case. Although inferences do not result from a search for coherence, they do cause story coherence to increase. The results of simulations correspond to empirical data concerning inference, reading time, and depth of processing.An extension of the model for simulating story retention shows how coherence is preserved during retention without controlling the retention process. Simulation results correspond to empirical data concerning story recall and intrusion. (shrink)

A computational model of inference during story comprehension is presented, in which story situations are represented distributively as points in a high‐dimensional “situation‐state space.” This state space organizes itself on the basis of a constructed microworld description. From the same description, causal/temporal world knowledge is extracted. The distributed representation of story situations is more flexible than Golden and Rumelhart's [Discourse Proc 16 (1993) 203] localist representation.A story taking place in the microworld corresponds to a trajectory through situation‐state space. During (...) the inference process, world knowledge is applied to the story trajectory. This results in an adjusted trajectory, reflecting the inference of propositions that are likely to be the case. Although inferences do not result from a search for coherence, they do cause story coherence to increase. The results of simulations correspond to empirical data concerning inference, reading time, and depth of processing.An extension of the model for simulating story retention shows how coherence is preserved during retention without controlling the retention process. Simulation results correspond to empirical data concerning story recall and intrusion. (shrink)

Social capital and scaling social impact are two of the most important concepts within social entrepreneurship and social enterprise research. However, what role social capital plays in scaling social impact is less understood and academic literatures on the connection of these two crucial concepts are fragmented and scattered. To fill this research gap, we have conducted a bibliometric review to inform academics and researchers the salient agents in the field and categorize the conceptual structure of the knowledge base. (...) Using science mapping techniques, we have analyzed 1549 relevant documents from SCOPUS that are published between 1986 and 2021. The primary objective of this review is to uncover the size, growth trajectory, and geographic distribution of literatures related to social capital's role in scaling social impact. Additionally, we have also analyzed key publishing journals, authors, and documents to map the intellectual structure and research fronts of the domain. The review shows that there is a reasonable accumulation of scientific knowledge concerning social capital's role in scaling social impact in the last three decades. Another key finding is that, some of the keywords identified within the research fronts are closely aligned with a number of UN-SDG goals. This is the first study to systematically map social capital's role in scaling social impact literature with the help of a science mapping tool called bibliometric analysis. This work provides a clear overview of the evolution of the research field and presents potentially important research gaps that require further attention. (shrink)

The classification of unvoiced stops in consonant–vowel syllables, segmented from continuous speech, is investigated by features related to speech production. As burst and vocalic transitions contribute to identification of stops in the CV context, features are computed from both regions. Although formants are the truly discriminating articulatory features, their estimation from the speech signal is a challenge especially in unvoiced regions like the release burst of stops. This may be compensated partially by sub-band energy-based features. In this work, formant features (...) from the vocalic region are combined with features from the burst region comprising sub-band energies, as well as features from a formant tracking method developed for unvoiced regions. The overall combination of features at the classifier level obtains an accuracy of 84.4%, which is significantly better than that obtained with solely sub-band features on unvoiced stops in CV syllables of TIMIT. (shrink)

Suppose a speaker S and an audience A are in a communication coordination problem. That is, for some proposition p, they each prefer that S mean that p and that A believe p in response. How do they coordinate their thought and action to solve the problem? The Gricean answer is that they reason their way to the solution. Pragmatics makes a similar assumption. “Pragmatics involves perception augmented by some species of ‘ampliative’ inference … a sort of reasoning”. There are (...) two objections. The first is that it is not plausible to attribute such reasoning to speakers and audiences. The second objection grants, for the sake of argument, that speakers and audiences reason in the required ways. The objection is that this is not sufficient to solve coordination problems since a speaker and an audience may not know how each has reasoned. The problem is well-known in game theory, which typically solves it by assuming the parties’ preferences are common knowledge. Common knowledge is the recursive belief state in which people are know something, know they know it, know they know they know it, ad infinitum. I propose a similar solution. When people interact as speaker and audience, common knowledge arises from their perceptions of each other as fulfilling the roles of speaker and audience. The account of how common knowledge arises entails Grice’s general characterization of conversational implicatures. More precisely, it entails speakers and audiences involved in communication coordination problems typically commonly know that a relevant instance of the conditions holds. The common knowledge approach requires attributing reasoning to speakers and audiences, but it keeps those attributions to a plausible minimum. Thus the common knowledge approach is a viable alternative to current approaches that attribute extensive reasoning to speakers and audiences.A common knowledge-based approach to pragmatics would answer at least the following question: What informative generalizations are possible about the role of contexts in generating common knowledge relevant to conversational implicatures? The question is important. “Much has been learned about these domains of psychology from a focus on the problem of altruistic cooperation and the mechanisms of reciprocity. We hope that comparable insights are waiting to be discovered by psychologists as they investigate the problem of mutualistic cooperation, and the mechanisms of common knowledge are—as we might say—put out there”. (shrink)

This article argues that Aristotle depicts the soul as a detectable aspect of one’s being, is in the form of properties, and is discernable by cognition. Thus, he proposed that it is possible to discern the complementary connection between one’s being and the first cause of creation. Aristotle, like Kant, recognised that the age-old problem of scepticism posed a challenge to epistemological, ontological, and ethical claims. However, Kant did not develop his ideas regarding bridging the gap between what is demonstrable (...) and the first cause of creation – which resulted in perpetuating problems with scepticism and dualism. Consequently, in the effort to resolve the problems of scepticism and dualism, to promote self-actualisation, holistic well-being and, to help individuals realise their full potential there is a resurgence of Aristotle’s explanation of the relationship between self-knowledge and knowledge of the first cause of creation. This article contributes to the philosophy of science, the philosophy of the social sciences, the philosophy of religion, to contemporary literature on social psychology, and to literature addressing the interface between the sciences and perennial philosophy by demonstrating that Aristotle’s perennial wisdom and his epistemic approach – based on logical positivism – resolve problems related to scepticism, materialism, and dualism. (shrink)

Knowledge-Based Systems (KBS) are developed to contain substantial elements of human knowledge and expertise in a well-defined domain, and use these to support user or expert tasks. Issues related to the social and organisational contexts of these systems are widely acknowledged to be particularly critical to their success. However, methodology proposals usually stop short of adequately handling soft and unstructured data that frame the contexts of use. The handling of qualitative data needs to be done in a way (...) that directly impinges on the wider Knowledge-Based System engineering processes and decisions. In this paper, we discuss the nature of context-sensitive issues, and describe a methodological approach for resolving them through the rigorous analysis of qualitative data, using a methodology which is based upon the Grounded Theory method from the social sciences. (shrink)

Purpose:On the background of innovation-driven growth strategy of the Chinese government, this study aims to explore the impact of the knowledge base on innovation-driven growth of a firm, which is moderated by organizational character.Design/methodology/approach:Based on the data of 965 Chinese listed companies, some hypotheses were tested using the method of hierarchical regression analysis.Findings:Organizational growth relies on both technological and business model innovations and their interactive effect. Knowledge base, both breadth and depth, makes a positive impact on (...) the innovation-driven growth of an enterprise. In the impacting mechanism, an explicit organizational character not only has direct positive effects on business model innovation, it also strengthens the effect of knowledge breadth on business model innovation. On the contrary, an implicit organizational character is not significantly related to innovation.Research limitations/implications:In order to achieve growth, enterprises are suggested to adopt such dual innovation strategy, led by technological innovation and supplemented with business model innovation, which is supported by the integrated management of intangible resources, deep and broad knowledge, and explicit organizational character.Originality/value:A new theoretical framework of organizational innovation-driven growth was proposed. The realization paths of innovation-driven growth were explored. The idea of collaborative governance between the knowledge base and organizational character was raised. (shrink)

Deontic Logic goes back to Ernst Mally’s 1926 work, Grundgesetze des Sollens: Elemente der Logik des Willens [Mally. E.: 1926, Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner & Lubensky, Graz], where he presented axioms for the notion ‘p ought to be the case’. Some difficulties were found in Mally’s axioms, and the field has much developed. Logic of Knowledge goes back to Hintikka’s work Knowledge and Belief [Hintikka, J.: 1962, Knowledge and Belief: An Introduction to (...) the Logic of the Two Notions, Cornell University Press] in which he proposed formal logics of knowledge and belief. This field has also developed quite a great deal and is now the subject of the TARK conferences. However, there has been relatively little work combining the two notions of knowledge (belief) with the notion of obligation. (See, however, [Lomuscio, A. and Sergot, M.: 2003, Studia Logica 75 63–92; Moore, R. C.: 1990, In J. F. Allen, J. Hendler and A. Tate (eds.), Readings in Planning, Morgan Kaufmann Publishers, San Mateo, CA]) In this paper we point out that an agent’s obligations are often dependent on what the agent knows, and indeed one cannot reasonably be expected to respond to a problem if one is not aware of its existence. For instance, a doctor cannot be expected to treat a patient unless she is aware of the fact that he is sick, and this creates a secondary obligation on the patient or someone else to inform the doctor of his situation. In other words, many obligations are situation dependent, and only apply in the presence of the relevant information. Thus a case for combining Deontic Logic with the Logic of Knowledge is clear. We introduce the notion of knowledge based obligation and offer an S5, history based Kripke semantics to express this notion, as this semantics enables us to represent how information is transmitted among agents and how knowledge changes over time as a result of communications. We consider both the case of an absolute obligation (although dependent on information) as well as the (defeasible) notion of an obligation which may be over-ridden by more relevant information. For instance a physician who is about to inject a patient with drug d may find out that the patient is allergic to d and that she should use d′ instead. Dealing with the second kind of case requires a resort to non-monotonic reasoning and the notion of justified belief which is stronger than plain belief, but weaker than absolute knowledge in that it can be over-ridden. This notion of justified belief also creates a derived notion of default obligation where an agent has, as far as the agent knows, an obligation to do some action a. A dramatic application of this notion is our analysis of the Kitty Genovese case where, in 1964, a young woman was stabbed to death while 38 neighbours watched from their windows but did nothing. The reason was not indifference, but none of the neighbours had even a default obligation to act, even though, as a group, they did have an obligation to take some action to protect Kitty. (shrink)