Logical Omnipotence and Two notions of Implicit Belief

The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical omnipotence, which highlights the normative content of the problem of logical omniscience. I introduce two developments of the notion of implicit belief (accessible and stable belief ) and use them in two versions of the most common strategy applied to the problem of logical omnipotence

Variable Oriole (Icterus pyrrhopterus) breeding in abandoned nests of Red-rumped Caciques (Cacicus haemorrhous) in Misiones, Argentina

Boyerito (Icterus pyrrhopterus) nidificando en nidos abandonados de Cacique Lomo Rojo (Cacicushaemorrhous) en Misiones, Argentina.Fil: Fraga, Rosendo Manuel. Provincia de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Universidad Autónoma de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción; Argentin

Ideal Reasoners don’t Believe in Zombies

The negative zombie argument concludes that physicalism is false from the premises that p ∧¬q is ideally negatively conceivable and that what is ideally negatively conceivable is possible, where p is the conjunction of the fundamental physical truths and laws and q is a phenomenal truth (Chalmers 2002; 2010). A sentence φ is ideally negatively conceivable iff φ is not ruled out a priori on ideal rational reflection. In this paper, I argue that the negative zombie argument is neither a priori nor conclusive. First, I argue that the premises of the argument are true only if there exists an adequate finite ideal reasoner R that believes ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis. Roughly, a finite reasoner is a reasoner with cognitive limitations (e.g. finite memory). I argue that R is finite only if R reasons nonmonotonically and only approach ideal reflection at the limit of a reasoning sequence. This would render the argument nonconclusive. Finally, I argue that, for some q, R does not believe ◊(p ∧ ¬q) on the basis of not believing p→q on a priori basis (e.g. for q =‘something is conscious’). This would render the choice of an adequate q dependent on empirical information (and the argument a posteriori). I conclude that the negative zombie argument (and, maybe, all zombie arguments) is neither a priori nor conclusive

QCD under extreme conditions: an informal discussion

We present an informal discussion of some aspects of strong interactions under extreme conditions of temperature and density at an elementary level. This summarizes lectures delivered at the 2013 CERN -- Latin-American School of High-Energy Physics and is aimed at students working in experimental high-energy physics.Comment: 11 pages, 6 figures, based on lectures at the 2013 CERN -- Latin-American School of High-Energy Physics, Arequipa, Peru, submitted for publication in a CERN Yellow Repor

A substitute name for Turdus serranus unicolor Olrog & Contino

Fil: Fraga, Rosendo Manuel. Provincia de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Universidad Autónoma de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción; ArgentinaFil: Dickinson; E.. Bolsover Court; Reino Unid

Heuristic Approaches for Goal Recognition in Incomplete Domain Models

Recent approaches to goal recognition have progressively relaxed the assumptions about the amount and correctness of domain knowledge and available observations, yielding accurate and efficient algorithms. These approaches, however, assume completeness and correctness of the domain theory against which their algorithms match observations: this is too strong for most real-world domains. In this paper, we develop goal recognition techniques that are capable of recognizing goals using \textit{incomplete} (and possibly incorrect) domain theories. We show the efficiency and accuracy of our approaches empirically against a large dataset of goal and plan recognition problems with incomplete domains

Finite-Size Effects on Nucleation in a First-Order Phase Transition

We discuss finite-size effects on homogeneous nucleation in first-order phase transitions. We study their implications for cosmological phase transitions and to the hadronization of a quark-gluon plasma generated in high-energy heavy ion collisions. Very general arguments allow us to show that the finite size of the early universe has virtually no relevance in the process of nucleation and in the growth of cosmological bubbles during the primordial quark-hadron and the electroweak phase transitions. In the case of high-energy heavy ion collisions, finite-size effects play an important role in the late-stage growth of hadronic bubbles.Comment: 6 pages, no figures, 1 reference adde

Notas sobre la historia natural de las oropéndolas Psarocolius yuracares y P. Angustifrons Alfredi en la provincia Chapare, Cochabamba, Bolivia

Se aportan datos de historia natural para dos oropéndolas o tojos (Psarocolius yuracares y P. angustifrons alfredi) poco estudiadas de la provincia Chapare, Departamento Cochabamba, Bolivia. P. yuracares resultó ser la más escasa, y se la encontró, generalmente desplazándose en bandadas monoespecíficas, hasta los 900 m s.n.m. Se encontraron tres colonias de nidificación, dos pequeñas de 5-6 nidos en palmas Socratea en la selva (Agosto y Noviembre), y una colonia mayor (Octubre), cerca de plantaciones, con más de 30 nidos activos en un gran árbol leguminoso de unos 35 m. Esta fue un colonia mixta con nidos de otra oropéndola (P. decumanus). Los nidos de P. yuracares, más cilíndricos y de tejido más tosco que los de P. decumanus, estaban agrupados en dos núcleos (clusters), cada uno con un macho que cantaba y efectuaba despliegues, los cuales no colaboraban ni con la construcción ni con la alimentación de pichones, pero sí en alejar al Tordo Gigante (Molothrus oryzivorus). P. angustifrons alfredi resultó la oropéndola más abundante del Chapare, y se encontró en abundancia en plantaciones, pueblos y aldeas, donde nidifica a partir de Julio. No encontramos sus nidos arriba de los 700 m s.n.m. De 15 colonias, nueve fueron construidas en la palma tembe (Bactris gasipaes), nativa y cultivada en el Chapare. Las colonias nunca excedieron los 14 nidos, dando un promedio de 6,7 nidos simultáneamente activos por colonia. Los nidos, de tejido tosco, estaban bien espaciados y nunca encimados. Esta oropéndola expulsó agresivamente de sus colonias a Psarocolius yuracares y al Tojito (Cacicus cela). Se observaron desde uno a cuatro machos en las colonias, en un caso dos de éstos alternando en despliegues y cantos. Sólo las hembras efectuaron todas las actividades de nidificación. Pichones dependientes se observaron junto con hembras hasta el comienzo de la temporada de cría siguiente. No se detectó parasitismo por el Tordo Gigante.-We present natural history data for the little-known Olive (Psarocolius yuracares) and Yellowbilled (P. angustifrons alfredi) oropendolas from Chapare Province, Cochabamba department, Bolivia. The Olive was the scarcest oropendola, usually traveling in monospecific flocks up to 900 m a.s.l. We found only three nesting colonies, two with 5–6 nests in Socratea palms in dense forest (August and November), and one with about 30 active nests (October), close to plantations, in an emergent, 35-m high legume tree. This last colony was mixed, having active nests of Crested Oropendolas (P. decumanus). Nests of Olive Oropendolas were located in two separate, dense clusters, and were more cylindrical and coarsely woven than those of Crested Oropendolas. One singing and displaying male was present at each cluster, which did not participate in nesting activities, but helped to expel Giant Cowbirds (Molothrus oryzivorus) from the colony. The Yellow-billed was the most abundant oropendola in the Chapare, visiting and nesting in plantations, villages and towns, from July onwards. No nests were observed above 700 m a.s.l. Nine of 15 colonies were built in peach palms (Bactris gasipaes), a native species cultivated in Chapare. Colonies did not exceed 14 nests, and had a mean of 6.7 simultaneously active nests. Nests were coarsely woven, well spaced and never clustered. This oropendola agressively expelled Olive Oropendolas and Yellow-rumped Caciques (Cacicus cela) from their nesting trees. One to four males visited the colonies and, in one case, two males alternated in songs and displays. All nesting activities were carried out by females. Dependent chicks may remain with females up to the start of the following breeding season. We did not detect parasitism by Giant Cowbirds on this speciesFil: Fraga, Rosendo Manuel. Provincia de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Universidad Autónoma de Entre Ríos. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Centro de Investigaciones Científicas y Transferencia de Tecnología a la Producción; ArgentinaFil: Kreft, Stefan. University of Applied Sciences Eberswalde; Alemani

Landmark-Based Plan Recognition

Recognition of goals and plans using incomplete evidence from action execution can be done efficiently by using planning techniques. In many applications it is important to recognize goals and plans not only accurately, but also quickly. In this paper, we develop a heuristic approach for recognizing plans based on planning techniques that rely on ordering constraints to filter candidate goals from observations. These ordering constraints are called landmarks in the planning literature, which are facts or actions that cannot be avoided to achieve a goal. We show the applicability of planning landmarks in two settings: first, we use it directly to develop a heuristic-based plan recognition approach; second, we refine an existing planning-based plan recognition approach by pre-filtering its candidate goals. Our empirical evaluation shows that our approach is not only substantially more accurate than the state-of-the-art in all available datasets, it is also an order of magnitude faster.Comment: Accepted as short paper in the 22nd European Conference on Artificial Intelligence, ECAI 201