65 research outputs found
Cognitive Robotics
This chapter is dedicated to the memory of Ray Reiter. It is also an overview of cognitive robotics, as we understand it to have been envisaged by him.1 Of course, nobody can control the use of a term or the direction of research. We apologize in advance to those who feel that other approaches to cognitive robotics and related problems are inadequately
represented here
10081 Abstracts Collection -- Cognitive Robotics
From 21.02. to 26.02.2010, the Dagstuhl Seminar 10081 ``Cognitive Robotics \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics.
During the seminar, several participants presented their current
research, and ongoing work and open problems were discussed. Abstracts of
the presentations given during the seminar as well as abstracts of
seminar results and ideas are put together in this paper. The first section
describes the seminar topics and goals in general.
Links to extended abstracts or full papers are provided, if available
A First-Order Logic of Probability and Only Knowing in Unbounded Domains
Only knowing captures the intuitive notion that the beliefs of an agent are precisely those that follow from its knowledge base. It has previously been shown to be useful in characterizing knowledge-based reasoners, especially in a quantified setting. While this allows us to reason about incomplete knowledge in the sense of not knowing whether a formula is true or not, there are many applications where one would like to reason about the degree of belief in a formula. In this work, we propose a new general first-order account of probability and only knowing that admits knowledge bases with incomplete and probabilistic specifications. Beliefs and non-beliefs are then shown to emerge as a direct logical consequence of the sentences of the knowledge base at a corresponding level of specificity
Удвоение памяти для набора программ в ЭВМ "Проминь"
In previous work, we proposed a modal fragment of the sit-uation calculus called ES, which fully captures Reiter’s ba-sic action theories. ES also has epistemic features, includ-ing only-knowing, which refers to all that an agent knows in the sense of having a knowledge base. While our model of only-knowing has appealing properties in the static case, it appears to be problematic when actions come into play. First of all, its utility seems to be restricted to an agent’s initial knowledge base. Second, while it has been shown that only-knowing correctly captures default inferences, this was only in the static case, and undesirable properties appear to arise in the presence of actions. In this paper, we remedy both of these shortcomings and propose a new dynamic semantics of only-knowing, which is closely related to Lin and Reiter’s notion of progression when actions are performed and where defaults behave properly
Beached bachelors: an extensive study on the largest recorded sperm whale <i>Physeter macrocephalus</i> mortality event in the North Sea
Between the 8th January and the 25th February 2016, the largest sperm whale Physeter macrocephalus mortality event ever recorded in the North Sea occurred with 30 sperm whales stranding in five countries within six weeks. All sperm whales were immature males. Groups were stratified by size, with the smaller animals stranding in the Netherlands, and the largest in England. The majority (n = 27) of the stranded animals were necropsied and/or sampled, allowing for an international and comprehensive investigation into this mortality event. The animals were in fair to good nutritional condition and, aside from the pathologies caused by stranding, did not exhibit significant evidence of disease or trauma. Infectious agents were found, including various parasite species, several bacterial and fungal pathogens and a novel alphaherpesvirus. In nine of the sperm whales a variety of marine litter was found. However, none of these findings were considered to have been the primary cause of the stranding event. Potential anthropogenic and environmental factors that may have caused the sperm whales to enter the North Sea were assessed. Once sperm whales enter the North Sea and head south, the water becomes progressively shallower (<40 m), making this region a global hotspot for sperm whale strandings. We conclude that the reasons for sperm whales to enter the southern North Sea are the result of complex interactions of extrinsic environmental factors. As such, these large mortality events seldom have a single ultimate cause and it is only through multidisciplinary, collaborative approaches that potentially multifactorial large-scale stranding events can be effectively investigated
Algorithmic iteration for computational intelligence
Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving well-specified tasks. We know this ability is already shown by current AIs, and understanding its limits is an essential step in qualifying claims about machine awareness and Super-AI. We propose a formal translation of algorithmic iteration in a fragment of modal logic, formulate principles of transparency and faithfulness across human and machine intelligence, and consider the relevance to theoretical research on (Super)-AI as well as the practical import of our results
Logics of knowledge and action: critical analysis and challenges
International audienceWe overview the most prominent logics of knowledge and action that were proposed and studied in the multiagent systems literature. We classify them according to these two dimensions, knowledge and action, and moreover introduce a distinction between individual knowledge and group knowledge, and between a nonstrategic an a strategic interpretation of action operators. For each of the logics in our classification we highlight problematic properties. They indicate weaknesses in the design of these logics and call into question their suitability to represent knowledge and reason about it. This leads to a list of research challenges
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Among the many approaches for reasoning about degrees of belief in the
presence of noisy sensing and acting, the logical account proposed by Bacchus,
Halpern, and Levesque is perhaps the most expressive. While their formalism is
quite general, it is restricted to fluents whose values are drawn from discrete
finite domains, as opposed to the continuous domains seen in many robotic
applications. In this work, we show how this limitation in that approach can be
lifted. By dealing seamlessly with both discrete distributions and continuous
densities within a rich theory of action, we provide a very general logical
specification of how belief should change after acting and sensing in complex
noisy domains.Comment: To appear in Artificial Intelligence 201
Harbor Porpoise Deaths Associated with Erysipelothrix rhusiopathiae, the Netherlands, 2021
In August 2021, a large-scale mortality event affected harbor porpoises (Phocoena phocoena) in the Netherlands. Pathology and ancillary testing of 22 animals indicated that the most likely cause of death was Erysipelothrix rhusiopathiae infection. This zoonotic agent poses a health hazard for cetaceans and possibly for persons handling cetacean carcasses
Beached bachelors: An extensive study on the largest recorded sperm whale Physeter macrocephalus mortality event in the North Sea
Between the 8th January and the 25th February 2016, the largest sperm whale Physeter macrocephalus mortality event ever recorded in the North Sea occurred with 30 sperm whales stranding in five countries within six weeks. All sperm whales were immature males. Groups were stratified by size, with the smaller animals stranding in the Netherlands, and the largest in England. The majority (n = 27) of the stranded animals were necropsied and/or sampled, allowing for an international and comprehensive investigation into this mortality event. The animals were in fair to good nutritional condition and, aside from the pathologies caused by stranding, did not exhibit significant evidence of disease or trauma. Infectious agents were found, including various parasite species, several bacterial and fungal pathogens and a novel alphaherpesvirus. In nine of the sperm whales a variety of marine litter was found. However, none of these findings were considered to have been the primary cause of the stranding event. Potential anthropogenic and environmental factors that may have caused the sperm whales to enter the North Sea were assessed. Once sperm whales enter the North Sea and head south, the water becomes progressively shallower (<40 m), making this region a global hotspot for sperm whale strandings. We conclude that the reasons for sperm whales to enter the southern North Sea are the result of complex interactions of extrinsic environmental factors. As such, these large mortality events seldom have a single ultimate cause and it is only through multidisciplinary, collaborative approaches that potentially multifactorial large-scale stranding events can be effectively investigated
- …