Coordinated Pitch Observation for a Humanoid Robot Soccer Team

Abstract—While the quality of matches between the teams in the RoboCup Standard Platform League has increased a lot, there are still certain situations that prevent the game from progressing. One of the most severe ones is when a team loses track of the ball, because it cannot score goals or prevent the opponent team from scoring goals without knowing where the ball is. In this paper a method is presented to quickly find the ball again by searching the least-recently observed parts of the pitch. A consistent model shared by all robots of the team to identify these parts of the field is explained, as well as the procedure to coordinate the observation among the teammates, such that a varying number of robots can participate in the process. I

A Complete and Recursive Feature Theory

Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions considered in this paper are the possibly quantified first-order formulae obtained from a signature of binary and unary predicates called features and sorts, respectively. We establish a first-order theory FT by means of three axiom schemes, show its completeness, and construct three elementarily equivalent models. One of the models consists of so-called feature graphs, a data structure common in computational linguistics. The other two models consist of so-called feature trees, a record-like data structure generalizing the trees corresponding to first-order terms. Our completeness proof exhibits a terminating simplification system deciding validity and satisfiability of possibly quantified feature descriptions.Comment: Short version appeared in the 1992 Annual Meeting of the Association for Computational Linguistic

Philosophical logics - a survey and a bibliography

Intensional logics attract the attention of researchers from differing academic backgrounds and various scientific interests. My aim is to sketch the philosophical background of atlethic, epistemic, doxastic and deontic logics, their formal and metaphysical presumptions and their various problems and paradoxes, without attempting formal rigor. A bibliography, concise on philosophical writings, is meant to allow the reader's access to the maze of literature in the field. (orig.)SIGLEAvailable from TIB Hannover: RR 1812(94-17) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekBundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)DEGerman