Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity

Yi Zhou; Leendert Van Der Torre; Yan Zhang

Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity

Yi Zhou
, Leendert Van Der Torre
, Yan Zhang

School of Computer, Data & Mathematical Sciences

University of Luxembourg

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

8 Citations (Scopus)

Abstract

Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.

Original language	English
Title of host publication	7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008
Publisher	International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Pages	406-413
Number of pages	8
ISBN (Print)	9781605604701
Publication status	Published - 2008
Event	7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 - Estoril, Portugal Duration: 12 May 2008 → 16 May 2008

Publication series

Name	Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume	1
ISSN (Print)	1548-8403
ISSN (Electronic)	1558-2914

Conference

Conference	7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008
Country/Territory	Portugal
City	Estoril
Period	12/05/08 → 16/05/08

Keywords

Goal change
Non-classical logic
Partial implication

Cite this

Zhou, Y., Van Der Torre, L., & Zhang, Y. (2008). Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity. In 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 (pp. 406-413). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 1). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

Zhou, Yi ; Van Der Torre, Leendert ; Zhang, Yan. / Partial goal satisfaction and goal change : Weak and strong partial implication, logical properties, complexity. 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2008. pp. 406-413 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

@inproceedings{d3e0759aae5e438a8c30d96088c74f9a,

title = "Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity",

abstract = "Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.",

keywords = "Goal change, Non-classical logic, Partial implication",

author = "Yi Zhou and \{Van Der Torre\}, Leendert and Yan Zhang",

year = "2008",

language = "English",

isbn = "9781605604701",

series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",

publisher = "International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)",

pages = "406--413",

booktitle = "7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008",

note = "7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008 ; Conference date: 12-05-2008 Through 16-05-2008",

}

Zhou, Y, Van Der Torre, L & Zhang, Y 2008, Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity. in 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, vol. 1, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), pp. 406-413, 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008, Estoril, Portugal, 12/05/08.

Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity. / Zhou, Yi; Van Der Torre, Leendert; Zhang, Yan.
7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2008. p. 406-413 (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 1).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - Partial goal satisfaction and goal change

T2 - 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008

AU - Zhou, Yi

AU - Van Der Torre, Leendert

AU - Zhang, Yan

PY - 2008

Y1 - 2008

N2 - Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.

AB - Partial implication semantics in the context of a background theory has been introduced to formalize partial goal satisfaction in the context of beliefs. In this paper, we introduce strong partial implication prohibiting redundancies and weak partial implication allowing side effects, we study their semantic as well as complexity properties, and we apply the three notions of partial implication to goal change in the context of beliefs.

KW - Goal change

KW - Non-classical logic

KW - Partial implication

UR - https://www.scopus.com/pages/publications/84899929647

M3 - Conference Paper

AN - SCOPUS:84899929647

SN - 9781605604701

T3 - Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

SP - 406

EP - 413

BT - 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008

PB - International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

Y2 - 12 May 2008 through 16 May 2008

ER -

Zhou Y, Van Der Torre L, Zhang Y. Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity. In 7th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2008. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 2008. p. 406-413. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

Partial goal satisfaction and goal change: Weak and strong partial implication, logical properties, complexity

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this