• Publications
  • Influence
Intention is Choice with Commitment
This paper provides a logical analysis of the concept of intention as composed of two more basic concepts, choice (or goal) and commitment, and derives a preliminary account of interpersonal commitments. Expand
GOLOG: A Logic Programming Language for Dynamic Domains
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
A New Method for Solving Hard Satisfiability Problems
A greedy local search procedure called GSAT is introduced for solving propositional satisfiability problems and its good performance suggests that it may be advantageous to reformulate reasoning tasks that have traditionally been viewed as theorem-proving problems as model-finding tasks. Expand
The Winograd Schema Challenge
This paper presents an alternative to the Turing Test that has some conceptual and practical advantages, and English-speaking adults will have no difficulty with it, and the subject is not required to engage in a conversation and fool an interrogator into believing she is dealing with a person. Expand
Hard and Easy Distributions of SAT Problems
It is shown that by using the right distribution of instances, and appropriate parameter values, it is possible to generate random formulas that are hard, that is, for which satisfiability testing is quite difficult. Expand
ConGolog, a concurrent programming language based on the situation calculus
A formal definition in the situation calculus of such a programming language is presented and illustrated with some examples that includes facilities for prioritizing the execution of concurrent processes, interrupting the execution when certain conditions become true, and dealing with exogenous actions. Expand
A Logic of Implicit and Explicit Belief
This paper point out deficiencies in current semantic treatments of knowledge and belief and suggest a new analysis in the form of a logic that avoids these shortcomings and is also more viable computationally. Expand
All I Know: A Study in Autoepistemic Logic
  • H. Levesque
  • Mathematics, Computer Science
  • Artif. Intell.
  • 3 March 1990
This research attempts to show how some of these patterns of reasoning can be captured using only the classical notions of logic, by extending a logic of belief so that it is possible to say that only a certain proposition is believed. Expand
On Acting Together
A formal definition of what it could mean for a group to jointly commit to a common goal is presented, and how these joint commitments relate to the individual commitments of the team members are explored. Expand
Knowledge, action, and the frame problem
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