• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
Artificial intelligence publications January 1, 2004

Balancing Formal and Practical Concerns in Agent Design

Karen Myers

Citation

Copy to clipboard


Morley, D. and Myers, K. Balancing Formal and Practical Concerns in Agent Design, in Proc. of AAAI Workshop on Intelligent Agent Architectures: Combining the Strengths of Software Engineering and Cognitive Systems, 2004.

Abstract

Most agent frameworks can be readily characterized into one of two groups. On the one hand, there are frameworks designed to have well-defined formal semantics, enabling formal reasoning about agents and their behavior. On the other hand, there are frameworks targeted at developing agent systems that can be deployed as practical applications interacting in highly dynamic real-world environments. These frameworks have tended to sacrifice formal grounding for the ability to tackle real-world problems.

An ideal agent system should combine the sophisticated representations and control of the more practical systems with principled semantics that enable reasoning about system behavior. In this paper, we discuss a number of both formal and practical requirements that must be met to satisfy the demands of large-scale applications. We also briefly describe work on a new BDI agent framework that aims to bridge the gap between formal and practical agent frameworks. This system, called SPARK (the SRI Procedural Agent Realization Kit), is currently being used as the agent infrastructure for a personal assistant system for a manager in an office environment.

↓ Download

Share this

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International