Knowledge, action, and the frame problem
type: Item
instance of: scholarly article
title: Knowledge, action, and the frame problem
zbMATH Open document ID: 1079.68625
DOI: 10.1016/S0004-3702(02)00365-X
author: Richard B. Scherl
author: Hector J. Levesque
published in: Artificial Intelligence
publication date: 2006-02-07T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5003859
zbMATH Keywords: Knowledge
zbMATH Keywords: Action
zbMATH Keywords: Situation calculus
zbMATH Keywords: Frame problem
describes a project that uses: GOLOG
MaRDI profile type: Publication
cites work: Reasoning about noisy sensors and effectors in the situation calculus
cites work: Formalizing sensing actions -- a transition function based approach
cites work: Q4342093
cites work: Q3867808
cites work: Q4845472
cites work: Q4028792
cites work: Representing knowledge within the situation calculus using interval-valued epistemic fluents
cites work: Q4934644
cites work: Q5604443
cites work: Q5339289
cites work: Q4934649
cites work: Ability and knowing how in the situation calculus
cites work: GOLOG: A logic programming language for dynamic domains
cites work: State Constraints Revisited
cites work: Q4452629
cites work: Q5633670
cites work: Q5578545
cites work: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
cites work: Some contributions to the metatheory of the situation calculus
cites work: Q4016561
cites work: Proving properties of states in the situation calculus
cites work: Q4779807
cites work: On knowledge-based programming with sensing in the situation calculus
cites work: Q5732164
cites work: Q4473063
description: scientific article; zbMATH DE number 5003859