Epistemic logic is known as a logic that captures the knowledge and beliefs of agents and has undergone various developments. In this paper, we propose a new logic called agent-knowledge logic by taking the product of individual knowledge structures and the set of relationships among agents. This logic is based on the Facebook logic and the Logic of Hide and Seek Game. We show two main results; one is that this logic can embed the standard epistemic (...) logic, and the other is that there is a proof system of tableau calculus that works in finite time. We also discuss various sentences and inferences that this logic can express. (shrink)

This chapter contains sections titled: References.

Although many philosophers think backwards causation possible, puzzles arise when we consider worlds containing both backwards causal chains and agents capable of intervening in, and initiating, such chains. In these worlds, agents have the power to bilk, that is, the power to prevent an event from occurring which, had it occurred, would have been the cause of an earlier event. I argue, appealing to Max Black’s example and one other, that this power is absurd and hence that there are no (...) worlds containing both agents and manipulable backwards causal chains. (shrink)

In the knowledge economy, the process of knowledge sharing and creation for value co-creation frequently emerge in a multi-agent and multi-level system. It's important to consider the roles, functions, and possible interactive knowledge-based activities of key actors for ecological development. Makerspace as an initial stage of incubated platform plays the central and crucial roles of resource orchestrators and platform supporter. Less literature analyses the knowledge ecosystem embedded by makerspaces and considers the interactive process of civil (...) society and natural environment. This study constructs a multi-agent and multi-level knowledge ecosystem from macro, meso, and micro perspective based on Quintuple Helix theory and designs four evolutionary stages of knowledge orchestrating processes. This study finds that the symbiosis, co-evolution, interaction, and orchestration of multiple agents in the knowledge ecosystem should be merged with each other for value co-creation, which helps to take a systematic approach for policymakers, managers, and researchers. (shrink)

A fallibilist theory of knowledge is employed to make sense of the idea that agents know what they are doing 'without observation' (as on Anscombe's theory of practical knowledge).

In this paper I discuss the power of corporations as epistemic agents. Corporations need to hold certain forms of knowledge in order to develop and produce goods and services. Intellectual property is meant to incentivize them to do so, in ways that orient their activities towards the public good. However, corporations often use their knowledge strategically, not only within markets, but also in the processes that set the rules for markets. I discuss various historical examples, including the so-called (...) “tobacco strategy” of creating doubt about scientific evidence, and argue that as long as corporations are set up as profit-oriented entities, it is a dangerous strategy to provide them with too much epistemic power. I suggest various policies for reigning in this form of corporate power, for example regulations on PR activities. I then turn to the power of digital corporations, which is based on their collection and analysis of data. These kinds of companies, and the technologies they use, make the control of corporations as epistemic agents all the more urgent for democratic societies. (shrink)

This paper has three goals. The first is to introduce the “knowledge game”, a new, simple and yet powerful tool for analysing some intriguing philosophical questions. The second is to apply the knowledge game as an informative test to discriminate between conscious (human) and conscious-less agents (zombies and robots), depending on which version of the game they can win. And the third is to use a version of the knowledge game to provide an answer to Dretske’s question (...) “how do you know you are not a zombie?”. (shrink)

This article addresses knowledge transfer dynamics in agent-based computational social science. The goal of the text is twofold. First, it describes the tensions arising from the convergence of different disciplinary traditions in the emergence of this new area of study and, second, it shows how these tensions are dealt with through the articulation of distinctive practices of knowledge production and transmission. To achieve this goal, three major instances of knowledge transfer dynamics in agent-based computational social (...) science are analysed. The first instance is the emergence of the research field. Relations of knowledge transfer and cross-fertilisation between agent-based computational social science and wider and more established disciplinary areas: complexity science, computational science and social science, are discussed. The second instance is the approach to scientific modelling in the field. It is shown how the practice of agent-based modelling is affected by the conflicting coexistence of shared methodological commitments transferred from both empirical and formal disciplines. Lastly, the third instance pertains internal practices of knowledge production and transmission. Through the discussion of these practices, the tensions arising from converging dissimilar disciplinary traditions in agent-based computational social science are highlighted. (shrink)

I argue that current discussions of the epistemological significance of reflection have entangled concerns about reflection with agential concerns. I begin by showing that a central strand of internalist criticism finds externalism unsatisfactory because it fails to provide a particular kind of self-knowledge, knowledge about the epistemic status of one’s own beliefs. Identifying this internalist motivation as the desire for a kind of self-knowledge opens up new possibilities and suggests new conceptual resources. I employ one of these (...) resources—Richard Moran’s distinction between the theoretical stance and the deliberative stance—to locate two types of reflection: mere reflective awareness of one’s attitudes and agent-awareness of one’s attitudes. I then examine Ernest Sosa’s account of the importance of reflection, showing how Moran’s distinction brings out the centrality of agential concerns in Sosa’s argument for reflective knowledge. I also consider briefly its relevance to fully apt knowledge. While I focus on Sosa’s epistemology, the point extends to internalism more generally. (shrink)

Dung’s theory of abstract argumentation provides a unified foundation to knowledge representation and reasoning. It models the acceptability of arguments through their attack and defense relations, a perspective referred to as the attack—defense paradigm shift. While formal argumentation has been conceptualized in terms of argumentation as inference, argumentation as dialogue, and argumentation as balancing, most developments in abstract argumentation have focused on the inference perspective. By contrast, the dialogue perspective remains less explored. In this article, we contribute to bridging (...) this gap by introducing new notions of agent defense, extending abstract argumentation with explicit representations of agents and their roles in defending arguments. These notions account for both individual and collective defense, enabling richer models of multi-agent reasoning. We position our proposal within the literature by comparing it with three existing approaches that extend abstract argumentation with agency: social semantics, agent-reduction semantics, and agent-filtering semantics. Using a principle-based analysis, we evaluate the formal properties of these approaches and the behavioral differences between them. This paper broadens the focus of abstract argumentation from inference-oriented models toward dialogue-oriented and agent-centered perspectives. This aligns with ongoing developments described in the Handbook of Formal Argumentation and the International Conference on Computational Models of Argument (COMMA) literature, and contributes to the shift toward modeling complex, interactive reasoning in multi-agent systems. (shrink)

_Gendered Agents_, edited by Silvestra Mariniello andPaul A. Bové, presents essays by influential feminist theorists who challenge traditional Western epistemology and suggest new directions for feminism. By examining both literary and historical discourses, such critics as Gayatri Spivak, Hortense Spillers, and Lauren Berlant assess questions of sexuality, ethics, race, psychoanalysis, subjectivity, and identity. Gathered from various issues of the journal _boundary 2_, the essays in _Gendered Agents_ seek to transform the model of Western academic knowledge by restructuring its priorities (...) and values. In the introduction, Mariniello urges feminists to begin anew but take as their starting place the achievements of feminism and feminist theory: an understanding of language that considers the implications of silence, the motivation to decompartmentalize experience, and the acknowledgement that everything is political._ _Challenging both a canonical organization of knowledge and the persistently self-referential "ghettoization" of feminism, contributors subsequently tackle subjects as diverse as pre-Marxist France, the American fetus, black intellectuals, queer nationality, and the art of literary interpretation. _Contributors_. Lauren Berlant, Karen Brennan, Margaret Cohen, Nancy Fraser, Elizabeth Freeman, Carol Jacobs, Silvestra Mariniello, Larysa Mykyta, Laura Rice, Ivy Schweitzer, Doris Sommer, Hortense J. Spillers, Gayatri Chakravorty Spivak, Judith Wilt. (shrink)

We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than changing the semantic structures, we generalize the usual interpretation of formulae in single states to sets of states. We also propose a new epistemic operator for ?practical? or ?constructive? knowledge, and we show that the new logic (which we call Constructive Strategic Logic) is strictly more expressive than most existing solutions, while it retains the same (...) model checking complexity. Finally, we study properties of constructive knowledge and other operators in this non-standard semantics. (shrink)

Although interpretivists are right to give inner speech a central role in generating self-knowledge, they mischaracterize the precise nature of this role. Inner speech is fundamentally an action, a form of speech, and provides us with self-knowledge not by being something that we perceive (or “quasi-perceive”) and interpret, but by being something that we knowingly do. Once this is appreciated, interpretivism is undermined.

Agents know some but not all logical consequences of what they know. Agents seem to be neither logically omniscient nor logically incompetent. Yet finding an intermediate standard of minimal rationality has proven difficult. In this paper, I take suggestions found in the literature (Lewis, 1988; Hawke, Özgün and Berto, 2020; Plebani and Spolaore, 2021) and join the forces of subject matter and impossible worlds approaches to devise a new solution to this quandary. I do so by combining a space of (...) FDE worlds (Berto and Jago, 2019) with a Lewisian (1988) understanding of subject matters as partitions. By doing so, I show how subject matters impose some order in the anarchic space of FDE worlds, while the worlds allow for distinctions between contents which would not otherwise be available. Combining the two approaches, then, brings us closer to the desired closure principles for knowledge of minimally rational agents. (shrink)

Managing and retrieving complex legal information poses significant challenges, such as handling vast, interconnected legal texts efficiently and ensuring precise interpretation based on context, jurisdiction, and precedents. This paper addresses a critical gap in legal information retrieval systems by introducing an integrated knowledge graph-based approach combined with agent-driven decision making, with Tamil language support as an accessibility feature for regional users. Our comprehensive analysis of existing literature reveals that while current approaches address isolated aspects of the problem, none (...) provides a holistic dynamic solution. Our novel framework introduces two primary contributions: (1) a hierarchical knowledge graph schema that enables structured legal reasoning through multi-layered entity relationships, and (2) adaptive agent reasoning capabilities that dynamically navigate complex legal knowledge structures for contextually relevant responses. The system architecture integrates these core innovations with context-aware graph-based retrieval-augmented generation (RAG) for precise retrieval and incorporates Tamil language processing to enhance accessibility for regional users. Additionally, our approach demonstrates the significance of intent identification fine-tuning, which improves query understanding precision by 23% compared to baseline approaches. Experimental results demonstrate significant improvements in retrieval accuracy and query comprehension compared to traditional keyword-based approaches. Our hierarchical knowledge graph achieved a modularity score of 0.646 using Louvain community detection, while our LangGraph agent attained ROUGE-1/2/L scores of 0.467/0.311/0.508 for single-document tasks. For more complex multi-document retrieval, the ReAct Agent achieved impressive scores of 0.592/0.432/0.512, with high semantic similarity scores of 0.831 and 0.893. The proposed system offers a scalable solution that leverages structured knowledge representation and adaptive reasoning to navigate complex legal relationships, with Tamil language support providing enhanced accessibility for regional users in the Indian legal domain. (shrink)

Information-seeking interactions in multi-agent systems are required for situations in which there exists an expert agent that has vast knowledge about some topic, and there are other agents (questioners or clients) that lack and need information regarding that topic. In this work, we propose a strategy for automatic knowledge acquisition in an information-seeking setting in which agents use a structured argumentation formalism for knowledge representation and reasoning. In our approach, the client conceives the other (...) class='Hi'>agent as an expert in a particular domain and is committed to believe in the expert’s qualified opinion about a given query. The client’s goal is to ask questions and acquire knowledge until it is able to conclude the same as the expert about the initial query. On the other hand, the expert’s goal is to provide just the necessary information to help the client understand its opinion. Since the client could have previous knowledge in conflict with the information acquired from the expert agent, and given that its goal is to accept the expert’s position, the client may need to adapt its previous knowledge. The operational semantics for the client-expert interaction will be defined in terms of a transition system. This semantics will be used to formally prove that, once the client-expert interaction finishes, the client will have the same assessment the expert has about the performed query. (shrink)

Epistemologists have generally accepted that competently deduced, known conclusions must issue from known premises, as the principle of Counter-Closure demands; however, some have recently challenged the notion, arguing that knowledge may be inferred from non-knowledge. In this paper, I focus on the yet unexamined topic of inferential knowledge from Gettiered belief with regard to Greco's virtue-epistemic framework, which he refers to as ‘agent reliabilism’. I argue that agent reliabilism allows for instances of Counter-Closure violation. In (...) presenting my argument, I construct and provide an analysis of a case that challenges Counter-Closure, and defend the case against various possible objections, including some that feature in mainstream Counter-Closure literature. I contend that, if my analysis is accepted, Greco is left with two options: either he rejects Counter-Closure, or he must substantially revise his view in such a way as to preserve Counter-Closure in light of cases of inferential knowledge from Gettiered belief. (shrink)

The article aims at formulating a philosophical framework and by this giving some means at hand to save human libertarian freedom, God’s omniscience and God’s ”eternity’. This threefold aim is achieved by 1) conceiving of an agent as having different possibilities to act, 2) regarding God’s knowledge -- with respect to agents -- not only as being ”propositional’ in character but also as being ”experiential’: God knows an agent also from the ”first person perspective’, as the (...) class='Hi'>agent knows herself, and, 3), formulating ”eternity’ and ”temporality’ as being homeomorphically related to each other. This gives rise to a coherent interplay that saves both human libertarian freedom and God’s omniscient ”view from eternity’. (shrink)

In this paper, we study the evolution of knowledge in multi-agent conformant planning over transition systems. We propose a dynamic epistemic logical framework with modalities of distributed knowledge to handle the epistemic reasoning in such scenarios, and we reduce a problem of multi-agent conformant planning to a model checking problem. We prove that multi-agent conformant planning is Pspace-complete on the size of the dynamic epistemic model.

Philosophical investigation in synthetic biology has focused on the knowledge-seeking questions pursued, the kind of engineering techniques used, and on the ethical impact of the products produced. However, little work has been done to investigate the processes by which these epistemological, metaphysical, and ethical forms of inquiry arise in the course of synthetic biology research. An attempt at this work relying on a particular area of synthetic biology will be the aim of this chapter. I focus on the reengineering (...) of metabolic pathways through the manipulation and construction of small DNA-based devices and systems synthetic biology. Rather than focusing on the engineered products or ethical principles that result, I will investigate the processes by which these arise. As such, the attention will be directed to the activities of practitioners, their manipulation of tools, and the use they make of techniques to construct new metabolic devices. Using a science-in-practice approach, I investigate problems at the intersection of science, philosophy of science, and sociology of science. I consider how practitioners within this area of synthetic biology reconfigure biological understanding and ethical categories through active modelling and manipulation of known functional parts, biological pathways for use in the design of microbial machines to solve problems in medicine, technology, and the environment. We might describe this kind of problem-solving as relying on what Helen Longino referred to as “social cognition” or the type of scientific work done within what Hasok Chang calls “systems of practice”. My aim in this chapter will be to investigate the relationship that holds between systems of practice within metabolic engineering research and social cognition. I will attempt to show how knowledge and normative valuation are generated from this particular network of practitioners. In doing so, I suggest that the social nature of scientific inquiry is ineliminable to both knowledge acquisition and ethical evaluations. (shrink)

Contextualism is relativism tamed. Relativism about truth is usually motivated by the idea of no-fault disagreement. Imagine two parties: one (she) says ‘P’; the other (he) says ‘Not P’.1 Apparently, if P then ‘P’ is true and ‘Not P’ false, so she is right and he is wrong; if not P then ‘P’ is false and ‘Not P’ true, so he is right and she is wrong. In both cases, there is an asymmetry between the two parties. Since P or (...) not P (by the law of excluded middle), there is indeed an asymmetry between them, one way or the other. Yet the two parties may strike a neutral observer as on a par, equally intelligent, informed, perceptive and alert. Relativists about truth strive to dissolve the unpleasant asymmetry: ‘”P” is true for her; “Not P” is true for him’. Trouble starts when we ask what the relativists mean by ‘for’ in the construction ‘true for X’. If to call something true ‘for’ X is just to say that X believes that it is true, then the attempted dissolution amounts to this: ‘She believes that “P” is true; he believes that “Not P” is true’. But that is to add no more than that both parties believe that they are right; it does nothing to undermine the argument for an asymmetry between them. Relativists had better mean something else by ‘true for X’. When asked to explain what else they mean, wild relativists bluster incoherently. Contextualists, by contrast, have a clear answer. A sentence is true for X if and only if it is true as uttered by X, true relative to a context in which X is the speaker. Such relativism is tame because the relativity to context in the truth-value of a sentence allows for absoluteness in the truth-value of what the sentence is used to say in a given context. When she says ‘P’, she speaks truly: not just truly for her, but absolutely truly. When he says ‘Not P’, he too speaks truly: not just truly for him, but absolutely truly. The argument for asymmetry 1 assumes that, when she says ‘P’, she speaks truly if and only if P, and when he says ‘Not P’, he speaks truly if and only if not P.. (shrink)

This thesis develops a theory about the structure of modal judgment and knowledge. Arguing in favour of pluralism about the source of modal knowledge, it focuses on the questions of the varieties of modal judgment and their relations, the function of modal judgment and the scope of modal knowledge. It offers a hypothesis about the development of the framework of modal knowledge, grounding it on the capacity to evaluate temporal judgments, from which the capacity to evaluate (...) alternatives comes from, and it suggests that the most basic framework of modal judgments consists in that of agentive modality, and in particular, about what one can do, and how. Then, it is argued that the rest of the framework of modal judgment can be developed on this basis, although this imposes certain restrictions about the scope of modal knowledge. Additionally, the thesis provides analyses of various agentive modal notions, such as imaginability, what is a way to do something, and discusses how to understand counterfactuals with impossible antecedents. (shrink)

Open peer commentary on the article “A Computational Constructivist Model as an Anticipatory Learning Mechanism for Coupled Agent–Environment Systems” by Filipo Studzinski Perotto. Upshot: The aim of this commentary is to relate the target article to recent work about how to represent the knowledge acquired from experience by a constructivist agent.

The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue. We find that the situation calculus, with suitable extensions, supplies a unified representation of (1) the interaction protocol, or structure of the game, (2) the dynamics of the knowledge and common knowledge of the agents, and (3) principles of strategic planning.

Philosophers like to worry about luck. And well they should. Luck poses potential difficulties for knowledge, moral appraisal, and freedom. The primary target of this paper will be the last of these concerns . Recent arguments from luck have been levied against libertarian accounts of free will, including agent-causal ones. One general goal of this paper will be to demonstrate the truth of an often overlooked claim about responsibility-undermining luck. Part of this task will include illustrating what is (...) genuinely worrisome about luck in the context of free will. It will turn out that the problem is not fundamentally a problem of explanation. Another aim will be to argue that the truth of this claim about luck reveals a problem for event-causal libertarianism but has yet to reveal a problem for the agent-causal view. For the purposes of this paper, it will be assumed that luck does indeed undermine free action and moral responsibility. But it will be argued that agent-caused actions have not been shown to be "lucky.". (shrink)

Agent-Based Models are useful to describe and understand social, economic and spatial systems' dynamics. But, beside the facilities which this methodology offers, evaluation and comparison of simulation models are sometimes problematic. A rigorous conceptual frame needs to be developed. This is in order to ensure the coherence in the chain linking at the one extreme the scientist's hypotheses about the modeled phenomenon and at the other the structure of rules in the computer program. This also systematizes the model design (...) from the thematician conceptual framework as well. The aim is to reflect upon the role that a well defined ontology, based on the crossing of the philosophical and the computer science insights, can play to solve such questions and help the model building. We analyze different conceptions of ontology, introduce the 'ontological test' and show its usefulness to compare models. Then we focus on the model building and show the place of a systematic ABM ontology. The latter process is situated within a larger framework called the 'knowledge framework' in which not only the ontologies but also the notions of theory, model and empirical data take place. At last the relation between emergence and ontology is discussed. (shrink)

The paper presents a ‘multiple agent’ logic where formulas are pairs of the form, made of a proposition and a subset of agents. The formula is intended to mean ‘ all agents in believe that is true’. The formal similarity of such formulas with those of possibilistic logic, where propositions are associated with certainty levels, is emphasised. However, the subsets of agents are organised in a Boolean lattice, while certainty levels belong to a totally ordered scale. The semantics of (...) a set of ‘multiple agent’ logic formulas is expressed by a mapping which associates a subset of agents with each interpretation. Soundness and completeness results are established. Then a joint extension of the multiple agent logic and possibilistic logic is outlined. In this extended logic, propositions are then associated with both sets of agents and certainty levels. A formula then expresses that ‘all agents in set believe that is true at least at some level’. The semantics is then given in terms of fuzzy sets of agents that find an interpretation more or less possible. A specific feature of possibilistic logic is that the inconsistency of a knowledge base is a matter of degree. The proposed setting enables us to distinguish between the global consistency of a set of agents and their individual consistency. In particular, given a set of multiple agent possibilistic formulas, one can compute the subset of agents that are individually consistent to some degree. (shrink)

Knowledge closure is the claim that, if an agent S knows P, recognizes that P implies Q, and believes Q because it is implied by P, then S knows Q. Closure is a pivotal epistemological principle that is widely endorsed by contemporary epistemologists. Against Knowledge Closure is the first book-length treatment of the issue and the most sustained argument for closure failure to date. Unlike most prior arguments for closure failure, Marc Alspector-Kelly's critique of closure does not (...) presuppose any particular epistemological theory; his argument is, instead, intuitively compelling and applicable to a wide variety of epistemological views. His discussion ranges over much of the epistemological landscape, including skepticism, warrant, transmission and transmission failure, fallibilism, sensitivity, safety, evidentialism, reliabilism, contextualism, entitlement, circularity and bootstrapping, justification, and justification closure. As a result, the volume will be of interest to any epistemologist or student of epistemology and related subjects. (shrink)

Agent Relative Ethics asks what the world would look like if we adopted agent relativity wholeheartedly, clinging to no shred of absolute morality. Alastair MacIntyre's haunting image of a post-apocalyptic world, in which our knowledge of ethics has been fragmented, poses a contrast between modern morality and ancient ethics. The two stand divided along the fault line of the nature of the good. Modern ethics has placed its stake in the absolute good, while ancient ethics rests upon (...) the foundation of the relative good. Following the lead of Bernard Williams, Agent Relative Ethics identifies alienation as a disturbing symptom of the present focus upon absolute goods. It then completes the diagnosis of the malady afflicting modern moral theory by clarifying the difference between absolute and relative goods. The remainder of the book explores how agent relativity can overcome the modern fragmentation of our ethical knowledge. Not just any relative goods can rectify the modern disorder. Only shared goods, belonging to a union of individuals, are sufficiently robust to overthrow the contemporary despotism of neutral goods. These shared goods exhibit many parallels with common sense morality, including partiality, impartiality, punishment, and an antagonism toward harmfully using others together with a more lenient attitude toward foreseeing harm. The final chapters probe the conditions, often unpalatable to the modern mind, by which ethics might be restored. Agent Relative Ethics will be of interest to scholars and advanced students working in ethics and moral theory, ancient ethics, and the history of philosophy. (shrink)

This paper models knowledge in cases where an agent has multiple experiences over time. Using this model, we introduce a series of observations that undermine the pretheoretic idea that the evidential significance of experience depends on the extent to which that experience matches the world. On the basis of these observations, we model knowledge in terms of what is likely given the agent’s experience. An agent knows p when p is implied by her epistemic possibilities. (...) A world is epistemically possible when its probability given the agent’s experiences is not significantly lower than the probability of the actual world given that experience. (shrink)

This paper argues that John Greco’s agent reliabilism fails in its attempt to meet the double requirement of accounting for the internalist intuition that knowledge requires sensitivity to the reliability of one’s evidence and evading the charge of psychological implausibility.

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)

The article presents an agent-based model (ABM) of scientific interaction aimed at examining how different degrees of connectedness of scientists impact their efficiency in knowledge acquisition. The model is built on the basis of Zollman’s ( [2010] ) ABM by changing some of its idealizing assumptions that concern the representation of the central notions underlying the model: epistemic success of the rivalling scientific theories, scientific interaction and the assessment in view of which scientists choose theories to work on. (...) Our results suggest that whether and to what extent the degree of connectedness of a scientific community impacts its efficiency is a highly context-dependent matter since different conditions deem strikingly different results. More generally, we argue that simplicity of ABMs may come at a price: the requirement to run extensive robustness analysis before we can specify the adequate target phenomenon of the model.1 1 1Introduction 2Zollman's 2010 Model 3Static versus Dynamic Epistemic Success 3.1Introducing the notion of dynamic epistemic success 3.2Implementation and results for the basic setup 4Critical Interaction 4.1Introducing critique 4.2Implementation and results 5Inertia of Inquiry 5.1Introducing rational inertia 5.2Implementation and results 6Threshold Below Which Theories Are Equally Promising 6.1An inquiry that is even more difficult 6.2Implementation and results 7Discussion 8Conclusion. (shrink)

Common-sense morality includes various agent-centred constraints, including ones against killing unnecessarily and breaking a promise. However, it's not always clear whether, had an agent ϕ-ed, she would have violated a constraint. And sometimes the reason for this is not that we lack knowledge of the relevant facts, but that there is no fact about whether her ϕ-ing would have constituted a constraint-violation. What, then, is a constraint-accepting theory to say about whether it would have been permissible for (...) her to have ϕ-ed? In this paper, I canvass various possible approaches to answering this question and I argue that teleology offers the most plausible approach—teleology being the view that every act has its deontic status in virtue of how its outcome ranks, relative to those of its alternatives. So although, until recently, it had been thought that only deontological theories can accommodate constraints, it turns out that teleological theories not only can accommodate constraints, but can do so more plausibly than deontological theories can. (shrink)

SUMMARYTo be Marxist at the turn of the twentieth century was highly contested. During this crisis of Marxism, identity politics were acute, exemplified by the private and public debate between Eduard Bernstein and Karl Kautsky. With Bernstein's celebrated turn away from the Marxist theory of his day, the grounds for being Marxist were at stake. Was it possible to criticise Marx's analysis of industrial capitalism, his account of historical change and his hard-nosed class politics, and yet still be in a (...) position to carry his name forward? Moreover, the springing-up of another identity, Revisionist, suggested that being Marxist was ambiguous. If one accepted Bernstein's and the Revisionists' point that Marxists had become too orthodox, leaving Revisionists as the true heirs of Marx's critical socialist spirit, then the Marxist identity was so open as to be meaningless. In this article, I contend that the name-calling of this period, the Revisionismusstreit, should be seen as creative. In contrast to politico-ideological perceptions of the Streit, which construe the clash of Marxist and Revisionist as representative of foundational Social Democratic party political realities, I highlight the manner in which being Marxist—the veneration of Marx's and Friedrich Engels's word into a Marxology of sorts by Marxists and Revisionists alike—held a certain epistemic value in its own right. (shrink)

Russell (1911/12) argued that perceptual experience grounds a species of non-propositional knowledge, “knowledge by acquaintance,” and in recent years, this account of knowledge has been gaining traction. I defend on its basis a connection between moral and epistemic failure. I argue, first, that insufficient concern for the suffering of others can be explained in terms of an agent’s lack of acquaintance knowledge of another’s suffering, and second, that empathy improves our epistemic situation. Empathic distress approximates (...) acquaintance with another’s suffering, and empathic agents who are motivated to help rather than disengage exhibit an important epistemic virtue: a variety of intellectual courage. A key upshot is that an independently motivated account of the structure and significance of perceptual experience is shown to provide theoretical scaffolding for understanding a famously elusive idea in ethics—namely, that the failure to help others stems from a kind of ignorance of their situation. (shrink)

Approximation involves representing things in ways that might be close to the truth but are nevertheless false. Given the widespread reliance on approximations in science and everyday life, here we ask whether it is conceptually possible for false approximations to qualify as knowledge. According to the factivity account, it is impossible to know false approximations, because knowledge requires truth. According to the representational adequacy account, it is possible to know false approximations, if they are close enough to the (...) truth for present purposes. In this paper, we adopt an experimental methodology to begin testing these two theories. When an agent provides a false and practically inadequate answer, both theories predict that people will deny knowledge. But the theories disagree about an agent who provides a false but practically adequate answer: the factivity hypothesis again predicts knowledge denial, whereas the representational adequacy hypothesis predicts knowledge attribution. Across two experiments, our principal finding was that people tended to attribute knowledge for false but practically adequate answers, which supports the representational adequacy account. We propose an interpretation of existing findings that preserves a conceptual link between knowledge and truth. According to this proposal, truth is not necessary for knowledge, but it is a feature of prototypical knowledge. (shrink)

On knowledge and practices: a manifesto -- The web of practices -- Agents and frameworks -- Complementarity in mathematics -- Ancient Greek mathematics: a role for diagrams -- Advanced math: the hypothetical conception -- Arithmetic certainty -- Mathematics developed: the case of the reals -- Objectivity in mathematical knowledge -- The problem of conceptual understanding.

This paper proposes an agent community based information retrieval method, which uses agent communities to manage and look up information related to users. An agent works as a delegate of its user and searches for information that the user wants by communicating with other agents. The communication between agents is carried out in a peer-to-peer computing architecture. In order to retrieve information related to a user query, an agent uses two histories : a query/retrieved document history(Q/RDH) (...) and a query/sender agent history(Q/SAH). The former is a list of pairs of a query and retrieved documents, where the queries were sent by the agent itself. The latter is a list of pairs of a query and sender agents and shows ``who sent what query to the agent''. This is useful to find a new information source. Making use of the Q/SAH is expected to cause a collaborative filtering effect, which gradually creates virtual agent communities, where agents with the same interests stay together. Our hypothesis is that a virtual agent community reduces communication loads to perform a search. As an agent receives more queries, then more links to new knowledge are achieved. From this behavior, a ``give and take''(or positive feedback) effect for agents seems to emerge. We implemented this method with Multi-Agents Kodama which has been developed in our laboratory, and conducted preliminary experiments to test the hypothesis. The empirical results showed that the method was much more efficient than a naive method employing 'broadcast' techniques only to look up a target agent. (shrink)

Many philosophers hold that if an agent acts intentionally, she must know what she is doing. Although the scholarly consensus for many years was to reject the thesis in light of presumed counterexamples by Donald Davidson, several scholars have recently argued that attention to aspectual distinctions and the practical nature of this knowledge shows that these counterexamples fail. In this paper I defend a new objection against the thesis, one modelled after Timothy Williamson’s anti-luminosity argument. Since this argument (...) relies on general principles about the nature of knowledge rather than on intuitions about fringe cases, the recent responses that have been given to defuse the force of Davidson’s objection are silent against it. Moreover, the argument suggests that even weaker theses connecting practical entities with knowledge are also false. Recent defenders of the thesis that there is a necessary connection between knowledge and intentional action are motivated by the insight that this connection is non-accidental. I close with a positive proposal to account for the non-accidentality of this link without appeal to necessary connections by drawing an extended analogy between practical and perceptual knowledge. (shrink)

In a single-iteration fake barn case, the agent correctly identifies an object of interest on the first try, despite the presence of nearby lookalikes that could have mislead her. In a multiple-iteration fake barn case, the agent first encounters several fakes, misidentifies each of them, and then encounters and correctly identifies a genuine item of interest. Prior work has established that people tend to attribute knowledge in single-iteration fake barn cases, but multiple-iteration cases have not been tested. (...) However, some theorists contend that multiple-iteration cases are more important and will elicit a strong tendency to deny knowledge. Here I report a behavioural experiment investigating knowledge judgments in multiple-iteration fake barn cases. The main finding is that people tend to attribute knowledge in these cases too. Ironically, the results indicate that the presence of fakes could prevent iterated errors from lowering knowledge attributions. The results also provide evidence that ordinary knowledge attributions are based on attributions of cognitive ability. (shrink)

ABSTRACT For Anscombe a solitary activity is intentional if the agent has self-knowledge of what she is doing. Analogously one might think that to partake in shared intentional activities is for the agents involved to have plural or collective self-knowledge of what they are doing together. I call this ‘the Plural Practical Knowledge Thesis’ (PPK). While some authors have advanced related theses about the nature of the knowledge involved in shared practical activities (see Laurence, B. (...) [2011]. “An Anscombian Approach to Collective Action.” In Essays on Anscombe’s Intention, edited by Anton Ford, Jennifer Hornsby, and Frederick Stoutland. Cambridge: Harvard UP; Schmid, H.-B. [2016]. “On Knowing What We Are Doing Together.” In The Epistemic Life of Groups: Essays in the Epistemology of Collectives, edited by Michael S. Brady, and Miranda Fricker. Oxford: Oxford UP; Rödl, S. [2015]. “Joint Action and Recursive Consciousness of Consciousness.” Phenomenology and Cognitive Sciences 14: 769–779. doi:10.1007/s11097-015-9423-1; Rödl, S. [2018a]. “Joint Action and Pure Self-Consciousness.” Journal of Social Philosophy 49 (1): 124–136; Rödl, S. [2018b]. Self-Consciousness and Objectivity. Cambridge: Harvard UP) this alternative remains relatively underexplored in the current literature. The paper offers an account of plural practical knowledge based on the idea that shared activities of the relevant sort share a normative structure given by practical, means-end structures and proposes a paradigmatic methodology that generalizes this account to understand what different cases of collective intentional action have in common. It then discusses the differences between the proposed approach and those due to Schmid 2016. “On Knowing What We Are Doing Together.” In The Epistemic Life of Groups: Essays in the Epistemology of Collectives, edited by Michael S. Brady, and Miranda Fricker. Oxford: Oxford UP and Laurence 2011. “An Anscombian Approach to Collective Action.” In Essays on Anscombe’s Intention, edited by Anton Ford, Jennifer Hornsby, and Frederick Stoutland. Cambridge: Harvard UPand the reasons why it should be preferred. (shrink)

Personal relationships can change the deontic status of acts. Such change usually takes the form from optional to required. However, it also seems possible that relationships can change the deontic status from impermissible to optional or even required. In other words, agents can be required to do things for a friend that would be impermissible when done for a stranger. In this paper, I examine these controversial forms of deontic change. I argue that friendships can, in fact, make otherwise impermissible (...) acts permissible or even required, but only in certain cases. The question, then, is why friendships can play such a role, and why they can only do so in certain situations. I argue that the idea of deontological thresholds provides a unified explanation for both questions. This idea posits that otherwise impermissible actions become permissible or even required only in very specific situations, namely to avoid a moral catastrophe. I then argue that such deontological thresholds can be agent-relative and that friendships influence whether an agent-relative deontological threshold is reached. This explains why only friends, not strangers, can be permitted or required to perform certain otherwise impermissible actions. I contend that friendships play this role because of the fundamental knowledge by acquaintance that friends have of each other’s overall virtuous characters. (shrink)

Frigg and Reiss (2009) argue that philosophical problems in simulation bear enough resemblance to recognized issues in the philosophy of modeling that they only pose challenges analogous to those found in standard analytic models used to represent natural systems. They suggest that there are no new philosophical problems in computer simulation modeling beyond those found in traditional mathematical modeling. Winsberg (2009) has countered that there appear to be genuinely new epistemological problems in simulation modeling because the knowledge obtained from (...) them is ‘downward, motley, and autonomous.’ Here I draw out some specific ways that these epistemological problems are manifest in complex ecological simulation, especially in agent-based models. These models contain novel features that were impossible to anticipate prior to the computer revolution, and continue to present difficulties and challenges of both a practical and philosophical nature (Humphreys 2002). (shrink)

According to a number of recent philosophers, knowledge has an intimate relationship with rationality. Some philosophers hold, in particular, that rational agents do things for good motivating reasons, and that p can be one’s motivating reason for -ing (acting/believing/fearing/etc.) only if one knows that p. This paper argues against this view and in favor of the view that p cannot be one’s motivating reason for -ing—in the relevant sense—unless there is an appropriate explanatory connection between the fact that p (...) and one’s -ing. I argue that this view offers a better account of the cases alleged to support the knowledge view. (shrink)

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build arti cial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of (...) the comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the fi nal part of the paper further directions of research will be explored, trying to address current limitations and future challenges. (shrink)

In this paper, we first propose a simple formal language to specify types of agents in terms of necessary conditions for their announcements. Based on this language, types of agents are treated as ‘first-class citizens’ and studied extensively in various dynamic epistemic frameworks which are suitable for reasoning about knowledge and agent types via announcements and questions. To demonstrate our approach, we discuss various versions of Smullyan’s Knights and Knaves puzzles, including the Hardest Logic Puzzle Ever (HLPE) proposed (...) by Boolos (in Harv Rev Philos 6:62–65, 1996). In particular, we formalize HLPE and verify a classic solution to it. Moreover, we propose a spectrum of new puzzles based on HLPE by considering subjective (knowledge-based) agent types and relaxing the implicit epistemic assumptions in the original puzzle. The new puzzles are harder than the previously proposed ones in the literature, in the sense that they require deeper epistemic reasoning. Surprisingly, we also show that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. Our formalism paves the way for studying these new puzzles using automatic model checking techniques. (shrink)

Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...