The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...) the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes. (shrink)

In this review of Persons and Things, recently translated into English and published by Polity Press, we discuss how this text investigates some of the most important themes of Roberto Esposito’s thought. Specifically, the book continues the process of constructing an idea of community intended as lack, gift and impropriety that the Italian philosopher has been developing since the publication of Communitas. In this case, it is the notion of body that demolishes the metaphysical apparatus that has conditioned the moulding (...) of the philosophical-legal lexicon of the Western tradition. Doomed to constant submission to the rational sphere of the person, hence assimilated to the materiality of a mere thing, the body can win back its full dignity if it is considered as a ‘living body’. Only in this way, according to Esposito, is it possible to move past the ‘proprietary’ and subjectivistic notion that, in philosophy as well as in law, has determined a clear-cut separation between persons and things, as well as between ‘superior’ and ‘inferior’ persons. Thus, in Persons and Things, the body becomes an actual vector for a trans-individualization of the individual, for an opening to the common, public, and communitarian dimension. According to Esposito, this process is favoured by the changes brought about by biotechnologies and science in general, not only in medical practices, but also in the legal formulations that follow from them. (shrink)

The purpose of this paper is to show how the interaction between Kantian ethics and some aspects of Heideggerian philosophy can lead to the model of a subject in immediate relationship with others and with his or her community. The positions of Jean-Luc Nancy and Jacques Derrida on this question are presented in contrast with those of Alain Renaut and Emmanuel Lévinas to elucidate their differing ways of interpreting the relationship between Kant and Heidegger with regard to ethics, apriorism, and (...) subjectivity. (shrink)

Most human thinking is thoroughly informed by context but, until recently, theories of reasoning have concentrated on abstract rules and generalities that make no reference to this crucial factor. _Perspectives on Contexts_ brings together essays from leading cognitive scientists to forge a vigorous interdisciplinary understanding of the contextual phenomenon. Applicable to human and machine cognition in philosophy, artificial intelligence, and psychology, this volume is essential to the current renaissance in thinking about context.

In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...) theoretical perspective. We provide a very general definition of ML systems, which covers allthe ML systems used in the literature, and we develop a proof theoryfor an important subclass of them: the MR systems. We prove variousimportant results; among other things, we prove a normal form theorem,the sub-formula property, and the decidability of an importantinstance of the class of the MR systems. The paper concludes with a detailed comparison among the alternativeapproaches. (shrink)