A Linear Meta-Interpreter for Reasoning about States and Actions

Logic Journal of the IGPL 9 (5):669--715 (2001)
  Copy   BIBTEX

Abstract

This paper describes an application of linear logic programming to the frame problem. This treatment has both practical and conceptual advantages over standard treatments: it is computationally efficient, and this efficiency arises because linear logic respects the identity, or otherwise, of situations

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/9.5.631

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Linear Meta-Interpreter for the Situation Calculus.G. Graham White - 1997
Uncertain reasoning about agents' beliefs and reasoning.John A. Barnden - 2001 - Artificial Intelligence and Law 9 (2-3):115-152.
What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic.Ivan Varzinczak - 2006 - Dissertation, Université Paul Sabatier
Actions, Ramification and Linear Modalities.G. Graham White - 1998 - Linköping Electronic Articles in Computer and Information Science 3 (11).
Representing meta-knowledge in Poole-systems.Gerhard Brewka - 2001 - Studia Logica 67 (2):153-165.
Is model construction open to strategic decisions? An exploration in the field of linear reasoning.Vicky Dierckx & Andr - 2003 - Thinking and Reasoning 9 (2):97 – 131.
Plugging a tooth before anaesthetising the patient? The influence of people's beliefs on reasoning about the temporal order of actions.Vicky Dierckx & Andr - 2004 - Thinking and Reasoning 10 (4):371 – 404.
Computational Meta-Ethics: Towards the Meta-Ethical Robot.Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (2):261-274.
Unconscious vision and the platitudes of folk psychology.Cara Spencer - 2007 - Philosophical Psychology 20 (3):309 – 327.
Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.
Syllogisms in Rudimentary Linear Logic, Diagrammatically.Ruggero Pagnan - 2013 - Journal of Logic, Language and Information 22 (1):71-113.
Promoting Value As Such.Evan G. Williams - 2012 - Philosophy and Phenomenological Research 87 (2):392-416.
Metafunctions in nqthm and acl.Robert Boyer - manuscript

Analytics

Added to PP
2011-12-23

Downloads
9 (#1,244,087)

6 months
1 (#1,479,630)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham White
Queen Mary University of London

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references