We study a knowledge logic that assumes that to each set of agents, an indiscernibility relation is associated and the agents decide the membership of objects or states up to this indiscernibility relation. Its language contains a family of relative knowledge operators. We prove the decidability of the satisfiability problem, we show its EXPTIME-completeness and as a side-effect, we define a complete Hilbert-style axiomatization.

Queen Anne is dead, and it is a fallacy to substitute a definite description for another designator of the same object in stating the content of someone’s propositional attitudes. The fallacy can take subtle forms, as when Godel’s incompleteness theorems are used to argue against mechanistic views of mind. Some instances of the fallacy exemplify a more general logical phenomenon: the set of principles satisfied by one sentential operator can differ from, and even contradict, the set of principles satisfied by (...) another sentential operator coextensive with the first. These notions will be formally defined. The phenomenon will be explored through a series of example, with particular attention to the misapplication of Godel’s results. (shrink)

In this paper we present a paradigmatic example of the use in knowledge management of techniques from other fields, namely mathematical analysis. We also highlight that the Jacobi method presented here takes precedence over the better known Hungarian method. Finally, we signify that the Jacobi method represents the first known or recognized case of serendipity in both knowledge management and operational research. This paper thus demonstrates the intersection between knowledge management, mathematical analysis and operational research (...) and how taking historical perspectives are important for recognising future applications of knowledge management. This results in a better understanding of knowledge management and how it can be applied in the future. It has been shown how knowledge management relates to historical mathematical principles. (shrink)

The "object theoretic operational view" suggests a new structure of physical knowledge. This view takes branches of physics as basic units. Its main concepts are primary (PIO) and secondary (SIO) ideal objects with the explicit definition of SIO through PIO and the implicit definition of PIOs within appropriate systems of statements, called a "nucleus of a branch of physics" (NBP). Within an NBP (which has a definite structure) the focus shifts from discovering "laws of nature" to definition of (...) a physical object (system) and its states, and the distinct notion "measurable" replaces the vague notion "observable". On this basis the roles of physical models and measurements within physics, as well as two types (PIO- and SIO- type) of theories, activity, and experiment are discussed, and a different junction of "realism” and "constructivism" is presented. (shrink)

Research on language processing has shown that the disruption of conceptual integration gives rise to specific patterns of event-related brain potentials —N400 and P600 effects. Here, we report similar ERP effects when adults performed cross-domain conceptual integration of analogous semantic and mathematical relations. In a problem-solving task, when participants generated labeled answers to semantically aligned and misaligned arithmetic problems, the second object label in misaligned problems yielded an N400 effect for addition problems. In a verification task, when participants judged arithmetically (...) correct but semantically misaligned problem sentences to be “unacceptable,” the second object label in misaligned sentences elicited a P600 effect. Thus, depending on task constraints, misaligned problems can show either of two ERP signatures of conceptual disruption. These results show that well-educated adults can integrate mathematical and semantic relations on the rapid timescale of within-domain ERP effects by a process akin to analogical mapping. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free (...) topology) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

One of the major problems of intrusion detection concerns the large amount of alerts that intrusion detection systems (IDS) produce. Security operator who analyzes alerts and takes decisions, is often submerged by the high number of alerts to analyze. In this paper, we present a new alert correlation approach based on knowledge and preferences of security operators. This approach, which is complementary to existing ones, allows to rank-order produced alerts on the basis of a security operator knowledge about (...) the system, used IDS and his preferences about alerts that he wants to analyze or to ignore. Our approach is based on the development of a new non-classical logic for representing preferences, called FO-MQCL (First Order - Minimal Qualitative Choice Logic). Our logic extends a fragment of the first order logic by adding a new logical connective. The general idea is to present only alerts that fully fit security operator's preferences and knowledge. And if needed, less preferred alerts can also be presented. (shrink)

One of the major problems of intrusion detection concerns the large amount of alerts that intrusion detection systems (IDS) produce. Security operator who analyzes alerts and takes decisions, is often submerged by the high number of alerts to analyze. In this paper, we present a new alert correlation approach based on knowledge and preferences of security operators. This approach, which is complementary to existing ones, allows to rank-order produced alerts on the basis of a security operator knowledge about (...) the system, used IDS and his preferences about alerts that he wants to analyze or to ignore. Our approach is based on the development of a new non-classical logic for representing preferences, called FO-MQCL (First Order - Minimal Qualitative Choice Logic). Our logic extends a fragment of the first order logic by adding a new logical connective. The general idea is to present only alerts that fully fit security operator's preferences and knowledge. And if needed, less preferred alerts can also be presented. (shrink)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject‐Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set (...) of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to (...) be true. Some but not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

This paper closes a gap in joint acceptance accounts of the mental life of groups by presenting a theory of group self-knowledge in the joint acceptance framework. I start out by presenting desiderata for a theory of group self-knowledge. Any such theory has to explain the linguistic practice of group avowals, and how self-knowledge can play a role in practical and moral considerations. I develop an account of group self-knowledge in the joint acceptance framework that can (...) explain these desiderata. I argue that a group has self-knowledge of its own attitude A if and only if (i) the operative members jointly accept that the group has attitude A; and (ii) that joint acceptance is non-deviantly caused by the operative group members’ belief that the members jointly accepted attitude A; and (iii) the group has attitude A. Together (i) to (iii) give us conditions for a group having a justified, non-lucky, true belief about its own attitude. (shrink)

We often claim to know what might be—or probably is—the case. Modal knowledge along these lines creates a puzzle for information-sensitive semantics for epistemic modals. This paper develops a solution. We start with the idea that knowledge requires safe belief: a belief amounts to knowledge only if it could not easily have been held falsely. We then develop an interpretation of the modal operator in safety that allows it to non-trivially embed information-sensitive contents. The resulting theory avoids (...) various paradoxes that arise from other accounts of modal knowledge. It also delivers plausible predictions about modal Gettier cases. (shrink)

Anthropomorphic agents used in online-shopping need to be trusted by users so that users feel comfortable buying products. In this paper, we propose a model for designing trustworthy agents by assuming two factors of trust, that is, emotion and knowledgeableness perceived. Our hypothesis is that when a user feels happy and perceives an agent as being highly knowledgeable, a high level of trust results between the user and agent. We conducted four experiments with participants to verify this hypothesis by preparing (...) transition operators utilizing emotional contagion and knowledgeable utterances. As a result, we verified that users' internal states transitioned as expected and that the two factors significantly influenced their trust states. (shrink)

Brain, Mind and Consciousness are the research concerns of psychiatrists, psychologists, neurologists, cognitive neuroscientists and philosophers. All of them are working in different and important ways to understand the workings of the brain, the mysteries of the mind and to grasp that elusive concept called consciousness. Although they are all justified in forwarding their respective researches, it is also necessary to integrate these diverse appearing understandings and try and get a comprehensive perspective that is, hopefully, more than the sum of (...) their parts. There is also the need to understand what each one is doing, and by the other, to understand each other's basic and fundamental ideological and foundational underpinnings. This must be followed by a comprehensive and critical dialogue between the respective disciplines. Moreover, the concept of mind and consciousness in Indian thought needs careful delineation and critical/evidential enquiry to make it internationally relevant. The brain-mind dyad must be understood, with brain as the structural correlate of the mind, and mind as the functional correlate of the brain. To understand human experience, we need a triad of external environment, internal environment and a consciousness that makes sense of both. We need to evolve a consensus on the definition of consciousness, for which a working definition in the form of a Consciousness Tetrad of Default, Aware, Operational and Evolved Consciousness is presented. It is equally necessary to understand the connection between physical changes in the brain and mental operations, and thereby untangle and comprehend the lattice of mental operations. Interdisciplinary work and knowledge sharing, in an atmosphere of healthy give and take of ideas, and with a view to understand the significance of each other's work, and also to critically evaluate the present corpus of knowledge from these diverse appearing fields, and then carry forward from there in a spirit of cooperative but evidential and critical enquiry - this is the goal for this monograph, and the work to follow. (shrink)

Brain, Mind and Consciousness are the research concerns of psychiatrists, psychologists, neurologists, cognitive neuroscientists and philosophers. All of them are working in different and important ways to understand the workings of the brain, the mysteries of the mind and to grasp that elusive concept called consciousness. Although they are all justified in forwarding their respective researches, it is also necessary to integrate these diverse appearing understandings and try and get a comprehensive perspective that is, hopefully, more than the sum of (...) their parts. There is also the need to understand what each one is doing, and by the other, to understand each other's basic and fundamental ideological and foundational underpinnings. This must be followed by a comprehensive and critical dialogue between the respective disciplines. Moreover, the concept of mind and consciousness in Indian thought needs careful delineation and critical/evidential enquiry to make it internationally relevant. The brain-mind dyad must be understood, with brain as the structural correlate of the mind, and mind as the functional correlate of the brain. To understand human experience, we need a triad of external environment, internal environment and a consciousness that makes sense of both. We need to evolve a consensus on the definition of consciousness, for which a working definition in the form of a Consciousness Tetrad of Default, Aware, Operational and Evolved Consciousness is presented. It is equally necessary to understand the connection between physical changes in the brain and mental operations, and thereby untangle and comprehend the lattice of mental operations. Interdisciplinary work and knowledge sharing, in an atmosphere of healthy give and take of ideas, and with a view to understand the significance of each other's work, and also to critically evaluate the present corpus of knowledge from these diverse appearing fields, and then carry forward from there in a spirit of cooperative but evidential and critical enquiry - this is the goal for this monograph, and the work to follow. (shrink)

The Vitruvian Man of Leonardo da Vinci is one of the most famous and most studied drawings over the world as well as one of the most reproduced ones, e.g. in coins, space suit patches, books and movies. The aim of the present work is to discuss the Vitruvian Man as a figurative representation of the Leonardo’s scientific method. Our analysis is based on scientific elements both present in the drawing and provided by Leonardo in his approach to this drawing. (...) Our thesis is that the square symbolizes the measurable physical world and that the man inscribed within the square refers to the physics measurement process based on the operational definition of quantities, including the measurement unit system and the quantities conversion factors. Therefore, the measurement process is fundamental for the Leonardo’s approach to the scientific knowledge, albeit, the drawing also suggests that this latter does not correspond with the true knowledge. The circle, which has a different center with respect to the square, symbolizes the truth, to which the man inscribed in the square yearns, without ever achieving it, the truth being reachable only by the man inscribed within the circle. (shrink)

Drawing upon Marxist, French structuralist and American pragmatist traditions, this lively and accessible introduction to the sociology of knowledge gives to its classic texts a fresh reading, arguing that various bodies of knowledge operate within culture to create powerful cultural dispositions, meanings, and categories. It looks at the cultural impact of the forms and images of mass media, the authority of science, medicine, and law as bodies of contemporary knowledge and practice. Finally, it considers the concept of (...) "engendered knowledge" through a consideration of the complex and often troubled relationship between women and science. The sociology of knowledge has sometimes been marginalized as a narrow academic specialization. This lucid study reclaims it as an essential tool for all serious students of culture in all its forms. (shrink)

In the October 1937 number of Philosophy of Science Lindsay has made certain criticisms of the adequacy of the “operational method” of analyzing and giving meaning to the concepts of physics, documenting his criticisms chiefly from my own writings. In these criticisms he has made statements as to the method which I would by no means accept. This is not characteristic of his paper only, for I have seldom indeed seen a printed discussion of the method which I would (...) accept as being an adequate or sometimes even fair representation of what I understand by it. It will perhaps pay therefore if I attempt to state what I conceive it to be all about, particularly since I have never attempted such a comprehensive statement and since my own ideas on the subject have been developing since I first wrote in the Logic of Modern Physics. For one reason I have hesitated to do this, for fear of seeming to subscribe to the not uncommon idea that we are dealing with some elaborate and profound new theory of the nature of knowledge or of meaning. I believe that I myself have never talked of “operationalism” or “operationism”, but I have a distaste for these grandiloquent words which imply something more philosophic and esoteric than the simple thing that I see. What we are here concerned with is an observation and description of methods which at least some physicists had already, perhaps unconsciously, adopted and found successful—the practise of the methods already existed. What I have attempted is to analyze these successful methods, not to set up a philosophical system and a theory of the properties that any method must have if it hopes to be successful. Since I was concerned with a technique already extant, my principal method of getting others to see what the technique involved has been to exhibit examples of the technique in action, rather than to attempt any exhaustive characterization of the technique itself. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that (...) all that stands between knowing the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

We introduce and discuss a knowledge-driven distillation approach to explaining black-box models by means of two kinds of interpretable models. The first is perceptron (or threshold) connectives, which enrich knowledge representation languages such as Description Logics with linear operators that serve as a bridge between statistical learning and logical reasoning. The second is Trepan Reloaded, an ap- proach that builds post-hoc explanations of black-box classifiers in the form of decision trees enhanced by domain knowledge. Our aim is, (...) firstly, to target a model-agnostic distillation approach exemplified with these two frameworks, secondly, to study how these two frameworks interact on a theoretical level, and, thirdly, to investigate use-cases in ML and AI in a comparative manner. Specifically, we envision that user-studies will help determine human understandability of explanations generated using these two frameworks. (shrink)

We attribute knowledge to institutions on a daily basis, saying things like "the government knew about the threat" or "the university did not act upon the knowledge it had about the harassment". Institutions can also attribute knowledge to themselves, like when Maybank Global Banking claims that it offers its customers "deep expertise and vast knowledge" of the Southeast Asia region, or when the United States Geological Survey states that it understands complex natural science phenomena like the (...) probability of earthquakes occurring along a given fault line. This article aims to discover when we can correctly attribute knowledge to an institution. I find this an interesting question, especially because when something does go wrong, all too often the official line of response from institutions is that they were unaware of the situation: in other words, they did not have enough information at their disposal. I will argue that institutions have fewer excuses for being ignorant than individuals do, and that many admissions of institutional knowledge are too modest. I begin by discussing a real-life example of the latter, before turning my attention to the usually fragmented nature of institutional knowledge. I also discuss the robustness of this knowledge, offering a distinction between two types of institutional knowledge. I then discuss knowledge parameters and why institutions have fewer excuses for not knowing about something than individuals do. I round off the chapter by examining institutional knowledge on climate change. (shrink)

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as well: (...) to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

In this paper, we investigate the constitutive problems and other several aspects of what a research entitled 'formal epistemology' should be. The interest in this subject has to do with the possibility of reaching a privileged point of view or axis of research - i.e., the 'formal' one - that would allow, a better grasp of the richness and variety of the facts and problems tackled by precise (local) epistemology of theories (for example, in physics). This approach is likely to (...) enable one to hold the main structural lines that organize those theories according to a more com prehensive, unifying and synthetic intelligibilit. By the same token, it would eventually allow a better handling of the changes required in the organization of knowledge, putting emphasis on its main directions, drawing up a rational inventory of this knowledge, and perhaps anticipating others. At first, we deal with the `thought of changes' that no approach of the 'form' can afford to leave aside, since the meaning of this concept is inseparable from the contents that come with constructions and modifications. We examine then the notion of 'epistemic operation' as an instrument to create new forms on the theoretical as well as on the meta-theoretical levels. ln the wake of it, we analyze the characteristics of the form and of the formal, as well as their relationship with the contents of knowledge. We also take the notion of object into account, since it depends upon the decision of a subject and upon conventional choices. We finally inquire about the link between `epistemic operations' as specified above and algorithmic functions for knowledge statements, and emphasize the risk of reductionism that might follow from a naturalistic conception of representation. (shrink)

Cognitive integration is a defining yet overlooked feature of our intellect that may nevertheless have substantial effects on the process of knowledge-acquisition. To bring those effects to the fore, I explore the topic of cognitive integration both from the perspective of virtue reliabilism within externalist epistemology and the perspective of extended cognition within externalist philosophy of mind and cognitive science. On the basis of this interdisciplinary focus, I argue that cognitive integration can provide a minimalist yet adequate epistemic norm (...) of subjective justification: so long as the agent’s belief-forming process has been integrated in his cognitive character, the agent can be justified in holding the resulting beliefs merely by lacking any doubts there was something wrong in the way he arrived at them. Moreover, since both externalist philosophy of mind and externalist epistemology treat the process of cognitive integration in the same way, we can claim that epistemic cognitive characters may extend beyond our organismic cognitive capacities to the artifacts we employ or even to other agents we interact with. This move is not only necessary for accounting for advanced cases of knowledge that is the product of the operation of epistemic artifacts or the interactive activity of research teams, but it can further lead to interesting ramifications both for social epistemology and philosophy of science. (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)

Traditional debates between semantic temporalists and eternalists appeal to the efficacy of temporal operators and the intuitive (in)validity of instances of temporal reasoning. In this paper, I argue that such debates are inconclusive at best and that under-explored arguments concerning perceptual experience, memory, and knowledge offer more productive means of advancing debates between temporalists and eternalists and rendering salient several significant potential costs and benefits of these views.

In the Concept of Mind from 1949 Gilbert Ryle distinguished between knowing how and knowing that. What was Ryle’s basic idea and how is the discussion going on in philosophy today? How can sport philosophy use the idea of knowing how? My goal in this paper is first to bring Ryle and the post-Rylean discussion to light and then show how phenomenology can give some input to the discussion. The article focuses especially on the two main interpretations of knowing how, (...) intellectualism and anti-intellectualism. In the second part of the article I discuss how views from phenomenology and philosophy of mind can enrich and widen our understanding of what knowing how means in relation to sport practices. It is argued that knowing how is not limited to athletic abilities but includes knowledge of how the environing world operates in relation to athletic action. (shrink)

definitions and explanations frequently come together and permeate almost all fields of knowledge. This does not exclude mathematics, even when these definitions hold clear links and close connections with our physical world. Here we propose a rather different perspective. Making operational physical assumptions, we show how it is possible to rigorously reconstruct some features of both geometry and topology. Broadly speaking, assuming this operational and more concrete philosophy we not only are capable of defining primitive concepts like (...) points, straight lines, planes, angles and spaces, but we also go all the way up to more complex constructions. We show that within our method it is also possible to come up with what we call a compass-based topology as well as a normed and a metric space. We hope this operationalist point-of-view can assist other researchers and students to have a clearer understanding of these quite abstract concepts. (shrink)

Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This article considers how awareness can be enhanced via operational abductive systems. The goal is to generate and justify suggestions which can span disparate islands of knowledge. Knowledge representation is motivated from a cognitive perspective. Words and concepts are represented as vectors in a high dimensional semantic space automatically derived from a text corpus. Various mechanisms (...) will be presented for computing suggestions from semantic space: information flow, semantic similarity, pre-inductive generalization. The overall goal of this article is to introduce semantic space to the model-based reasoning and abduction community and to illustrate its potential for principled, operational abduction by semi-automatically replicating the Swanson Raynaud/fish oil discovery in medical text. (shrink)

We study the relationship between common knowledge and the sequence of iterated mutual knowledge from a topological point of view. It is shown that common knowledge is not equivalent to the limit of the sequence of iterated mutual knowledge. On that account the new epistemic operator limit knowledge is introduced and analyzed in the context of games. Indeed, an example is constructed where the behavioral implications of limit knowledge of rationality strictly refine those of (...) common knowledge of rationality. More generally, it is then shown that limit knowledge of rationality is capable of characterizing any solution concept for some appropriate epistemic-topological conditions. Finally, some perspectives of a topologically enriched epistemic framework for games are discussed. (shrink)

I explored the relationship between the “Black Axe” Confraternity and cybercrime, with a particular emphasis on the structural dynamics of the Business Email Compromise (BEC) schemes. I investigated whether a conventional hierarchical system governs the membership and remuneration for BEC roles as perpetrators by interviewing an accused “leader” of the “Black Axe” affiliated cybercriminal incarcerated in a prominent Western nation. I supplemented the analysis of interview data with insights from tapped phone records monitored by a law enforcement entity. I merged (...) Actor-network theory and Social Network theory as analytical frameworks and thematically analyzed data to produce six overarching themes: (1) The fluidity of Structure and Adaptive Roles in BEC, (2) Challenges in Visualizing Criminal Networks, (3) Globalization and Transnational Dimensions, (4) Social and Cultural Influences, (5) Internal Cybersecurity Threats and Money Laundering, and (6) Remuneration and Influences of Cryptocurrency, casting a brighter light on the topic. Unlike traditional organized crime, BEC scammers have adopted a nonhierarchical model that is flexible and fluid. I found no evidence of a rigid hierarchy dictating positions and remuneration for BEC roles. Instead, I observed that cybercriminals involved in BEC activities functioned horizontally, promoting fluidity, maneuverability, collaboration, and specialization across various facets of their illicit pursuits. I also highlighted the cross-border links BEC offenders have with other criminal actors facilitated by Black Axe organizational machinery. My research adds value to the existing body of knowledge, utilizing a unique dataset comprising direct testimonies of a high-profile BEC offender affiliated with the ‘hard–to–access,’ Black Axe gang. (shrink)

A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...) - the so-called 'computational theory of mind' (CTM) - is based on a confusion. CTM is the view that thought-processes consist in 'computations', where a computation is defined as a 'form-driven' operation on symbols. The expression 'form-driven operation' is ambiguous, as it may refer either to syntax-driven operations or to morphology-driven operations. Syntax-driven operations presuppose the existence of operations that are driven by semantic and extra-semantic knowledge. So CTM is false if the terms 'computation' and 'form-driven operation' are taken to refer to syntax-driven operations. Thus, if CTM is to work, those expressions must be taken to refer to morphology-driven operations. CTM therefore fails, given that an operation must be semantics-driven if it is to qualify as a thought. CTM therefore fails on each possible disambiguation of the expressions 'formal operation' and 'computation,' and it is therefore false. (shrink)

How can we identify and estimate workers’ tacit knowledge? How can we design a personnel mix aimed at improving and speeding up its transfer and development? How is it possible to implement tacit knowledge sustainable projects in remote areas? In order to answer these questions, it is necessary to distinguish between types of tacit knowledge, to establish what they allow for and to consider their sources. It is also essential to find a way of managing the tacit (...) knowledge ‘stock’ and distribution within the workforce. In short, a conceptual framework is needed to manage tacit knowledge. Based on previous works and 2 years of action research, this paper introduces such a framework and describes its partial application to support the pre-operational training and hiring in a large industrial plant in Brazil. Two contributions emerge from the research. First, the concept of ‘levels of similarity’ is introduced as a means to qualify the experience of workers and estimate the associated tacit knowledge. Second, the capability of carrying out three types of judgement properly and speedily is put forward as being a core ability of those who possess what has been called ‘collective tacit knowledge’ (Collins in Organ Stud 28(2):257–262, 2007). In practical terms, the results indicate the opportunity for companies to capitalize on the experience and tacit knowledge of their workers in a systematic way and with due recognition. Ultimately, positive impacts are expected in their absorptive capacity as well as in their management and human resources systems, accident prevention, productivity and the development of sustainable projects in remote areas. (shrink)

We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To (...) capture the notion of a ‘majority’ we use the ‘large sets’ introduced independently by K. Schlechta and V. Jauregui, augmented with a requirement of completeness, which furnishes a ‘weak ultrafilter’ concept. We provide semantics in the form of possible-worlds frames, properly blending relational semantics with a version of general Scott–Montague frames and we obtain soundness and completeness results. We examine the validity of certain epistemic principles discussed in the literature, in particular some of the ‘bridge’ axioms discussed by W. Lenzen and R. Stalnaker, as well as the ‘paradox of the perfect believer’, which is not a theorem of. (shrink)

We ponder about the kind of problems and perspectives of a “formalized epistemology”, by considering the advantages than one can get from a concern with the “formal”, with its structural orientation, that would favour comprehensive, unifying and synthetic, intelligibility. We confront this perspective with that of the changes in knowledge, considering the relation between form and meaning for knowledge contents, and examine the notion of “epistemic operation” as instrumental for creating new forms, at the theoretical and meta-theoretical levels. (...) Actually, the notions of form, of formal and of object are not independent of the problem of a subject that decides on conventions and choices. “Epistemic operations” might suggest a link with “algorithmic functions” for knowledge statements, that themselves entail the risk of reductionism in a naturalistic conception of representation. (shrink)

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

It is reasonable to expect, with regard to any traditional academic subject, that it should be capable of being made good sense of as a rational form of knowledge or enquiry focused upon the discernment of truths of one sort or another concerning the world or human affairs. One curriculum area which has generally been held to be problematic in this respect, for a mixture of epistemological, social, ethical and pedagogical reasons, is that of religious education. In the first (...) place, then, this paper is concerned to expose some of the confusions which have been allowed to obscure the nature of religious enquiry as a viable rational enterprise, Second, however, the paper also attempts to develop a coherent und workable account of the nature and operations of knowledge and truth in religious enquiry. (shrink)

However much the three great traditions of medicine - Galenic, Chinese and Ayurvedic - differed from each other, they had one thing in common: scholarship. The foundational knowledge of each could only be acquired by careful study under teachers relying on ancient texts. Such medical knowledge is special, operating as it does in the realm of the most fundamental human experiences - health, disease, suffering, birth and death - and the credibility of healers is of crucial importance. Because (...) of this, scholarly medical knowledge offers a rich field for the study of different cultural practices in the legitimation of knowledge generally. The contributors to this volume are all specialists in the history or anthropology of these traditions, and their essays range from historical investigations to studies of present-day practices. (shrink)

Symbolic arithmetic is fundamental to science, technology and economics, but its acquisition by children typically requires years of effort, instruction and drill1,2. When adults perform mental arithmetic, they activate nonsymbolic, approximate number representations3,4, and their performance suffers if this nonsymbolic system is impaired5. Nonsymbolic number representations also allow adults, children, and even infants to add or subtract pairs of dot arrays and to compare the resulting sum or difference to a third array, provided that only approximate accuracy is required6–10. Here (...) we report that young children, who have mastered verbal counting and are on the threshold of arithmetic instruction, can build on their nonsymbolic number system to perform symbolic addition and subtraction11–15. Children across a broad socio-economic spectrum solved symbolic problems involving approximate addition or subtraction of large numbers, both in a laboratory test and in a school setting. Aspects of symbolic arithmetic therefore lie within the reach of children who have learned no algorithms for manipulating numerical symbols. Our findings help to delimit the sources of children’s difficulties learning symbolic arithmetic, and they suggest ways to enhance children’s engagement with formal mathematics. We presented children with approximate symbolic arithmetic problems in a format that parallels previous tests of non-symbolic arithmetic in preschool children8,9. In the first experiment, five- to six-year-old children were given problems such as ‘‘If you had twenty-four stickers and I gave you twenty-seven more, would you have more or less than thirty-five stickers?’’. Children performed well above chance (65.0%, t1952.77, P 5 0.012) without resorting to guessing or comparison strategies that could serve as alternatives to arithmetic. Children who have been taught no symbolic arithmetic therefore have some ability to perform symbolic addition problems. The children’s performance nevertheless fell short of performance on non-symbolic arithmetic tasks using equivalent addition problems with numbers presented as arrays of dots and with the addition operation conveyed by successive motions of the dots into a box (71.3% correct, F1,345 4.26, P 5 0.047)8.. (shrink)

Just about everything today comes with an operating manual--from your computer to your car, from your cell phone to your iPad. Is it possible that Life comes with an operating manual, as well? That's the simple, but powerful premise of Tom Shadyac's inspiring and provocative first book. Written as a series of essays and dialogues, we are invited into a conversation that is both challenging and empowering. The question now is, can we discern what is written inside of this operating (...) manual and garner the courage to live in accordance with its precepts. (shrink)