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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Reasoning about interdependent actions
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology.
1988 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

This thesis consists of two papers on different but related topics.The first paper is concerned with the use of logic as a tool to model mechanical assembly processes. A restricted 2+-dimensional world is introduced and although this world is considerably simpler than a 3-dimensional one, it is powerful enough to capture most of the interesting geometrical problems arising in assembly processes. The geometry of this 2+-dimensional world is axiomatized in first order logic. A basic set of assembly operations are identified and these operations are expressed in a variant of dynamic logic which is modified to attack the frame problem.

The second paper presents a formalism for reasoning about systems of sequential and parallel actions that may interfere or interact with each other. All synchronization of actions is implicit in the definitions of the actions and no explicit dependency information exists. The concept of action hierarchies is defined, and the couplings between the different abstraction levels are implicit in the action definitions. The hierarchies can be used both top-down and bottom-up and thus support both planning and plan recognition in a more general way than is usual.

Place, publisher, year, edition, pages
Linköping: Univ. , 1988. , p. 54
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 139
National Category
Philosophy
Identifiers
URN: urn:nbn:se:liu:diva-160125Local ID: LiU-Tek-Lic-1988:12ISBN: 91-7870-358-1 (print)OAI: oai:DiVA.org:liu-160125DiVA, id: diva2:1349098
Available from: 2019-09-06 Created: 2019-09-06 Last updated: 2019-09-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Bäckström, Christer

Search in DiVA

By author/editor
Bäckström, Christer
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Philosophy

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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