Skip to main content
SpringerLink
Log in
Book cover

European Workshop on Logics in Artificial Intelligence

JELIA 1998: Logics in Artificial Intelligence pp 382–384Cite as

The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary

  • Conference paper
  • First Online:

  • 230 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1489))

Abstract

Logics of action and change were originally conceived for the design of intelligent agents, as McCarthy proposed the situation calculus as the logic to be used by a logic-based “advice taker”. In more recent research one can distinguish two motives for these logics, namely, for what is now called cognitive robotics and for common-sense reasoning. The difference is that in cognitive robotics, the logic must also account for an incoming flow of sensory data and for the actuation of actions by the robot, whereas common-sense reasoning is oriented towards natural-language communication of the premises and the conclusions of the reasoning process.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Erik Sandewall. Relating high-level and low-level action descriptions in a logic of actions and change. Oded Maler (ed): Hybrid and Real-Time Systems, 1997, pp. 3–17. Springer Verlag.

    Google Scholar 

  2. Erik Sandewall. Logic Based Modelling of Goal-Directed Behavior. Proc. International Conference on Knowledge Representation and Reasoning, 1998, pp. 304–315.

    Google Scholar 

  3. Erik Sandewall. Towards the validation of high-level action descriptions from their low-level definitions. AI Communications, vol. 9 (1996), pp. 214–224.

    Google Scholar 

  4. Erik Sandewall. Logic-Based Modelling of Goal-Directed Behavior. Electronic Transactions on Artificial Intelligence, vol. 1, pp. 105–128. http://www.ep.liu.se/ea/cis/1997/019/

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Science, Linkping University, S-58183, Linkping, Sweden

    Erik Sandewall

Authors
  1. Erik Sandewall
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Maryland, College Park, Maryland, 20742, USA

    Jürgen Dix

  2. I.R.I.T. Université Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex, France

    Luís Fariñas del Cerro

  3. Fachbereich 4: Informatik, Universität Koblenz, Rheinau 1, D-56075, Koblenz, Germany

    Ulrich Furbach

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sandewall, E. (1998). The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary. In: Dix, J., del Cerro, L.F., Furbach, U. (eds) Logics in Artificial Intelligence. JELIA 1998. Lecture Notes in Computer Science(), vol 1489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49545-2_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-49545-2_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65141-3

  • Online ISBN: 978-3-540-49545-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation