Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-13T07:21:57.682Z Has data issue: false hasContentIssue false
  • English
  • Français

Knowledge and the action description language [Ascr ]

Published online by Cambridge University Press:  16 May 2001

JORGE LOBO ,
GISELA MENDEZ  and
STUART R. TAYLOR
JORGE LOBO
Affiliation:
Network Computing Research Department, Bell Laboratories, Murray Hill, NJ 07974, USA; e-mail: jlobo@research.bell-labs.com
GISELA MENDEZ
Affiliation:
Departamento de Matemáticas, Universidad Central de Venezuela, Caracas, Venezuela; e-mail: gmendez@ciens.ucv.ve
STUART R. TAYLOR
Affiliation:
Raytheon Systems Company, Expeditionary Warfare & Industrial Automotive, 13532 N. Central Exp., MS 37, Dallas, TX, 75243, USA; e-mail: s-taylor5@ti.com
Get access Rights & Permissions [Opens in a new window]

Abstract

We introduce [Ascr ]k, an extension of the action description language [Ascr ] (Gelfond and Lifschitz, 1993) to handle actions which affect knowledge. We use sensing actions to increase an agent's knowledge of the world and non-deterministic actions to remove knowledge. We include complex plans involving conditionals and loops in our query language for hypothetical reasoning. We also present a translation of [Ascr ]k domain descriptions into epistemic logic programs.This paper extends the results of the work first presented in Lobo et al. (1997).

Keywords

action theoriesepistemic logic programs
Type
Regular paper
Information
Theory and Practice of Logic Programming , Volume 1 , Issue 2 , March 2001 , pp. 129 - 184
Copyright
© 2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)