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
RISE - Research Institutes of Sweden, ICT, SICS.
1994 (English)Report (Other academic)
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
Keywords [en]
Plan recognition, Abduction, Partial inductive definitions
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-22159OAI: oai:DiVA.org:ri-22159DiVA, id: 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-31 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

By organisation
SICS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
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.35.4