On Practical Reasoning and Automated Planning

نویسندگان

  • Federico Cerutti
  • Mauro Vallati
چکیده

Practical reasoning and automated planning are strictly related as they strive to answer to the same question: “which is the best course of action for an agent?” While the first research field addressed this topic mainly from an epistemological point of view, automated planning dealt with this question for the most partfrom a heuristic or reasoning perspective. In this position paper we want to discuss the improvements in terms of computational complexity of algorithms, and of knowledge representation and reasoning power on complex planning problems, which can be derived by applying practical reasoning techniques to planning problems. In particular, we sketch how argumentation-based structures for practical reasoning may help for improving the computational complexity of a state-of-the-art approach in optimal planning.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Visual Planning: A Practical Approach to Automated Presentation Design

Based on a set of design principles, automated visual presentation systems promise to simplify an application programmer's design tasks by automatically constructing appropriate visual explanations for different information. However, these automated presentation systems must be equipped with a powerful inference approach to suit practical applications. Here, we present a planning-based, practic...

متن کامل

Toward a Research Agenda in Adversarial Reasoning: Computational Approaches to Anticipating the Opponent's Intent and Actions

This paper defines adversarial reasoning as computational approaches to inferring and anticipating an enemy's perceptions, intents and actions. It argues that adversarial reasoning transcends the boundaries of game theory and must also leverage such disciplines as cognitive modeling, control theory, AI planning and others. To illustrate the challenges of applying adversarial reasoning to real-w...

متن کامل

Different Task Complexity Factors and Cognitive Individual ‎Differences: The Effects on EFL Writers’ Performance

This study aimed at examining the main and interaction effects of increased intentional reasoning demands, planning time, and also language learning aptitude on syntactic complexity, accuracy, lexical complexity, and fluency (CALF) of 226 EFL learners’ performance on letter writing tasks. The participants were first randomly assigned to three experimental groups to be given a task with differin...

متن کامل

The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04)

ference series was formed in 2003 by merging two biannual conferences: the International Conference on Artificial Intelligence Planning and Scheduling (AIPS) and the European Conference on Planning (ECP). It covers the latest theoretical and empirical advances in planning and scheduling, from new theoretical frameworks and algorithms to practical implementations in a variety of domains. ICAPS-0...

متن کامل

Proof Planning : A Practical Approach to MechanisedReasoning

Proof planning, rst introduced by Bundy, is an approach to humanoriented theorem proving. In this contribution we rst relate this approach to other approaches to mechanised reasoning. Then we describe in detail an approach to proof planning in which the proof plan operators are represented declaratively. This allows for their mechanical adaptation. Thereby it is possible to model certain aspect...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012