Raymond Reiter

Learn More
The need to make default assumptions is frequently encountered in reasoning'about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non.monotonJcity of any logic of defaults. In this paper we propose a logic for(More)
Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system(More)
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and eeects of actions and the initial state of the world. This allows programs to reason about the state of the world and(More)
\lr~stal marhes tr~1110 iel—based (liagnesis describe a diagnosis for a systeiii as a set of failing coin— ponents t hat explains the sviiiptonis. In order to cllaracterlze the typically very large number of ihagnoses, isilaily only the Iii ininial such sets of failing cunipolient s are represeiited This met hod of cliai’aeterizing all (liagnoses is(More)
We propose a framework for robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model allows one to partially specify a control program in a highlevel, logical language, but also provides an interpreter that— given a logical axiomatization of a domain—will determine(More)