An Imperative Account of Actions

Authors:
Victor Jauregui;Son Bao Pham
Affiliations:
National ICT Australia Ltd (NICTA), and The School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia;College of Technology, Vietnam National University, Hanoi,
Venue:
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Year:
2008

Citing 9
Cited 0

Logics of time and computation

Logics of time and computation
Nonmonotonic logic and temporal projection

Artificial Intelligence
Frames in the space of situations (research note)

Artificial Intelligence
Nonmonotonic reasoning in the framework of situation calculus

Artificial Intelligence - Special issue on knowledge representation
Ramification and causality

Artificial Intelligence
Conditional logic of actions and causation

Artificial Intelligence - Special issue on nonmonotonic reasoning
EPDL: a logic for causal reasoning

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article reports on an investigation into an alternative semantics for actions which is based on modal logic, with an underlying computational theme, where actions are interpreted as computations in an abstract machine model of the world. The frame problem is addressed by reformulating and generalising minimal change principles to the principle of `Occam's razor'--the intended interpretation of an action is given by the simplest computations which realise its direct effects.