Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

By Raymond Reiter. 2001

505 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/5bca4ea91e35f5f8216aa453da0e65b6636f191a

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Computer Networks and Communications

Citations in the corpus

Symbolic Dynamic Programming for First-Order MDPs (2001, methodology): “We then formulate situation calculus domain axioms using these deterministic choices [Bacchus et al., 1995; Reiter, 2001; Boutilier et al., 2000b].”
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (2015, methodology): “Following Reiter (2001) and van Ditmarsch, van der Hoek, and Kooi (2007), the above action formalization can be expressed as standard precondition and successor state axioms, which would then define the meaning of [α]φ in DEL.”
Practical solution techniques for first-order MDPs (2009, methodology): “We do not consider functional fluents in this exposition, but they are easily added to the langu ge without adverse computational side effects (Reiter, 2001).”
On the Progression of Knowledge in the Situation Calculus (2011, methodology): “The situation calculus [Reiter, 2001] is a many-sorted firstorder language suitable for describing dynamic worlds.”
Query-Reduction Networks for Question Answering (2016, background): “A QRN layer refers to the recurrent application of a QRN unit, which can be considered as a variant of RNN with two inputs, two outputs, and a 2This mechanism is akin to logic regression in situation calculus (Reiter, 2001). hidden state (reduced query), all of which operate in vector space.”
Causes and Explanations: A Structural-Model Approach. Part I: Causes (2000, background): “Finally, there is also a great deal of work in AI on formal action theory (see, for example, [Lin 1995; Sandewall 1994; Reiter 2001]), which is concerned with the proper way of incorporating causal relationships into a knowledge base so as to guide actions.”
How to Progress Beliefs in Continuous Domains (2014, methodology): “Its e ﬀ ect on v might be described by: This says that mv ( z ) is the only action a ﬀ ecting v , thereby incorporating a solution to the frame problem (Reiter 2001).”
HTN planning for Web Service composition using SHOP2 (2004, background): “Narayanan and McIlraith [9] give a formal semantics for OWL-S in terms of the situation calculus [10] and Golog [11].”