We encountered the need for a theory of forgetting in our work on Cognitive Robotics. 1 In our effort to control an autonomous robot, we imagine the robot has a knowledge base representing the initial world state. As the robot performs actions, she needs to bring the knowledge base up to date. To do so, she needs to forget about all the facts that are no longer true, and in such a way that this...

The aim of this retrospective study is to describe changes of seizure frequency in epilepsy patients who participated in the Andrews/Reiter behavioral intervention for epilepsy. For this uncontrolled retrospective study, data were extracted from patients' medical journals. Intention-to-treat-analyses were restricted to patients with sufficient documentation supporting a diagnosis of probable or...

In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an infinite sequence of theories that represents such a process a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by R...

This paper deals with the generation of deenite (i.e., uniquely referring) descriptions containing semantically vague expressions (`large', `small', etc.). Firstly, the paper proposes a semantic analysis of vague descriptions that does justice to the context-dependent meaning of the vague expressions in them. Secondly, the paper shows how this semantic analysis can be implemented using a modiic...

We explore the situation calculus within the framework of inductive deenability. A consequence of this view of the situation calculus is to establish direct connections with diierent variants of the-First we show that the induction principle on situations Reiter, 1993] is implied by an inductive deenition of the set of situations. Then we consider the frame problem from the point of view of ind...

Treponema pallidum (Nichols) was extracted from infected rabbit tissue, and cell lysates were prepared for monitoring thymidine kinase and deoxyribonucleic acid polymerase activities. No thymidine kinase could be demonstrated in preparations of T. pallidum or the cultivable T. phagedenis biotype Reiter. Significant levels of deoxyribonucleic acid polymerase were detected in both treponemal samp...

The paper de nes concepts of real wealth and saving which take into account the intertemporal index number problem that results from changing interest rates. Unlike conventional measures of real wealth, which are based on the market value of assets and ignore the index number problem, the new measure correctly re ects the changes in the welfare of households over time. An empirically operationa...

In this paper, we analyze the formalism proposed by Yagerr6] to represent default knowledge in the framework of possibility theory. Three diierent application schemes are examined. The results produced by these application schemes are compared with those by Reiter's default logic. It is shown that for a restricted class of default theories, there is some kinds of correspondence between Yager's ...

At the end of the 19 century several French scholars noted that a remarkable change was taking place in the population of their country. The number of children per family declined, clearly as the result of deliberate efforts to reduce fertility within marriage. It was soon understood that the voluntary limitation of marital fertility was a revolutionary novelty and the term ‘demographic revolut...