• myGriffith
    • Staff portal
    • Contact Us⌄
      • Future student enquiries 1800 677 728
      • Current student enquiries 1800 154 055
      • International enquiries +61 7 3735 6425
      • General enquiries 07 3735 7111
      • Online enquiries
      • Staff phonebook
    View Item 
    •   Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    • Home
    • Griffith Research Online
    • Conference outputs
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

  • All of Griffith Research Online
    • Communities & Collections
    • Authors
    • By Issue Date
    • Titles
  • This Collection
    • Authors
    • By Issue Date
    • Titles
  • Statistics

  • Most Popular Items
  • Statistics by Country
  • Most Popular Authors
  • Support

  • Contact us
  • FAQs
  • Admin login

  • Login
  • Integration of Planning and Reasoning into an Architecture that Enables Model-Driven Development

    Author(s)
    Estivill-Castro, Vladimir
    Griffith University Author(s)
    Estivill-Castro, Vladimir
    Year published
    2013
    Metadata
    Show full item record
    Abstract
    Logic-labeled finite-state machines are a formal mechanisms to represent behavior. These models have several advantages over event-driven finite-state machines. They have a formal semantics that enables model-checking; that is, formal verification. More importantly, they can be executed concurrently and produce simple behaviors for embedded systems, or more advanced behaviors for robotic systems (like feedback-loop control). We illustrate their potential to integrate high level capabilities like reasoning and planing and cover the spectrum of reactive architectures to deliberative architectures. Examples of these approach ...
    View more >
    Logic-labeled finite-state machines are a formal mechanisms to represent behavior. These models have several advantages over event-driven finite-state machines. They have a formal semantics that enables model-checking; that is, formal verification. More importantly, they can be executed concurrently and produce simple behaviors for embedded systems, or more advanced behaviors for robotic systems (like feedback-loop control). We illustrate their potential to integrate high level capabilities like reasoning and planing and cover the spectrum of reactive architectures to deliberative architectures. Examples of these approach will be presented ranging from ubiquitous cases in requirements engineering to the realm of robots interacting, like RoboCup. Finally, we show we can use these logic-labeled finite-state machines to model dynamic objects in an environment and use traditional planing to guide robots in even potentially non-deterministic environments.
    View less >
    Conference Title
    Artificial Intelligence Research and Development. Proceedings of the 16th International Conference of the Catalan Association for Artificial Intelligence
    Publisher URI
    http://mon.uvic.cat/ccia2013/en/
    Subject
    Adaptive Agents and Intelligent Robotics
    Publication URI
    http://hdl.handle.net/10072/59731
    Collection
    • Conference outputs

    Footer

    Disclaimer

    • Privacy policy
    • Copyright matters
    • CRICOS Provider - 00233E

    Tagline

    • Gold Coast
    • Logan
    • Brisbane - Queensland, Australia
    First Peoples of Australia
    • Aboriginal
    • Torres Strait Islander