Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead to disastrous (...) consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (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)

This conceptual paper represents my first attempt to tackle a difficult research problem (at least for me), employing the mindsponge concept facilitated by the BMF analytical approach. These ‘weapons’–as we at AISDL usually call them–have shown usefulness and capabilities to shed light on numerous challenging research problems in social sciences and humanities.

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain (...) a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising. (shrink)

In this paper, I identify a central problem for conceptual engineering: the problem of showing concept-users why they should recognise the authority of the concepts advocated by engineers. I argue that this authority problem cannot generally be solved by appealing to the increased precision, consistency, or other theoretical virtues of engineered concepts. Outside contexts in which we anyway already aim to realise theoretical virtues, solving the authority problem requires engineering to take a functional turn and attend to the functions of (...) concepts. But this then presents us with the problem of how to specify a concept’s function. I argue that extant solutions to this function specification problem are unsatisfactory for engineering purposes, because the functions they identify fail to reliably bestow authority on concepts, and hence fail to solve the authority problem. What is required is an authoritative notion of conceptual function: an account of the functions of concepts which simultaneously shows why concepts fulfilling such functions should be recognised as having authority. I offer an account that meets this combination of demands by specifying the functions of concepts in terms of how they tie in with our present concerns. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, KT , (...) K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research. The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely the duality (...) of ABM: Real-world systems can not only be simulated with verisimilitude using ABM; they can also be efficiently and robustly designed and constructed on the basis of ABM principles. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

Evidence based medicine (EBM) is under critical debate, and person centered healthcare (PCH) has been proposed as an improvement. But is PCH offered as a supplement or as a replacement of EBM? Prima facie PCH only concerns the practice of medicine, while the contended features of EBM also include methods and medical model. I here argue that there are good philosophical reasons to see PCH as a radical alternative to the existing medical paradigm of EBM, since the two seem committed (...) to conflicting ontologies. This paper aims to make explicit some of the most fundamental assumptions that motivate EBM and PCH, respectively, in order to show that the choice between them ultimately comes down to ontological preference. While EBM has a solid foundation in positivism, or what I here call Humeanism, PCH is more consistent with causal dispositionalism. I conclude that if there is a paradigmatic revolution on the way in medicine, it is first of all one of ontology. (shrink)

Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific modeling principles. (...) This perspective provides an overview of ACE, a brief history of its development, and its role within a broader spectrum of experiment-based modeling methods. (shrink)

Education as identity formation in Western-style liberal-democracies relies, in part, on neutrality as a justification for the reproduction of collective individual identity, including societal, cultural, institutional and political identities, many aspects of which are problematic in terms of the reproduction of environmentally harmful attitudes, beliefs and actions. Taking a position on an issue necessitates letting go of certain forms of neutrality, as does effectively teaching environmental education. We contend that to claim a stance of neutrality is to claim a position (...) beyond criticism. In the classroom this can also be an epistemically damaging position to hold. To further explore the problem of neutrality in the classroom, and to offer a potential solution, we will look to the philosophical community of inquiry pedagogy, and advocate for the addition of place-based education; a form of experiential education that promotes learning in local communities in which the school is situated, each with its own history, culture, economy and environment. However, how we understand ‘place’ is fundamental to understanding the potential of place-based education in giving students a ‘sense of place’—how they perceive a place, which includes place attachment and place meaning. To this end, we look to Indigenous understandings of Place and social reconstruction learning to inform place-based pedagogies. Doing so, we hold, opens a pathway to ethical education. (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)

Logical pluralism is the view that there is more than one correct logic. A key objection to logical pluralism is that it collapses into monism. The core of the Collapse Objection is that only the pluralist’s strongest logic does any genuine normative work; since a logic must do genuine normative work, this means that the pluralist is really a monist, who is committed to her strongest logic being the one true logic. This paper considers a neglected question in the collapse (...) debate: what is it for a logic to do genuine normative work? As well as having wider upshot for the connection between logic and normativity, grappling with this question provides a new response to the Collapse Objection on behalf of the pluralist. I suggest that we should allow logics to generate pro tanto reasons in a way that bears not just on combinations of attitudes but on how an agent’s attitudes are based on one another. This motivates adopting normative principles that allow the pluralist’s weaker logics to earn their normative keep. Rather than being ad hoc, these principles capture a sense in which good reasoning goes beyond the consistency of an agent’s attitudes. Good reasoning is also concerned with how an agent’s attitudes are based on one another. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most of the properties of (...) this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (shrink)

In this paper, we propose some transfor mations based on the centroid points between single valued neutrosophic numbers. We introduce these trans formations according to truth, indeterminacy and falsity value of single valued neutrosophic numbers. We propose a new similarity measure based on falsity value between single valued neutrosophic sets. Then we prove some properties on new similarity measure based on falsity value between falsity value between single valued neutrosophic sets. Furthermore, we propose similarity measure based on falsity value between (...) single valued neutrosophic sets based on the centroid points of transformed single valued neutrosophic numbers. We also apply the proposed similarity measure between single valued neutrosophic sets to deal with pattern recognition problems. (shrink)

Descartes’ demon is a deceiver: the demon makes things appear to you other than as they really are. However, as Descartes famously pointed out in the Second Meditation, not all knowledge is imperilled by this kind of deception. You still know you are a thinking thing. Perhaps, though, there is a more virulent demon in epistemic hell, one from which none of our knowledge is safe. Jonathan Schaffer thinks so. The “Debasing Demon” he imagines threatens knowledge not via the truth (...) condition on knowledge, but via the basing condition. This demon can cause any belief to seem like it’s held on a good basis, when it’s really held on a bad basis. Several recent critics, Conee, Ballantyne & Evans ) grant Schaffer the possibility of such a debasing demon, and argue that the skeptical conclusion doesn’t follow. By contrast, we argue that on any plausible account of the epistemic basing relation, the “debasing demon” is impossible. Our argument for why this is so gestures, more generally, to the importance of avoiding common traps by embracing mistaken assumptions about what it takes for a belief to be based on a reason. (shrink)

Similarity-based cognition is commonplace. It occurs whenever an agent or system exploits the similarities that hold between two or more items—e.g., events, processes, objects, and so on—in order to perform some cognitive task. This kind of cognition is of special interest to cognitive neuroscientists. This paper explicates how similarity-based cognition can be understood through the lens of radical enactivism and why doing so has advantages over its representationalist rival, which posits the existence of structural representations or S-representations. Specifically, it is (...) argued that there are problems both with accounting for the content of S-representations and with understanding how neurally-based structural similarities can work as representations in guiding intelligent behavior. Finally, with these clarifications in place, it is revealed how radical enactivism can commit to an account of similarity-based cognition in its understanding of neurodynamics. (shrink)

The pandemic brought new norms and techniques of pedagogical strategies in formal education. The synchronous/ asynchronous video streaming brought an emphasis on virtual and augmented realities, which are rapidly replacing textbooks as the main medium for learning and teaching. This transformation requires more extensive online and interactive content with simpler user interfaces. The aim of this study is to report on the design, implementation, and testing of a game based on low-cost and user-friendly content for digital cultural heritage. In this (...) project, a game aimed at inclusive and equitable education was developed using 360° images of the targeted architectural heritage geographically distributed in a pilot site. We promote lifelong learning opportunities for all, following the SDG4, aiming for quality education with the easy-to-use online platform and easy access to immersive education through mobile platforms. Towards a post-carbon future without the need for travel, computational design methods such as using 360° videos and images in combination with virtual reality (VR) headsets allow a low-cost approach to remotely experiencing cultural heritage. We propose developing and testing a GIS-based educational game using a low-cost 360° virtual tour of architectural heritage, more specifically, caravanserais of Anatolia. (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)

We offer a preliminary account of the information-based aspects of punctuation marks. We give our initial treatment within the Discourse Representation Theory and its segmented version. We hypothesize that this work will be useful in classifying the informational contributions of punctuation marks and bringing them to bear on the semantic characterization of written discourse.

How do we prepare engineering students to make ethical and responsible decisions in their professional work? This paper presents an approach that enhances engineering students’ engagement with ethical reasoning by simulating decision-making in a complex scenario. The approach has two principal inspirations. The first is Anthony Weston’s scenario-based teaching. Weston’s concept of a scenario is a situation that changes in response to choices made by participants, according to an inner logic. Scenarios can dynamically explore open-ended complex problems without imposing predetermined (...) results, allowing students to apply their ethical reasoning in a more realistic fashion. The second inspiration is Thi Nguyen’s theory of games. According to Nguyen, games are the “art of agency,” meaning that they provide a structure under which some result is agreed to be valuable, along with prescribed ways of achieving that result, in a relatively low-stakes and temporary social arrangement. By playing many games, Nguyen argues, we can develop a “library of agency,” that is to say, a set of values and means to achieving them that can inform how we make high-stakes decisions in real life. Engaging with carefully designed game scenarios, then, can enable students to practice making ethical decisions within a structured framework, which unfolds in response to their choices, while their decisions are driven by some defined goal. This roleplaying game–based approach thus allows students to build their own ethical libraries of agency, in preparation for professional decision-making. The approach is illustrated using a specific example recently deployed in a seminar on engineered living materials (building materials that incorporate living tissues). The scenario uses techniques from tabletop roleplaying games (e.g. Dungeons & Dragons) for outcome resolution, adventure design, and character creation. Through the game, students practice making difficult decisions in a humanitarian context. (shrink)

Quality assurance in large terminologies is a difficult issue. We present two algorithms that can help terminology developers and users to identify potential mistakes. We demon­strate the methodology by outlining the different types of mistakes that are found when the algorithms are applied to SNOMED-CT. On the basis of the results, we argue that both formal logical and linguistic tools should be used in the development and quality-assurance process of large terminologies.

Agent-based models (ABMs) are one type of simulation model used in the context of the COVID-19 pandemic. In contrast to equation-based models, ABMs are algorithms that use individual agents and attribute changing characteristics to each one, multiple times during multiple iterations over time. This paper focuses on three philosophical aspects of ABMs as models of causal mechanisms, as generators of emergent phenomena, and as providers of explanation. Based on my discussion, I conclude that while ABMs cannot help much with causal (...) inference, they can be viewed as etio-prognostic explanations of illness occurrence and outcome. (shrink)

Background: A bean is the seed of one of several genera of the flowering plant family Fabaceae, which are used as vegetables for human or animal food. They can be cooked in many different ways, including boiling, frying, and baking, and are used in many traditional dishes throughout the world. Beans are one of the longest-cultivated plants. Broad beans, also called fava beans, in their wild state the size of a small fingernail, were gathered in Afghanistan and the Himalayan foothills. (...) In a form improved from naturally occurring types, Beans were an important source of protein throughout old and new world history, and still are today. 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 was produced to help farmers and those interested in agriculture in diagnosing many of the Bean diseases such as Fusarium wilt, Charcoal rot or ashy stem blight, Bacterial leaf spot and blight, Mung bean yellow mosaic virus, Cercospora leaf spot. The proposed expert system presents an overview of Bean diseases are given, the cause of diseases outlined and the treatment of disease whenever possible is given out. CLIPS Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Bean diseases diagnosis expert system was evaluated by Agricultural experts and some friends interested in agriculture and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for Farmers and those interested in agriculture. (shrink)

Economies are complicated systems encompassing micro behaviors, interaction patterns, and global regularities. Whether partial or general in scope, studies of economic systems must consider how to handle difficult real-world aspects such as asymmetric information, imperfect competition, strategic interaction, collective learning, and the possibility of multiple equilibria. Recent advances in analytical and computational tools are permitting new approaches to the quantitative study of these aspects. One such approach is Agent-based Computational Economics (ACE), the computational study of economic processes modeled as dynamic (...) systems of interacting agents. This chapter explores the potential advantages and disadvantages of ACE for the study of economic systems. General points are concretely illustrated using an ACE model of a two-sector decentralized market economy. Six issues are highlighted: Constructive understanding of production, pricing, and trade processes; the essential primacy of survival; strategic rivalry and market power; behavioral uncertainty and learning; the role of conventions and organizations; and the complex interactions among structural attributes, institutional arrangements, and behavioral dispositions. (shrink)

The base texts of most of the philosophical systems of ancient India are in the form of a collection of aphorisms (sūtra-s). The aphorisms are so brief and tersely worded that their significance can seldom be understood without the help of a commentary or commentaries. Sometimes, the literal meaning of an aphorism needs to be qualified or modified by an explanation found in the commentary. If a reader relies exclusively on the literal meaning of the aphorisms in the base text (...) without having recourse to any commentary or disregards all commentaries, he or she may miss the point. Contrariwise, if a reader relies exclusively on a commentary and disregards the literal meaning of an aphorism, he or she will commit another kind of blunder. Ideally, equal attention should be paid to the base text as well as the commentary or commentaries. Even then, all problems are not automatically solved, for it is an uphill task to decide when to go by the literal meaning of the aphorisms and when to follow the commentary. In their polemics against the Cārvāka/Lokāyata, Jayantabhaṭṭa (c. ninth century C.E.) and Hemacandra (eleventh century C.E.) erred because they did not follow the golden rule stated above and consequently misunderstood and misrepresented their opponents’ contentions. (shrink)

When bringing philosophical attention to bear on social movement slogans in general, philosophers have often focused on their communicative nature—particularly the hermeneutical failures that arise in discourse. Some of the most popular of these failures are illustrated in ‘all lives matter’ retorts to ‘black lives matter’ pronouncements. Although highlighting and criticizing these failures provides much needed insight into social movement slogans as a communicative practice, I claim that in doing so, philosophers and slogans’ users risk placing too much importance on (...) outgroup understandings. This emphasis is misguided because gaining such uptake is not required of particular slogans to perform their functions; indeed it is an inherent risk of them. I show how such an emphasis can also be distracting to users. Since social movement slogans that express values are first and foremost for users, I argue for a shift in focus in what these slogans (such as ‘Black Is Beautiful’ and the more recent ‘Black Lives Matter’) do for users, as well as what they demand from users and enable them to express. When slogans have done these things, regardless of uptake, we can say they have performed one of their key functions. (shrink)

In this monograph we contrast two prominent models of education, Competence-Based Education (CBE), more recent and currently dominant in most school systems of the world, and Bildung-Oriented Education (BOE), once the basis of school systems of Northern Europe. CBE interprets learning as the acquisition of clearly definable and allegedly measurable competences, and is supported by supranational organisations, such as the OECD, which approach education from the perspective of the human capital theory. BOE instead characterises learning holistically as aimed at the (...) progressive articulation of a meaningful ‘big picture’ in the student’s mind. Emerged in Northern Europe under the influence of the ideals of the Enlightenment and Neo-Humanism of individual and collective autonomy and responsibility, BOE was subsequently enriched with a hermeneutical approach to teaching and socio-political objectives of emancipation and solidarity originating within Critical Theory. We argue that, in spite of its celebrated ‘scientificity’, CBE is internally incoherent and unreliable, contributes to structural forms of oppression and injustice, fosters social pathologies, and fails to provide students with the kind of intellectual autonomy they need as both human beings and citizens of our complex post-industrial societies. We also defend BOE from objections made by critical theorists, poststructuralists and postcolonial thinkers, and argue that it is a coherent and flexible model of education that endows students with autonomy and responsibility, and can help heal social pathologies. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...) knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

A series of recent developments points towards auditing as a promising mechanism to bridge the gap between principles and practice in AI ethics. Building on ongoing discussions concerning ethics-based auditing, we offer three contributions. First, we argue that ethics-based auditing can improve the quality of decision making, increase user satisfaction, unlock growth potential, enable law-making, and relieve human suffering. Second, we highlight current best practices to support the design and implementation of ethics-based auditing: To be feasible and effective, ethics-based auditing (...) should take the form of a continuous and constructive process, approach ethical alignment from a system perspective, and be aligned with public policies and incentives for ethically desirable behaviour. Third, we identify and discuss the constraints associated with ethics-based auditing. Only by understanding and accounting for these constraints can ethics-based auditing facilitate ethical alignment of AI, while enabling society to reap the full economic and social benefits of automation. (shrink)

What kinds of mental states can be based on epistemic reasons? The standard answer is only beliefs. I argue that perceptual states can also be based on reasons, as the result of crossmodal interactions. A perceptual state from one modality can provide a reason on which an experience in another modality is based. My argument identifies key markers of the basing relation and locates them in the crossmodal Marimba Illusion (Schutz & Kubovy 2009). The subject’s auditory experience of musical (...) tone duration is based on the reason provided by her visual representation of the length of the musician’s gesture and other stored perceptual principles. (shrink)

It has been argued that our currently most satisfactory social epistemology of science can’t account for science that is based on artificial intelligence (AI) because this social epistemology requires trust between scientists that can take full responsibility for the research tools they use, and scientists can’t take full responsibility for the AI tools they use since these systems are epistemically opaque. I think this argument overlooks that much AI-based science can be done without opaque models, and that agents can take (...) full responsibility for the systems they use even if these systems are opaque. Requiring that an agent fully understand how a system works is an untenably strong condition for that agent to take full responsibility for the system and risks absolving AI developers from responsibility for their products. AI-based science need not create trust-related social epistemological problems if we keep in mind that what makes both individual scientists and their use of AI systems trustworthy isn’t full transparency of the internal processing but their adherence to social and institutional norms that ensure that scientific claims can be trusted. (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)

A series of recent developments points towards auditing as a promising mechanism to bridge the gap between principles and practice in AI ethics. Building on ongoing discussions concerning ethics-based auditing, we offer three contributions. First, we argue that ethics-based auditing can improve the quality of decision making, increase user satisfaction, unlock growth potential, enable law-making, and relieve human suffering. Second, we highlight current best practices to support the design and implementation of ethics-based auditing: To be feasible and effective, ethics-based auditing (...) should take the form of a continuous and constructive process, approach ethical alignment from a system perspective, and be aligned with public policies and incentives for ethically desirable behaviour. Third, we identify and discuss the constraints associated with ethics-based auditing. Only by understanding and accounting for these constraints can ethics-based auditing facilitate ethical alignment of AI, while enabling society to reap the full economic and social benefits of automation. (shrink)

In “Risk Based Passenger Screening in Aviation Security: Implications and Variants of a New Paradigm”, Sebastian Weydner-Volkmann describes the current paradigm shift from ‘traditional’ forms of screening to ‘risk based passenger screening’ (RBS) in aviation security. This paradigm shift is put in the context of the wider historical development of risk management approaches. Through a discussion of Michel Foucault, Herfried Münkler and Ulrich Beck, Weydner-Volkmann analyses the shortcomings of such approaches in public security policies, which become especially evident in the (...) aviation security context. As he shows, the turn towards methods of RBS can be seen as an attempt to address a trade-off ‘trilemma’ between the effective provision of security, the implied costs for industry and passengers, and the ethical, legal and societal implications of the screening procedures. In order to analyse foreseeable outcomes of embracing RBS, he differentiates three prototypical variants of the new paradigm on the basis of their main referent and rationale. For each variant, he then subsequently assesses the implications for the ‘trilemma’, after having unveiled the criteria of analysis that will necessarily have to be followed within a serious appraisal of RBS methods. (shrink)

Important decisions that impact humans lives, livelihoods, and the natural environment are increasingly being automated. Delegating tasks to so-called automated decision-making systems can improve efficiency and enable new solutions. However, these benefits are coupled with ethical challenges. For example, ADMS may produce discriminatory outcomes, violate individual privacy, and undermine human self-determination. New governance mechanisms are thus needed that help organisations design and deploy ADMS in ways that are ethical, while enabling society to reap the full economic and social benefits of (...) automation. In this article, we consider the feasibility and efficacy of ethics-based auditing as a governance mechanism that allows organisations to validate claims made about their ADMS. Building on previous work, we define EBA as a structured process whereby an entity’s present or past behaviour is assessed for consistency with relevant principles or norms. We then offer three contributions to the existing literature. First, we provide a theoretical explanation of how EBA can contribute to good governance by promoting procedural regularity and transparency. Second, we propose seven criteria for how to design and implement EBA procedures successfully. Third, we identify and discuss the conceptual, technical, social, economic, organisational, and institutional constraints associated with EBA. We conclude that EBA should be considered an integral component of multifaced approaches to managing the ethical risks posed by ADMS. (shrink)

This essay argues that certain cases involving what I shall term complexly based belief, where a belief is formed via complex inference to the best explanation, pose a serious difficulty for reliabilist theories of epistemic justification or warrant. Many of our most important beliefs appear to be of this character. The problem, in short, is that in such cases we cannot identify any belief-forming process type that is such as to yield an intuitively correct verdict on the epistemic status of (...) the agent’s belief. If this is correct, then no proposed solution to the generality problem can succeed. (shrink)

There is a distinction between merely having the right belief, and further basing that belief on the right reasons. Any adequate epistemology needs to be able to accommodate the basing relation that marks this distinction. However, trouble arises for Bayesianism. I argue that when we combine Bayesianism with the standard approaches to the basing relation, we get the result that no agent forms their credences in the right way; indeed, no agent even gets close. This is a (...) serious problem, for it prevents us from making epistemic distinctions between agents that are doing a reasonably good job at forming their credences and those that are forming them in clearly bad ways. I argue that if this result holds, then we have a problem for Bayesianism. However, I show how the Bayesian can avoid this problem by rejecting the standard approaches to the basing relation. By drawing on recent work on the basing relation, we can develop an account of the relation that allows us to avoid the result that no agent comes close to forming their credences in the right way. The Bayesian can successfully accommodate the basing relation. (shrink)

This article endorses a familiar, albeit controversial, argument for the existence of group-based reasons for action, but then rejects two doctrines which other advocates of such reasons usually accept. One such doctrine is the willingness requirement, which says that a group-based reason exists only if (sufficient) other members of the group in question are willing to cooperate. Thus the paper argues that there is sometimes a reason, which derives from the rationality of some group action, to play one's part unilaterally (...) in that group action. This seems implausible only because we tend wrongly to accept a second doctrine, monism about the unit of agency. Monism claims that, for any given deliberative problem, there is only one unit of agency to which reasons attach. If we are monists who believe in group-based reasons, the willingness requirement will seem necessary in order to avoid recklessness. We should reject monism, and if we do so we can recognise genuine conflict between individual-based and group-based reasons, and in doing so we can explain, without endorsing the willingness requirement, why we should not act recklessly. (shrink)

The basing demand on doxastic justification is a widely held and highly intuitive dogma of contemporary epistemology. In Silva [2015, AJP], I argued that the dialectical significance of this dogma is severely limited by our lack of independent grounds for endorsing it. Oliveira [2015, AJP] sought to defend the basing demand on doxastic justification. Here I explain why Oliveira’s attempted defense of the basing demand misses its mark. I also briefly suggest that there is an alternative way (...) of defending the basing demand. The alternative way is reconciliatory: it shows that most epistemologists may have been right to insist on such a demand, but perhaps still wrong to treat it as a dialectically powerful tool in the assessment of certain substantive epistemological theories. (shrink)

Public policymakers and institutional decision-makers routinely face questions about whether interventions “work”: does universal basic income improve people’s welfare and stimulate entrepreneurial activity? Do gated alleyways reduce burglaries or merely shift the crime burden to neighbouring communities? What is the most cost-effective way to improve students’ reading abilities? These are empirical questions that seem best answered by looking at the world, rather than trusting speculations about what will be effective. Evidence-based policy (EBP) is a movement that concretizes this intuition. It (...) maintains that policy should be based on evidence of “what works.” Not any evidence will do, however. Following on the heels of its intellectual progenitor, evidence-based medicine (EBM), EBP insists on the use of high-quality evidence produced in accordance with rigorous methodological standards. Though intuitively compelling, EBP has attracted significant criticism from methodologists, political scientists, and philosophers. This chapter provides a critical overview of EBP through a philosophical lens, reviewing and discussing some of the most pressing challenges that EBP faces and outlining some proposals for improving it. I first provide a brief overview of EBP and distinguish a broader and narrower understanding of it. I then review existing lines of criticism of EBP, two of which are considered in detail. The first elaborates how EBP struggles with extrapolation, that is, the use of evidence from study populations to make inferences about the effects of policies on novel target populations. The second maintains that EBP’s methodological tenets are deeply entwined with moral and political values, which can threaten EBP’s promise to promote objectivity in policymaking. Finally, I make some proposals for how EBP could be improved going forward. (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)

I propose an account of desire that reconciles two apparently conflicting intuitions about practical agency. I do so by exploring a certain intuitive datum. The intuitive datum is that often when an agent desires P she will seem to immediately and conclusively know that there is a reason to bring P about. Desire-based theories of reasons seem uniquely placed to explain this intuitive datum. On this view, desires are the source of an agent’s practical reasons. A desire for P grounds (...) conclusive knowledge of a reason to bring P about because that desire makes it true that there is a reason to do so. However, this implies that a basic desire for P can never be in error about there being at least some reason to bring P about. We have the conflicting intuition that basic desires sometimes rationally count for nothing. The guise of the good explains this intuition about the fallibility of desires. On this view, a desire for P represents P as good in some respect. Desires and reasons are independent, so a desire might misrepresent one’s reasons. But this independence is usually taken to rule out that desires ever provide conclusive knowledge of reasons. Capturing the intuition about conclusive knowledge rules out capturing the intuition about fallibility, and vice versa. I propose an epistemological disjunctivist version of the guise of the good that reconciles fallibility with the possibility of conclusive knowledge. (shrink)

The study evaluated the implementation of research-based extension programs among mainland campuses of State Universities and Colleges in the Bicol Region. Specifically, it determined the profile of extension programs implemented, the extent of implementation, and the extent of involvement of stakeholders in implementing research-based extension programs. Descriptive and evaluative research methods were employed in the study using purposive random sampling. Respondents were the 105 stakeholders of research-based extension programs from 7 SUCs mainland campuses in the Bicol Region. Data were interpreted (...) using frequency count, percentage, mid-rank, and weighted mean. Data revealed that the implementation of research-based extension programs among SUCs varies. SUCs, except SUC G, “highly implement” research-based extension programs aligned with the needs of the community and are anchored to the curricular offerings of the institution and stakeholders’ involvement in the implemented research-based extension programs. (shrink)

We introduce a “reason-based” framework for explaining and predicting individual choices. It captures the idea that a decision-maker focuses on some but not all properties of the options and chooses an option whose motivationally salient properties he/she most prefers. Reason-based explanations allow us to distinguish between two kinds of context-dependent choice: the motivationally salient properties may (i) vary across choice contexts, and (ii) include not only “intrinsic” properties of the options, but also “context-related” properties. Our framework can accommodate boundedly rational (...) and sophisticatedly rational choice. Since properties can be recombined in new ways, it also offers resources for predicting choices in unobserved contexts. (shrink)

The term “dictator” may have a strong impression on many of us because it is usually associated with destructive consequences, like the Holocaust directed by Adolf Hitler and the Great Purge ordered by Joseph Stalin. Yet, little is known about how a dictator-to-be can harness the power and rise into power. This chapter proposes a psycho-political mechanism that enables a dictator-to-be to harness the power generated from disinformation-induced hysteria. The conceptual framework is constructed using the mindsponge-based analytical framework and the (...) SM3D theory (Serendipity-Mindsponge-3D). The framework can help examine cases of dictatorship and prospect potential dictators, which gives our societies insights and preparations to reduce the possible rise of dictatorship in the future. This chapter is placed at the end of the book to wrap up the process of describing and discussing the mindsponge thinking approach in the book from simplicity to complexity. (shrink)

Both Representation Theorem Arguments and Dutch Book Arguments support taking probabilistic coherence as an epistemic norm. Both depend on connecting beliefs to preferences, which are not clearly within the epistemic domain. Moreover, these connections are standardly grounded in questionable definitional/metaphysical claims. The paper argues that these definitional/metaphysical claims are insupportable. It offers a way of reconceiving Representation Theorem arguments which avoids the untenable premises. It then develops a parallel approach to Dutch Book Arguments, and compares the results. In each case (...) preferencedefects serve as a diagnostic tool, indicating purely epistemic defects. (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 concerns a distinction between circumstantial truths that hold because of the circumstances and acircumstantial truths that hold regardless of, or transcend, the circumstances. Previous discussions of the distinction tended to focus on its applications, such as to modality, logical truth, and essence. This paper focuses on developing the distinction largely, but not entirely, in abstraction from its potential applications. As such, the paper’s main contribution is to further clarify the distinction itself. An indirect contribution is to help guide (...) its future applications. (shrink)