liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Embracing occlusion in specifying the indirect effects of actions
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
1996 (English)In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning / [ed] Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro, Morgan Kaufmann Publishers , 1996, p. 87-98Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we extend PMON, a logic for reasoning about action and change, with causal rules which are used to specify the indirect effects of actions The extension, called PMON(RCs), has the advantage of using explicit time, includes actions with durations, nondeterministic actions, allows partial specification of the timing and order of actions and has been assessed correct for at least the K-IA class of action scenarios within the Features and Fluents framework Most importantly, the circumscription policy used is easily shown to be reducible to the firstorder case which insures that standard theorem proving techniques and their optimizations may be used to compute entailment In addition, we show how the occlusion concept previously used to deal with duration and nondeterministic actions proves to be equally versatile in representing causal constraints and delayed effects of actions We also discuss related work and consider the strong correspondence between our work and recent work by Lin, who uses a Cause predicate to specify indirect effects similar to our use of Occlude in PMON, and a minimization policy related to that used in PMON.

Place, publisher, year, edition, pages
Morgan Kaufmann Publishers , 1996. p. 87-98
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-41455Local ID: 56693ISBN: 1-55860-421-9 (print)OAI: oai:DiVA.org:liu-41455DiVA, id: diva2:262307
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2018-01-13

Open Access in DiVA

No full text in DiVA

Authority records

Doherty, Patrick

Search in DiVA

By author/editor
Doherty, Patrick
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 112 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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