Formalizing sensing actions A transition function based approach

@article{Son2001FormalizingSA,
  title={Formalizing sensing actions A transition function based approach},
  author={Tran Cao Son and Chitta Baral},
  journal={Artif. Intell.},
  year={2001},
  volume={125},
  pages={19-91}
}
Abstract In presence of incomplete information about the world we need to distinguish between the state of the world and the state of the agent's knowledge about the world. In such a case the agent may need to have at its disposal sensing actions that change its state of knowledge about the world and may need to construct more general plans consisting of sensing actions and conditional statements to achieve its goal. In this paper we first develop a high-level action description language that… 
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
TLDR
This paper investigates “what sensing actions tell us”, i.e., what an agent comes to know indirectly from the outcome of a sensing action, given knowledge of its actions and state constraints that hold in the world.
Practical reasoning about knowledge states for open world planning with sensing
TLDR
A representation for reasoning and planning with an incomplete state description (open-world) called PSIPLAN-S, that includes limited universal quantification, representation of sensing actions and knowledge goals, and a correct and complete state update procedure.
Regression with Respect to Sensing Actions and Partial States
TLDR
This paper proves the soundness and completeness of the regression formulation with respect to the definition of progression and develops a conditional planner that utilizes the regression function.
A General Representation and Approximate Inference Algorithm for Sensing Actions
TLDR
This paper proposes a very general framework for representing both changes to the real world and to the knowledge of an agent, based on a first order linear time calculus, which is more general than most existing approaches.
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
TLDR
This work extends the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and proves its soundness with respect to the possible world semantics and presents an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans.
On Some Tractable Cases of Logical Filtering
TLDR
This paper will identify classes of transition constraints that are amenable to compact and indefinite filtering—presenting efficient algorithms wherever necessary and extend this theory to provide a filtering algorithm based on repeatedly enforcing path-consistency and embedding the domain values of the related variables in tree structures to guarantee global consistency.
State-Based Regression with Sensing and Knowledge
TLDR
It is expected that this work will serve as the foundation for the extension of recently successful work on state-based regression planning to include sensing and knowledge as well.
Temporal Logical Filtering - Preliminary Results
In this paper we provide algorithms for determining the belief state of an agent, i.e., its knowledge about the state of the world. We describe our domains using a logical action language that allows
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information
TLDR
It is shown that a plan obtained through regression for a planning problem is indeed a progression solution of that planning problem, and that for each plan found through progression, using regression one obtains that plan or an equivalent one.
Logical Filtering
TLDR
Efficient logical filtering algorithms that maintain a compact belief state representation indefinitely, for a broad range of environment classes including nondeterministic, partially observable STRIPS environments and environments in which actions permute the state space are presented.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 90 REFERENCES
Reasoning about sensing actions and its application to diagnostic problem solving
This thesis presents a new approach to reasoning about sensing actions and its appli­ cation to diagnostic problem solving. We begin with the definition of an action description language A k that
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information
TLDR
A high level language in the spirit of the language A, that allows sensing actions, is proposed and two approximation semantics of this language and their translation to logic programs are presented.
Reasoning about Noisy Sensors in the Situation Calculus
TLDR
A simple axiomatization of the effect on an agent's state of belief of taking a reading from a noisy sensor is proposed, and it is automatically obtained that these sensor actions leave the rest of the world unaffected, and further, that non-sensor actions change the state of believe of the agent in appropriate ways.
Extending Graphplan to handle uncertainty and sensing actions
TLDR
SGP is a descendant of Graphplan that solves contingent planning problems and distinguishes between actions that sense the value of an unknown proposition from those that change its value, and is relatively fast.
Representing Actions: Laws, Observations and Hypotheses
TLDR
An architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 is presented and logic programming approximation of this entailment is used to implement a planning module for this architecture.
An empirical study of sensing and defaulting in planning
TLDR
This paper has implemented a planner which can plan to perform sensor operations to allow an agent to gather the information necessary to complete planning and achieve its goals in the face of missing or uncertain environmental information.
What Is Planning in the Presence of Sensing?
TLDR
This paper develops and motivate a specification within the situation calculus of conditional and iterative plans over domains that include binary sensing actions that is used to analyze the correctness of a small example plan, as well as variants that have redundant or missing sensing actions.
Representing Sensing Actions: The Middle Ground Revisited
TLDR
This research combines elements of uwl and adl, to create a middle-ground representation for sensing actions that is expressive enough to encode the rich domain theory of the Internet Softbot; yet it supports tractable inference by planners such as xii.
A Formal Theory of Knowledge and Action
Abstract : Most work on planning and problem solving within the field of artificial intelligence assumes that the agent has complete knowledge of all relevant aspects of the problem domain and
Expressive Planning and Explicit Knowledge
TLDR
A new planning language, WCPL, encompassing conditional plans, context-dependent actions, and nondeterministic action outcomes is presented, with an explicit treatment of the planner's information state as knowledge, as opposed to some form of context labelling.
...
1
2
3
4
5
...