Achieving while maintaining: A logic of knowing how with intermediate constraints

Yanjun Li*, Yanjing Wang

*Bijbehorende auteur voor dit werk

OnderzoeksoutputAcademicpeer review

13 Citaten (Scopus)
6 Downloads (Pure)

Samenvatting

In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve ϕ given ψ while maintaining χ in-between. It generalizes the logic of goal-directed knowing how proposed by Wang in [10]. We give a sound and complete axiomatization of this logic.

Originele taal-2English
TitelLogic and Its Applications - 7th Indian Conference, ICLA 2017, Proceedings
RedacteurenSujata Ghosh, Sanjiva Prasad
UitgeverijSpringer Verlag
Pagina's154-167
Aantal pagina's14
ISBN van geprinte versie9783662540688
DOI's
StatusPublished - 2017
Evenement7th Indian Conference on Logic and Its Applications, ICLA 2017 - Kanpur, India
Duur: 5-jan-20177-jan-2017

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10119 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Conference

Conference7th Indian Conference on Logic and Its Applications, ICLA 2017
Land/RegioIndia
StadKanpur
Periode05/01/201707/01/2017

Citeer dit