Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, (...) deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in general. The 12 contributions, many written especially for this book, explore the foundations, language design issues, and applications of meta-programming in logic programming. Meta-programming—the process of writing computer programs that can manipulate representations of other programs—has been key both in the foundations of computer science and in its practical (...) developments. Examples of meta-programs include compilers, interpreters, program analyzers, and partial evaluators. The choice of logic programming as a basis for meta-programming offers several practical and theoretical advantages: among them, the possibility of tackling critical foundational problems of meta-programming within a strong theoretical framework, and the surprising ease of programming. The usual framework of logic programming (and more generally first-order logic), however, has to be modified and extended to formally deal with meta-programs, extensions the editors call "meta-logics." Along with an exploration of meta-programming in logic programming, the definitions, formal properties, and use of these extensions constitute one of the book's main themes. The first part of the book, Foundations, focuses on the representation problem—how object programs are represented within meta-programs. The second part, Language Support for Meta-Logics, is concerned with language extensions that make meta-programming easier and more elegant. The third part, Meta-Logics for Knowledge Management, deals with the use of meta-logic for advanced knowledge representation purposes. Logic Programming series. (shrink)

This volume is a collection of papers presented at the colloquium, and it testifies to the growing importance of game theory as a tool that can capture concepts ...

Weakly acyclic games form a natural generalization of the class of games that have the finite improvement property. In such games one stipulates that from any initial joint strategy some finite improvement path exists. We classify weakly acyclic games using the concept of a scheduler introduced in Simon and Apt. We also show that finite games that can be solved by the iterated elimination of never best response strategies are weakly acyclic. Finally, we explain how the schedulers allow us to (...) improve the bounds on finding a Nash equilibrium in a weakly acyclic game. (shrink)

We show that various paradoxes can arise in a natural class of social networks. They demonstrate that more services or products may have adverse consequences for all members of the network and conversely that restricting the number of choices may be beneficial for every member of the network. These phenomena have been confirmed by a number of empirical studies. In our analysis we use a simple threshold model of social networks introduced in Apt and Markakis, and more fully in Apt (...) and Markakis. In this model the agents, influenced by their neighbours, can adopt one out of several alternatives. We identify and analyze here four types of paradoxes that can arise in these networks. These paradoxes shed light on possible inefficiencies arising when one modifies the sets of products available to the agents forming a social network or the network structure. One of the paradoxes corresponds to the well-known Braess paradox in congestion games and shows that by adding more choices to a node, the network may end up in a situation that is worse for everybody. We exhibit a dual version of this, according to which removing a product available to an agent can eventually make everybody better off. The other paradoxes that we identify show that by adding or removing a product from the choice set of an agent may lead to permanent instability. Finally, we also identify conditions under which some of these paradoxes cannot arise. (shrink)

Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, which was held from June 30 to July (...) 2, 2003. The venue chosen for the seventh edition of this annual workshop was the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary. This institute is one of the 20 members of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics. For many participants this workshop provided the?rst opportunity to visit their ERCIM partner in Budapest. CoLogNET is the European-funded network of excellence dedicated to s- porting and enhancing cooperation and research on all areas of computational logic, and continues the work done previously by the Compulog Net. In part- ular, the aim of the logic and constraint logic programming area of CoLogNET is to foster and support all research activities related to logic programming and constraint logic programming. The editors would like to take the opportunity and thank all the authors who submitted papers to this volume, as well as the reviewers for their helpful work. (shrink)

The organ donation and transplantation (ODT) system heavily relies on the willingness of individuals to donate their organs. While it is widely believed that public trust plays a crucial role in shaping donation rates, the empirical support for this assumption remains limited. In order to bridge this knowledge gap, this article takes a foundational approach by elucidating the concept of trust within the context of ODT. By examining the stakeholders involved, identifying influential factors, and mapping the intricate trust relationships among (...) trustors, trustees, and objects of trust, we aim to provide a comprehensive understanding of trust dynamics in ODT. We employ maps and graphs to illustrate the functioning of these trust relationships, enabling a visual representation of the complex interactions within the ODT system. Through this conceptual groundwork, we pave the way for future empirical research to investigate the link between trust and organ donation rates, informed by a clarified understanding of trust in ODT. This study can also provide valuable insights to inform interventions and policies aimed at enhancing organ donation rates. (shrink)

Proceedings of a conference held June 26-30, 2007 at Opole University, Poland. -/- This volume explores the three normative sciences that Peirce distinguished (aesthetics, ethics, and logic) and their relation to phenomenology and metaphysics. The essays approach this topic from a variety of angles, ranging from questions concerning the normativity of logic to an application of Peirce’s semiotics to John Coltrane’s “A Love Supreme.”.

The article concentrates on answering the main question to be addressed, as stated in its title: which psychology serves us best? In order to achieve this goal, we pursue possible answers in history of psychology of religion and its interdisciplinary relationships with its sister disciplines, anthropology of religion and religious studies, resulting with sketching a typology of the main attitudes towards conceptualising psycho-cultural interface, prevalent among psychologists: the Universalist, the Absolutist and the Relativist stances. Next chosen examples from the field (...) of applied psychology are presented, as the role of the cultural factor within the history of Diagnostic and Statistical Manual of Mental Disorders’ development is discussed alongside presenting research on the phenomenon of ‘hearing voices’, in order to show the marked way for the future – the importance of including the cultural factor in psychological research on religion. (shrink)

IntroductionThe rapid development of technology has led to the transfer of entertainment to the virtual world. Many games and multimedia applications use the so-called augmented reality. With the development of a new technological branch, a new health problem has emerged, which is infoholic addiction, attracting people with the specific functionality that is cyberspace and the virtual world.ObjectiveThe study aimed to assess health behaviors and the risk of addiction among users of urban multimedia games. Research methodology. The study was conducted among (...) players 1,134 of urban multimedia games—Pokemon GO, in the period March–June 2021. A 990 correctly completed questionnaires were included in the final analyses. The author’s questionnaire was used in the study, which included two standardized measurement scales in the Polish abbreviated version: a questionnaire of emotions and sensations associated with electronic entertainment and a questionnaire on addiction to electronic forms of entertainment. Statistica 13.0 program was used for statistical processing of the data. The probability level was p < 0.05.ResultsThe profile of the gamer was identified as male, aged 18–30 years, with secondary education, not in a relationship, living in a city of more than 100 thousand inhabitants—60.1% of gamers met these criteria. Respondents played urban multimedia games daily. About 26.3% of respondents played this type of game 2–3 h a day. In terms of physical fitness, 64.3% of respondents felt that physical fitness had improved as a result of playing multimedia urban games. In terms of mental condition, most of the respondents said that nothing had changed. It was observed that 72.3% of respondents had some risk of addiction to urban multimedia games.ConclusionUsers of urban multimedia games were usually adult men living in big cities. It was also shown that the defined profile of the player was characterized by a higher risk of addiction to electronic forms of entertainment. It was observed that the respondents most often played urban multimedia games every day in a maximum of two-hour sessions. Based on the tools used, it can be concluded that the study group was characterized by a certain risk of addiction to urban multimedia games. (shrink)

The cross-cultural differences in epistemic intuitions reported by Weinberg, Nichols and Stich (2001; hereafter: WNS) laid the ground for the negative program of experimental philosophy. However, most of WNS’s findings were not corroborated in further studies. The exception here is the study concerning purported differences between Westerners and Indians in knowledge ascriptions concerning the Zebra Case, which was never properly replicated. Our study replicates the above-mentioned experiment on a considerably larger sample of Westerners (n = 211) and Indians (n = (...) 204). The analysis found a significant difference between the ethnic groups in question in the predicted direction: Indians were more likely to attribute knowledge in the Zebra Case than Westerners. In this paper, we offer an explanation of our result that takes into account the fact that replications of WNS’s other experiments did not find any cross-cultural differences. We argue that the Zebra Case is unique among the vignettes tested by WNS since it should not be regarded as a Gettier case but rather as a scenario exhibiting skeptical pressure concerning the reliability of sense-perception. We argue that skepticism towards perception as a means of gaining knowledge is a trope that is deeply rooted in Western epistemology but is very much absent from Classical Indian philosophical inquiry. This line of reasoning is based on a thorough examination of the skeptical scenarios discussed by philosophers of the Indian Nyaya tradition and their adversaries. (shrink)

This book offers an original approach to avant-garde art and its transformative force. Presenting an alternative to the approaches to art developed in postmodern theory or cultural studies, Ziarek sees art's significance in its critique of power and the increasing technologization of social relations. Re-examining avant-garde art and literature, from Italian and Russian Futurism and Dadaism, to Language poetry, video and projection art, as well as transgenic and Internet art, this book argues that art's importance today cannot be explained simply (...) in aesthetic or cultural terms but has to take into consideration how artworks question the technological character of modern power. To emphasize the transformative character of art, the book redefines art as a force field, in which forces drawn from historical and social reality come be to formed into an alternative relationality. Through discussions of such key avant-garde figures as Marinetti, Duchamp, Khlebnikov, and Vertov, and innovative contemporary artists like Viola, Wodiczko and Kac, The Force of Art counters the pessimism about art's social function by recovering and redefining art's transformative role in modernity. (shrink)

In the contemporary philosophy of mathematics there is an ongoing discussion concerning the issue of the justification of mathematical axioms and independent sentences. The works of P. Maddy in which the author focuses on the set theory are extensive studies devoted to that problem. In one of the monographs she deals with the problem of the justification of set theory's sentences in a new way, assuming a different metaphilosophical standpoint. In the paper (which is the first part of the two-part (...) whole) Maddy's conception is faithfully presented. The author makes no comments of his own, except for the first - introductory - chapter and footnotes, in which some additional explanations and comments can be found. (shrink)

This article argues against the concept of integration as the main mechanism allowing various sociocultural groups to live together and instead proposes ‘radical inclusivity’ as a better, less oppressive model of a pluralistic society. Through analytical and reflective research on the non-cohesion-based approach to integration or inclusion, this article is devoted to examining the affordances and limitations of integration through various forms of spatial interventions. As an example, we will discuss the Ellesmere Green Project in Sheffield (UK) as a typical (...) small urban regeneration executed in a highly diverse part of Sheffield. This piece aims to bring forward the significance of moving beyond the community-as-cohesion model in urban politics and planning for integration. (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside of (...) philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

Hobson & Friston (2014) outline a synthesis of Hobson's work on dreaming and consciousness with Friston’s work on the free energy principle and predictive coding. Whilst we are sympathetic with their claims about the function of dreaming and its relationship to consciousness, we argue that their endorsement of the Cartesian theatre metaphor is neither necessary nor desirable. Furthermore, if it were necessary then this endorsement would undermine their positive claims, as the Cartesian theatre metaphor is widely regarded as unsustainable. We (...) demonstrate this point and then develop an alternative formulation of their position that does not require the Cartesian theatre metaphor. Our positive goal is to clarify Hobson & Friston’s confusing usage of philosophical terminology, replacing it where possible with the more transparent language of the forward models framework. This will require some modifications to their account, which as it stands is philosophically and empirically unsustainable. (shrink)

Sixteen years ago, Prahalad and Hart introduced the possibility of both profitably serving the poor and alleviating poverty. This first iteration of the Bottom/Base of the Pyramid approach focused on selling to the poor. In 2008, after ethical criticisms leveled at it, the field moved to BoP 2.0, instead emphasizing business co-venturing. Since 2015, we have witnessed some calls for a new iteration, with the focus broadening to a more sustainable development approach to poverty alleviation. In this paper, we seek (...) to answer the question: How has the BoP approach evolved over the past 16 years, and has it delivered on its early promise? We conducted a systematic review of 276 papers published in journals in this period, utilizing a rigorous correspondence analysis method to map key trends, and then further examined the 22 empirical studies conducted on the BoP approach. Our results suggest that the field has evolved, passing through a number of trends and coming full circle—with our analysis pointing to more recent BoP literature emphasizing similar themes to those espoused in the initial BoP iteration, rather than reflecting the principles espoused in either BoP 2.0 or BoP 3.0. Our analysis also points to a lack of clear evidence that the BoP concept has delivered on its promise either to businesses or to BoP participants. (shrink)

The subject of this article is the problem of animal consciousness. Our folk interpretations and explanations of animal behaviour appeal to conscious mental states like e.g. fear or anger. Scholars, however, do not agree as to whether animals do in fact have conscious mental states similar to humans. According to Shettleworth, one may distinguish three positions in relation to this problem: radical opponents of the concept of animal consciousness who claim that animal are not conscious in any interesting sense; sceptics (...) who believe that some species probably do have consciousness yet it cannot be subject to scientific investigations due to subjective nature of conscious mental states; cognitive ethologists who believe that most species are potentially conscious and the central task for behavioural biologists is the investigation of the nature of their consciousness ; cognitive ethologists argue that their claims are supported by four arguments connected with gradual evolution; flexible and complex behaviour; animal communication, and neurophysiological similarity. These arguments have to face strong philosophical counter-arguments, especially the one from multiple realizability and the zombie hypothesis. In response, a new methodological approach is proposed to avoid these difficulties. It is based on Morgan’s Canon, interpreted here as a kind of zoo-psychological Ockham’s razor. Key words ANIMAL, CONSCIOUSNESS, SHETTLEWORTH. (shrink)

We will prove that there exists a model of ZFC+"c = ω 2 " in which every $M \subseteq \mathbb{R}$ of cardinality less than continuum c is meager, and such that for every $X \subseteq \mathbb{R}$ of cardinality c there exists a continuous function f: R → R with f[X] = [0, 1]. In particular in this model there is no magic set, i.e., a set $M \subseteq \mathbb{R}$ such that the equation f[M] = g[M] implies f = g for (...) every continuous nowhere constant functions f, g: R → R. (shrink)

The aim of this paper is to argue against the claim that the term “belief”, as it functions in philosophical psychology, has natural-kind term semantics; this thesis is central to the famous Lycan–Stich argument against eliminative materialism. I will argue that the current debate concerning the discrepancy between the professed opinions and actions, especially the debate concerning the idea of aliefs, shows that the concept of belief is plastic and amenable to conceptual engineering. The plasticity and amenability to conceptual engineering (...) of the concept of belief give us, in turn, a reason to doubt that “belief” functions in a way that is presupposed in the Lycan–Stich argument. Finally, I point to an alternative to both eliminativism and the natural kind view, namely the idea that we should treat belief as a human kind. (shrink)

Porter and Kramer :78–92, 2006; Harv Bus Rev 89, 62–77, 2011) introduced ‘shared value’ as a ‘new conception of capitalism,’ claiming it is a powerful driver of economic growth and reconciliation between business and society. The idea has generated strong interest in business and academia; however, its theoretical precepts have not been rigorously assessed. In this paper, we provide a systematic and thorough analysis of shared value, focusing on its ontological and epistemological properties. Our review highlights that ‘shared value’ has (...) spread into the language of multiple disciplines, but that its current conceptualization is vague, and it presents important discrepancies in the way it is defined and operationalized, such that it is more of a buzzword than a substantive concept. It also overlaps with many other concepts and lacks empirical grounding. We offer recommendations for defining and measuring the concept, take a step toward disentangling it from related concepts, and identify relevant theories and research methods that would facilitate extending the knowledge frontier on shared value. (shrink)

Several authors have investigated the question of whether canonical logic-based accounts of belief revision, and especially the theory of AGM revision operators, are compatible with the dynamics of Bayesian conditioning. Here we show that Leitgeb's stability rule for acceptance, which has been offered as a possible solution to the Lottery paradox, allows to bridge AGM revision and Bayesian update: using the stability rule, we prove that AGM revision operators emerge from Bayesian conditioning by an application of the principle of maximum (...) entropy. In situations of information loss, or whenever the agent relies on a qualitative description of her information state - such as a plausibility ranking over hypotheses, or a belief set - the dynamics of AGM belief revision are compatible with Bayesian conditioning; indeed, through the maximum entropy principle, conditioning naturally generated AGM revision operators. This mitigates an impossibility theorem of Lin and Kelly for tracking Bayesian conditioning with AGM revision, and suggests an approach to the compatibility problem that highlights the information loss incurred by acceptance rules in passing from probabilistic to qualitative representations of beliefs. (shrink)