The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that team. Finally, the plan is executed by the team. Traditionally, very simple protocols like the Contract Net protocol are used for performing the first two stages of the process. In an open environment however, there can be discussion among the agents in order to form a team that can achieve the collective intention (...) of solving the problem. For these cases fixed protocols like contract net do not suffice. In this paper we present an alternative solution, using structured dialogues, with an emphasis on persuasion, that can be shown to lead to the required team formation. The dialogues are described formally using modal logics and speech acts. (shrink)

Over the last decade, multi-agent systems have come to form one of the key tech- nologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoreti- cal computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model check- ing, and formal approaches to cooperation, multi-agent planning, communication, (...) coordination, negotiation, games, and reasoning under uncertainty in a distributed environment. In 2007, the third FAMAS workshop, FAMAS'007, was one of the agent workshops gathered together under the umbrella of Multi-Agent Logics, Languages, and Organ- isations - Federated Workshops, MALLOW'007, taking place from 3 to 7 September 2007 in Durham. This current special issue of the Logic Journal of the IGPL gathers together the revised and updated versions of the five best FAMAS'007 contributions. (shrink)

This special issue of the Logic Journal of the IGPL includes revised and updated versions of the best work presented at the fourth edition of the workshop Formal Ap- proaches to Multi-Agent Systems, FAMAS'09, which took place in Turin, Italy, from 7 to 11 September, 2009, under the umbrella of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW). -/- Just like its predecessor, research reported in this FAMAS 2009 special issue is very much inspired by practical concerns. This time (...) the authors of all the five selected papers are concerned with knowledge and beliefs in multi-agent settings: How to create a group belief in a fair way from individual plausibility orderings? How to close gaps and resolve ambiguities in a tractable way, when information comes from multiple sources? How to reason about a spatial environment? How to compare the strengths of an agent's beliefs in a principled way? How to decide as efficiently as possible whether a given formula concerning group beliefs is valid? These questions and their answers lead to a multi-faceted and at the same time coherent special issue. We concisely introduce the five articles. (shrink)

In this paper we study automated reasoning in the modal logic CPDLreg which is a combination of CPDL (Propositional Dynamic Logic with Converse) and REGc (Regular Grammar Logic with Converse). The logic CPDL is widely used in many areas, including program verification, theory of action and change, and knowledge representation. On the other hand, the logic REGc is applicable in reasoning about epistemic states and ontologies (via Description Logics). The modal logic CPDLreg can serve as a technical foundation for reasoning (...) about agency. Even very rich multi-agent logics can be embedded into CPDLreg via a suitable translation. Therefore, CPDLreg can serve as a test bed to implement and possibly verify new ideas without providing specific automated reasoning techniques for the logic in question. This process can to a large extent be automated. The idea of embedding various logics into CPDLreg is illustrated on a rather advanced logic TEAMLOGK designed to specify teamwork in multi-agent systems. Apart from defining informational and motivational attitudes of groups of agents, TEAMLOGK allows for grading agents' beliefs, goals and intentions. The current paper is a companion to our paper (Dunin-Kęplicz et al., 2010a). The main contribution are proofs of soundness and completeness of the tableau calculus for CPDLreg provided in (Dunin-Kęplicz et al., 2010a). (shrink)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

In this paper, we deal with the issue of how it is possible for pretending children to engage in exploratory performances and entertain alternative states of affairs. We question the approach according to which pretenders must be capable of counterfactual reasoning. Instead, we follow an alternative action-based framework on cognition and thus pretense, which argues for a much more profound role of the context of play than the questioned Counterfactual Thinking Approach to Pretense (CTAP). First, we motivate this shift in (...) theoretical perspective by critiquing CTAP and providing arguments in favor of the action-based alternative we endorse. Then, we demonstrate that the action-based framework allows for a fruitful analysis of pretense in terms of its context rather than (solely) mind-internal processes. This paper proposes that (1) thematic play-frames enable unusual manipulations with objects and words, and invite dynamic interactions between players who can discover new possibilities for action and communication, as well as that (2) pretense contexts understood generally as opposed to non-pretense contexts have selected features—specifically the adults’ approval of playing with cultural norms, the looseness of constraints, and the lack of particular goals leading to children’s positive feelings—that are genuinely conducive to play explorations. Finally, we discuss other contexts of possibilities, as well as the educational prospects of particular context-to-context transmissions. (shrink)

The decision to start the uprising rested chiefly with a few persons from the high command of the Home Army. Political authorities, including Kazimierz Pużak, PPS and the National Unity Council leader, had no influence on the Uprising outbreak and date decisions.Immediately after the uprising outbreak, the socialist movement joined the action, both in the civilian and military area, as did all socialist movement factions. A very important role was played by the well-developed and influential press, coming out in all (...) districts of liberated Warsaw. Socialist activists repeatedly appealed to the allied authorities for active aid for fighting Warsaw.In the city military socialist groups took active part in military operations in all Warsaw’s districts, and in particular in Śródmieście, Wola, Stare Miasto, Powiśle and Żoliborz. Similarly socialist activists took active part in organizing relief for civilian population. The socialist movement was the largest and the most influential political movement in the fighting Warsaw. In the face of insufficient aid from the allied states and the Soviet Army, Warsaw had to capitulate which was reported by socialist Robotnik in words full of sorrow and pathos on 4 October 1944. (shrink)

First published in 1986, Knowledge, Belief, and Witchcraft remains the only analysis of indigenous discourse about an African belief system undertaken from within the framework of Anglo-American analytical philosophy. Taking as its point of departure W. V. O. Quine's thesis about the indeterminacy of translation, the book investigates questions of Yoruba epistemology and of how knowledge is conceived in an oral culture.

This chapter first surveys general issues in the epistemic internalism / externalism debate: what is the distinction, what motivates it, and what arguments can be given on both sides. -/- The second part of the chapter will examine the internalism / externalism debate as regards to the specific case of the epistemology of memory belief.

The acquisition of a new skill usually proceeds through five stages, from novice to expert, with a sixth stage of mastery available for highly motivated performers. In this chapter, we re-state the six stages of the Dreyfus Skill Model, paying new attention to the transitions and interrelations between them. While discussing the fifth stage, expertise, we unpack the claim that, “when things are proceeding normally, experts don’t solve problems and don’t make decisions; they do what normally works” (Dreyfus & Dreyfus, (...) 1988, pp. 30 – 31). This leads us to offer an account of the “perspectival deliberation” that arises for experts and masters and that is distinct from the calculative deliberation characteristic of the lower stages of skillfulness. (shrink)

We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...) this question with either a 'yes' or a 'no'. 'No' is the preferred answer of most contemporary methodologists -- Murray Rothbard is one distinguished counterexample to this trend -- who maintain that empirical theories are completely free of non-empirical ('a priori') admixtures and who see science as a matter of the gathering of pure 'data' obtained through simple observation. From such data scientific propositions are then supposed to be somehow capable of being established. (shrink)

Is there a limit to the legitimate demands of morality? In particular, is there a limit to people's responsibility to promote the well-being of others, either directly or via social institutions? Utilitarianism admits no such limit, and is for that reason often said to be an unacceptably demanding moral and political view. In this original new study, Murphy argues that the charge of excessive demands amounts to little more than an affirmation of the status quo. The real problem with utilitarianism (...) is that it makes unfair demands on people who comply with it in our world of nonideal compliance. Murphy shows that this unfairness does not arise on a collective understanding of our responsibility for others' well being. Thus, according to Murphy, while there is no general problem to be raised about the extent of moral demands, there is a pressing need to acknowledge the collective nature of the demands of beneficence. (shrink)

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)

Om ironiens funktion i Søren Kierkegaards forfatterskab belyst ud fra Kierkegaards disputats om ironien.

Unit I. Fundamental characteristics of the common law. The source of law -- The jury -- The adversary system of trial -- Retroactivity: a return to stare decisis -- Unit II. The courts and their jurisdiction. Court systems in the United States -- Court system in England -- Unit III. Constitutional law. Judicial review -- Equal protection -- Freedom of speech -- Appendix I. Constitution of the United States -- Appendix II. Table of Supreme Court cases -- Appendix III. Common (...) case citations. (shrink)