H
Hector J. Levesque
Researcher at University of Toronto
Publications - 202
Citations - 20981
Hector J. Levesque is an academic researcher from University of Toronto. The author has contributed to research in topics: Situation calculus & Knowledge representation and reasoning. The author has an hindex of 59, co-authored 200 publications receiving 20218 citations. Previous affiliations of Hector J. Levesque include Fairchild Semiconductor International, Inc. & Canadian Institute for Advanced Research.
Papers
More filters
Proceedings Article
An Overview of Knowledge Representation
TL;DR: This is a brief overview of terminology and issues related to Knowledge Representation (here-after KR) research, intended primarily for researchers working on Semantic Data Models within Database Management and Program Specifications within Programming Languages/Software Engineering.
Book ChapterDOI
Chapter 23 Cognitive Robotics
TL;DR: This chapter presents the idea of knowledge representation and reasoning for the purpose of high-level robotic control to be central to cognitive robotics, which connects cognitive robotics not only to (traditional and less cognitive) robotics but also to other areas of artificial intelligence (AI) such as planning and agent-oriented programming.
A Logical Approach to High-Level Robot Programming A Progress Report*
TL;DR: 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.
Proceedings Article
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
TL;DR: A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example that differs from other procedural formalisms for concurrency in that the initial state can be incompletely specified and the primitive actions can be user-defined by axioms in the situations calculus.
Proceedings Article
Confirmations and joint action
TL;DR: This paper reviews the concept of a joint intention and argues that the conversants in a task-oriented dialogue jointly intend to accomplish the task, and derives the goals underlying the pervasive use of confirmations observed in a recent experiment.