Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Plan recognition for a purpose
Number of Authors: 1
1994 (English)Report (Refereed)
Abstract [en]

We discuss the PID-abductive framework, in which explanations are selected depending on how they are used. The framework has been formulated with plan recognition as its target application, but is generally applicable to abductive explanation. The framework addresses in particular two problems for explanations: The selection of the best explanation, and the issue of selecting what to explain, and what should be regarded as facts. The PID-abductive framework is characterized by the fact that observations are viewed neither as facts nor as things to prove, but as conditions on proofs for desired actions. Intuitively, this means that we will seek an explanation for an observed action, only if this explanation is important for the selection of a response action. This requires a deduction system which allows one to reason "backwards" from conditions to equate a condition with a disjunction over its possible explanations. A candidate proof system is Partial Inductive Definitions, which contains a deduction rule Definitional Reflexion that does precisely this. Using Partial Inductive Definitions also achieves that assumptions typically rule out possible explanations of observations, allowing for more adequate minimisation criteria. Much work remain. Most serious is the task of defining minimisation criteria, and a search strategy that does not exhaustively explore the search space of all possible explanations.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1994, 1.
Series
SICS Research Report, ISSN 0283-3638 ; R94:11
Keyword [en]
Plan recognition, Abduction, Partial inductive definitions
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22159OAI: oai:DiVA.org:ri-22159DiVA: diva2:1041702
Note
Also Published : in Proc. of the Dagstuhl workshop on deductive approaches to planning and plan recognition, October 1993, available from DFKI, Saarbr├╝cken.Available from: 2016-10-31 Created: 2016-10-31Bibliographically approved

Open Access in DiVA

No full text

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.26.0