Skip Navigation


Logic Journal of IGPL Advance Access originally published online on June 17, 2008
Logic Journal of IGPL 2008 16(4):317-334; doi:10.1093/jigpal/jzn009
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Bibel, W.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author 2008. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Transition Logic Revisited

Wolfgang Bibel

Darmstadt University of Technology, Germany.

E-mail: Bibel{at}gmx.net

A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn logic. This is achieved by defining a deductive relationship {vdash}(T,≤) among formulas for a partially ordered set (T,≤) of transitions. This novel integration might form the core for a unified framework for practical reasoning with the potential of a full exploitation of the maturing techniques from classical planning and deduction. For the chosen formula type the logic at the same time offers one possible clarification of the deductive formalism envisioned for original STRIPS but never made precise before.

Received for publication 22 April 2008.

References

    [AP05]  Anderson Michael L, Perlis Donald R. Logic, self-awareness and self-improvement: the metacognitive loop and the problem of brittleness. Journal of Logic and Computation (2005) 15(1):21–40.[Abstract/Free Full Text]

    [Bar03]  Baral Chitta. Knowledge Representation, Reasoning and Declarative Problem Solving (2003) Cambridge: Cambridge University Press.

    [Bib86]  Bibel Wolfgang. A deductive solution for plan generation. In: New Generation Computing (1986) 4:115–132.[ISI]

    [Bib93]  Bibel Wolfgang. Deduction: Automated Logic (1993) London: Academic Press.

    [Bib98]  Bibel Wolfgang. Let's plan it deductively! Artificial Intelligence (1998) 103(1–2):183–208.[CrossRef][ISI]

    [Bib03]  Bibel Wolfgang. Lehren vom Leben – Essays über Mensch und Gesellschaft (2003) Wiesbaden: Sozialwissenschaft. Deutscher Universitäts-Verlag.

    [BKLW04]  Benferhat Salem, Kaci Souhila, Le Berre Daniel, Williams Mary-Anne. Weakening conflicting information for iterated revision and knowledge integration. Artificial Intelligence Journal (2004) 153(1–2):339–371.[CrossRef]

    [DHV03]  Demolombe Robert, Herzig Andreas, Varzinczak Ivan. Regression in modal logic. In: Technical report, IRIT (2003) Toulouse: Universitè Paul Sabatier.

    [DL95]  De Giacomo Giuseppe, Lenzerini Maurizio. PDL-based framework for reasoning about actions. Proc. of AI*IA'95 (1995) Berlin: Springer. 103–114. volume 992 of LNAI.

    [EDKM+99]  Elgot-Drapkin Jennifer, Kraus Sarit, Miller Michael, Nirkhe Madhura, Perlis Donald. Active logics: A unified formal approach to episodic reasoning. In: Technical Report CS-TR-4072 (1999) College Park MD: University of Maryland. http://www.cs.umd.edu/Library/TRs/.

    [EDP90]  Elgot-Drapkin J, Perlis Don. Reasoning situated in time I: Basic concepts. J. of Experimental and Theoretical Artificial Intelligence (1990) 2(1):75–98.[CrossRef]

    [FN71]  Fikes Richard E, Nilsson Nils J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence Journal (1971) 2:189–208.[CrossRef]

    [FN93]  Fikes Richard E, Nilsson Nils J. STRIPS, a retrospective. Artificial Intelligence Journal (1993) 59:227–232.[CrossRef]

    [Gir87]  Girard J.-Y. Linear logic. Theoretical Computer Science (1987) 50(1):1–102.[CrossRef][ISI]

    [GLL+04]  Giunchiglia Enrico, Lee Joohyung, Lifschitz Vladimir, McCain Norman, Turner Hudson. Nonmonotonic causal theories. Artificial Intelligence Journal (2004) 153(1–2):49–104.[CrossRef]

    [Gug07]  Guglielmi Alessio. A system of interaction and structure. ACM Transactions on Computational Logic (2007) January;8(1):1–64.[CrossRef]

    [Hob90]  Hobbs Jerry R. Literature and Cognition (1990) Stanford CA: Center for the Study of Language and Information (CSLI).

    [Kha02]  Khalil Hesham. Logical Foundations of Reactive Default Reasoning (2002) Berlin: Akademische Verlagsgesellschaft Aka.

    [Len95]  Lenat Douglas B. CYC: A large-scale investment in knowledge infrastructure. In: Communications of the ACM (1995) November;38(11):33–38.

    [Lif86]  Lifschitz Vladimir. On the semantics of STRIPS. In: Reasoning about Actions and Plans—Georgeff MP, Lansky AL, eds. (1986) Los Altos: Morgan Kaufmann. 1–8.

    [Lin03]  Lin Fangzhen. Compiling causal theories to successor state axioms and STRIPS-like systems. Journal of AI Research (2003) 19:279–314.

    [Llo93]  Lloyd JW. Foundations of Logic Programming (1993) Berlin: Springer.

    [Mar99]  Markman Arthur B. Knowledge Representation (1999) Mahwah NJ: Lawrence Erlbaum Associates.

    [McC98]  McCarthy John. Elaboration tolerance. In: Working papers of the Fourth International Symposium on Logical Formalizations of Commonsense Reasoning, Common Sense 98 (1998).

    [MT97]  McCain Norman, Turner Hudson. Causal theories of action and change. In: Proceedings of the National Conference on Artificial Intelligence (1997) Palo Alto, CA. 460–465.

    [Nil98]  Nilsson Nils J. Artificial Intelligence: A New Synthesis (1998) San Francisco, CA: Morgan Kaufmann.

    [OB03]  Bibel Wolfgang, Otten Jens. leanCoP: Lean connection-based theorem proving. In: Journal of Symbolic Computation (2003) 36:139–161.[CrossRef][ISI]

    [PPU03]  Pino-Péres Ramón, Uzcátegui Carlos. Preferences and explanations. In: Artificial Intelligence Journal (2003) 149(1):1–30.[CrossRef]

    [Rei91]  Reiter Raymond. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy—Lifschitz V, ed. (1991) New York: Academic Press. 359–380.

    [Rei01]  Reiter Raymond. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (2001) Cambridge MA: MIT Press.

    [RN03]  Russell Stuart J, Norvig Peter. Artificial Intelligence: A Modern Approach (2003) Upper Saddle River, N.J: Prentice Hall Series in Artificial Intelligence. Pearson Education. 2nd edition.

    [SBD+00]  Subrahmanian V.S, Bonatti Piero, Dix Jürgen, Eiter Thomas, Kraus Sarit, Ozcan Fatma, Ross Robert. Heterogeneous Agent Systems (2000) Cambridge MA: The MIT Press.

    [Sha97]  Shanahan Murray. Solving the Frame Problem – A Mathematical Investigation of the Common Sense Law of Inertia. In: Artificial Intelligence (1997) Cambridge, Massachusetts: The MIT Press.

    [Sin02]  Singh Push. The open mind common sense project. KurzweilAI.net (2002) http://www.kurzweilai.net/articles/art0371.html?printable=1.

    [Thi99]  Thielscher Michael. From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. AI Journal (1999) 111(1–2):277–299.

    [Thi04]  Thielscher Michael. Logic-based agents and the frame problem: A case for progression. In: First-Order Logic Revisited—Hendricks V, Neuhaus F, Pedersen SA, Scheffler U, Wansing H, eds. (2004) Berlin, Germany: Logische Philosophie. 323–336. Logos.

    [Thi05]  Thielscher Michael. FLUX: A logic programming method for reasoning agents. In: Theory and Practice of Logic Programming (2005) 5(4–5):533–565.[CrossRef][ISI]

    [THN03]  Thiébaux Sylvie, Hoffmann Jörg, Nebel Bernhard. In defense of PDDL axioms. In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence—Gottlob G, Walsh T, eds. (2003) Morgan Kaufmann. 961–966.

    [Win88]  Winslett Marianne. Reasoning about action using a possible models approach. In: Proceedings AAAI-88 – Seventh National Conference on Artificial Intelligence (1988) volume 1:89–93. AAAI.


Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Bibel, W.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?