• Publications
  • Influence
GOLOG: A Logic Programming Language for Dynamic Domains
TLDR
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 effects of actions and the initial state of the world is proposed. Expand
Knowledge, action, and the frame problem
TLDR
The work is an extension of Reiter's approach to the frame problem for ordinary actions and Moore's work on knowledge and action and shows that a form of regression examined by Reiter for reducing reasoning about future situations to reasoning about the initial situation now also applies to knowledge-producing actions. Expand
The Frame Problem and Knowledge-Producing Actions
TLDR
This work is an extension of Reiter's solution to the frame problem for ordinary actions and Moore's work on knowledge and action and shows that a form of regression examined by Reiter for reducing reasoning about future situations to reasoning about the initial situation now also applies to knowledge-producing actions. Expand
Foundations of a Logical Approach to Agent Programming
TLDR
A novel approach to high-level agent programming based on a highly developed logical theory of action, which includes a solution to the frame problem, allows agents to have incomplete knowledge of their environment, and handles perceptual actions. Expand
A Logical Approach to High-Level Robot Programming A Progress Report*
TLDR
A novel approach to high-level robot programming based on a highly developed logica] theory of action, where the user provides a specification of the robot’s basic actions as well as of relevant aspects of the environment, in an extended version of the situation calculus. Expand
A General Framework for Modal Deduction
TLDR
A general method of automated modal logic theorem proving is discussed and illustrated, based on the substitutional framework for the development of systems for hybrid reasoning, which achieves significant generality in that it provides for the extension of a wide range of non-modal systems to corresponding modal systems and that can be done for a widerange of modal logics. Expand
A new understanding of subjective probability and its generalization to lower and upper prevision
TLDR
A new way of understanding subjective probability and its generalization to lower and upper prevision is introduced, which justifies Peter Walley's updating principle and also justifies a weaker principle that is more useful for planning because it applies even when new information is not anticipated exactly. Expand
Passions of the Tongue: Language Devotion in Tamil India, 1891-1970: Passions of the Tongue: Language Devotion in Tamil India, 1891-1970.
Passions of the Tongue: Language Devotion in Tamil India, 1891–1970. Sumathi Ramaswamy Berkeley: University of California Press, 1997. xxii + 303 pp., figures, notes, bibliography, index.
Sensing Actions, Time, and Concurrency in the Situation Calculus
TLDR
A unified logical theory of knowledge, sensing, time, and concurrency is combined that preserves the solution to the frame problem of previous work, maintains the distinction between indexical and objective knowledge ofTime, and is capable of representing the various ways in which concurrency interacts with time and knowledge. Expand
Ability and Knowing How in the Situation Calculus
TLDR
This paper presents a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal, and correctly handles programs containing loops, and incorporates a solution to the frame problem. Expand
...
1
2
3
4
5
...