This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, including hypothesis testing and the estimation of a populations mean, variance and proportions. The logic replaces classical defaults with ordered pairs consisting of a Reiter default in the first coord...

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 innnite 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 Re...

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...

1 HE RATIONALE of making an investigation of the effect of hypnosis on intraocular pressure rests firstly on a recognition that hypnosis is capable of exerting a profound influence on various somatic fields of function. The ability to produce alterations of motor function such as paralysis and catalepsy, and alterations of sensory functions such as anesthesias, hysterical blindness, and deafnes...

Lars B. Holst, M.D., Nicolai Haase, M.D., Ph.D., Jørn Wetterslev, M.D., Ph.D., Jan Wernerman, M.D., Ph.D., Anne B. Guttormsen, M.D., Ph.D., Sari Karlsson, M.D., Ph.D., Pär I. Johansson, M.D., Ph.D., Anders Åneman, M.D., Ph.D., Marianne L. Vang, M.D., Robert Winding, M.D., Lars Nebrich, M.D., Helle L. Nibro, M.D., Ph.D., Bodil S. Rasmussen, M.D., Ph.D., Johnny R.M. Lauridsen, M.D., Jane S. Niels...