Situation Calculus by Term Rewriting

06/30/2020
by   David A. Plaisted, et al.
0

A version of the situation calculus in which situations are represented as first-order terms is presented. Fluents can be computed from the term structure, and actions on the situations correspond to rewrite rules on the terms. Actions that only depend on or influence a subset of the fluents can be described as rewrite rules that operate on subterms of the terms in some cases. If actions are bidirectional then efficient completion methods can be used to solve planning problems. This representation for situations and actions is most similar to the fluent calculus of Thielscher <cit.>, except that this representation is more flexible and more use is made of the subterm structure. Some examples are given, and a few general methods for constructing such sets of rewrite rules are presented. This paper was submitted to FSCD 2020 on December 23, 2019.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/11/2012

A Well-typed Lightweight Situation Calculus

Situation calculus has been widely applied in Artificial Intelligence re...
research
07/01/2022

A Note on Process Modelling: Combining Situation Calculus and Petri Nets

The situation calculus logic model is convenient for modelling the actio...
research
02/13/2013

A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility

This paper shows how we can combine logical representations of actions a...
research
08/10/2021

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

Whitby is the server-side of an Intelligent Tutoring System application ...
research
05/30/2013

Memory Implementations - Current Alternatives

Memory can be defined as the ability to retain and recall information in...
research
05/05/2018

Confluent terminating extensional lambda-calculi with surjective pairing and terminal type

For the lambda-calculus with surjective pairing and terminal type, Curie...
research
07/27/2021

Task and Situation Structures for Service Agent Planning

Everyday tasks are characterized by their varieties and variations, and ...

Please sign up or login with your details

Forgot password? Click here to reset