The paper is devoted to applications of algebraic logic to databases. In databases a query is represented by a formula of first order logic. The same query can be associated with different formulas. Thus, a query is a class of equivalent formulae: equivalence here being similar to that in the transition to the Lindenbaum-Tarski algebra. An algebra of queries is identified with the corresponding algebra of logic. An algebra of replies to the queries is also associated with algebraic logic. These (...) relations lie at the core of the applications.In this paper it is shown how the theory of Halmos (polyadic) algebras (a notion introduced by Halmos as a tool in the algebraization of the first order predicate calculus) is used to create the algebraic model of a relational data base. The model allows us, in particular, to solve the problem of databases equivalence as well as develop a formal algebraic definition of a database's state description. In this paper we use the term "state description" for the logical description of the model. This description is based on the notion of filters in Halmos algebras. When speaking of a state description, we mean the description of a function which realizes the symbols of relations as real relations in the given system of data. (shrink)

Syntactical treatments of propositional attitudes are attractive to artificial intelligence researchers. But results of Montague (1974) and Thomason (1980) seem to show that syntactical treatments are not viable. They show that if representation languages are sufficiently expressive, then axiom schemes characterizing knowledge and belief give rise to paradox. Des Rivières and Levesque (1988) characterize a class of sentences within which these schemes can safely be instantiated. These sentences do not quantify over the propositional objects of knowledge and belief. We argue (...) that their solution is incomplete, and extend it by characterizing a more inclusive class of sentences over which the axiom schemes can safely range. Our sentences do quantify over propositional objects. (shrink)

We address the issue of manipulating games through communication. In the specific setting we consider (a variation of Boolean games), we assume there is some set of environment variables, the values of which are not directly accessible to players; the players have their own beliefs about these variables, and make decisions about what actions to perform based on these beliefs. The communication we consider takes the form of (truthful) announcements about the values of some environment variables; the effect of an (...) announcement is the modification of the beliefs of the players who hear the announcement so that they accurately reflect the values of the announced variables. By choosing announcements appropriately, it is possible to perturb the game away from certain outcomes and towards others. We specifically focus on the issue of stabilisation: making announcements that transform a game from having no stable states to one that has stable configurations. (shrink)

The process of rationally revising beliefs in the light of new information is a topic of great importance and long-standing interest in artificial intelligence. Moreover, significant progress has been made in understanding the philosophical, logical, and computational foundations of belief revision. However, very little research has been reported with respect to the revision of other mental states, most notably propositional attitudes such as desires and intentions. In this paper, we present a first attempt to formulate a general framework for understanding (...) the revision of mental states. We develop an abstract belief-desire-intention model of agents, and introduce a notion of rationality for this model. We then present a series of formal postulates characterizing the processes of adding beliefs, desires, and intentions, updating costs and values, and removing beliefs, desires, and intentions. We also investigate the computational complexity of several problems involving the abstract model and comment on algorithms for revision. (shrink)

Creating agents that proficiently interact with people is critical for many applications. Towards creating these agents, models are needed that effectively predict people's decisions in a variety of problems. To date, two approaches have been suggested to generally describe people's decision behavior. One approach creates a-priori predictions about people's behavior, either based on theoretical rational behavior or based on psychological models, including bounded rationality. A second type of approach focuses on creating models based exclusively on observations of people's behavior. At (...) the forefront of these types of methods are various machine learning algorithms. This paper explores how these two approaches can be compared and combined in different types of domains. In relatively simple domains, both psychological models and machine learning yield clear prediction models with nearly identical results. In more complex domains, the exact action predicted by psychological models is not even clear, and machine learning models are even less accurate. Nonetheless, we present a novel approach of creating hybrid methods that incorporate features from psychological models in conjunction with machine learning in order to create significantly improved models for predicting people's decisions. To demonstrate these claims, we present an overview of previous and new results, taken from representative domains ranging from a relatively simple optimization problem and complex domains such as negotiation and coordination without communication. (shrink)

This volume brings together contributions from distinguished scholars in the history of philosophy, focusing on points of interaction between discrete historical contexts, religions, and cultures found within the premodern period. The contributions connect thinkers from antiquity through the Middle Ages and include philosophers from the three major monotheistic faiths-Judaism, Islam, and Christianity. By emphasizing premodern philosophy's shared textual roots in antiquity, particularly the writings of Plato and Aristotle, the volume highlights points of cross-pollination between different schools, cultures, and moments in (...) premodern thought. Approaching the complex history of the premodern world in an accessible way, the editors organize the volume so as to underscore the difficulties the premodern period poses for scholars, while accentuating the fascinating interplay between the Greek, Hebrew, Arabic, and Latin philosophical traditions. The contributors cover many topics ranging from the aims of Aristotle's cosmos, the adoption of Aristotle's Organon by al-Farabi, and the origins of the Plotiniana Arabica to the role of Ibn Gabirol's Fons vitae in the Latin West, the ways in which Islamic philosophy shaped thirteenth-century Latin conceptions of light, Roger Bacon's adaptation of Avicenna for use in his moral philosophy, and beyond. The volume's focus on "source-based contextualism" demonstrates an appreciation for the rich diversity of thought found in the premodern period, while revealing methodological challenges raised by the historical study of premodern philosophy. Contextualizing Premodern Philosophy: Explorations of the Greek, Hebrew, Arabic, and Latin Traditions is a stimulating resource for scholars and advanced students working in the history of premodern philosophy. (shrink)

The case for an eco-emancipatory politics to release the Earth from human domination and free us all from lives that are both exploitative and exploited Human domination of nature shapes every aspect of our lives today, even as it remains virtually invisible to us. Because human beings are a part of nature, the human domination of nature circles back to confine and exploit people as well—and not only the poor and marginalized but also the privileged and affluent, even in the (...) world’s most prosperous societies. Although modern democracy establishes constraints intended to protect people from domination as the arbitrary exercise of power, it offers few such protections for nonhuman parts of nature. The result is that, wherever we fall in human hierarchies, we inevitably find ourselves both complicit in and entrapped by a system that makes sustainable living all but impossible. It confines and exploits not only nature but people too, albeit in different ways. In Eco-Emancipation, Sharon Krause argues that we can find our way to a better, freer life by constraining the use of human power in relation to nature and promoting nature’s well-being alongside our own, thereby releasing the Earth from human domination and freeing us from a way of life that is both exploitative and exploited, complicit and entrapped. Eco-emancipation calls for new, more-than-human political communities that incorporate nonhuman parts of nature through institutions of representation and regimes of rights, combining these new institutional arrangements with political activism, a public ethos of respect for nature, and a culture of eco-responsibility. (shrink)