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

Yi Zhou; Leendert van der Torre; Yan Zhang; Ryszard Kowalczyk

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

Yi Zhou
, Leendert van der Torre
, Yan Zhang
, Ryszard Kowalczyk

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper

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	Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings
Publisher	International Foundation for Autonomous Agents and Multiagent Systems
Number of pages	8
ISBN (Print)	9780981738109
Publication status	Published - 2008
Event	International Conference on Autonomous Agents and Multiagent Systems - Duration: 4 Jun 2012 → …

Conference

Conference	International Conference on Autonomous Agents and Multiagent Systems
Period	4/06/12 → …

Keywords

distributed artificial intelligence
intelligent agents (computer software)
decision making
goal change
partial satisfaction
nonclassical mathematical logic

Cite this

Zhou, Y., Torre, L. V. D., Zhang, Y., & Kowalczyk, R. (2008). Partial goal satisfaction and goal change : weak and strong partial implication, logical properties, complexity. In Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings International Foundation for Autonomous Agents and Multiagent Systems .

Zhou, Yi ; Torre, Leendert van der ; Zhang, Yan et al. / Partial goal satisfaction and goal change : weak and strong partial implication, logical properties, complexity. Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings. International Foundation for Autonomous Agents and Multiagent Systems , 2008.

@inproceedings{71025573135b4894b01a193a02ceb71f,

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 = "distributed artificial intelligence, intelligent agents (computer software), decision making, goal change, partial satisfaction, nonclassical mathematical logic",

author = "Yi Zhou and Torre, \{Leendert van der\} and Yan Zhang and Ryszard Kowalczyk",

year = "2008",

language = "English",

isbn = "9780981738109",

booktitle = "Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings",

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

note = "International Conference on Autonomous Agents and Multiagent Systems ; Conference date: 04-06-2012",

}

Zhou, Y, Torre, LVD, Zhang, Y & Kowalczyk, R 2008, Partial goal satisfaction and goal change : weak and strong partial implication, logical properties, complexity. in Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings. International Foundation for Autonomous Agents and Multiagent Systems , International Conference on Autonomous Agents and Multiagent Systems, 4/06/12.

Partial goal satisfaction and goal change : weak and strong partial implication, logical properties, complexity. / Zhou, Yi; Torre, Leendert van der; Zhang, Yan et al.
Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings. International Foundation for Autonomous Agents and Multiagent Systems , 2008.

Research output: Chapter in Book / Conference Paper › Conference Paper

TY - GEN

T1 - Partial goal satisfaction and goal change : weak and strong partial implication, logical properties, complexity

AU - Zhou, Yi

AU - Torre, Leendert van der

AU - Zhang, Yan

AU - Kowalczyk, Ryszard

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 - distributed artificial intelligence

KW - intelligent agents (computer software)

KW - decision making

KW - goal change

KW - partial satisfaction

KW - nonclassical mathematical logic

UR - http://handle.uws.edu.au:8081/1959.7/45306

M3 - Conference Paper

SN - 9780981738109

BT - Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings

PB - International Foundation for Autonomous Agents and Multiagent Systems

T2 - International Conference on Autonomous Agents and Multiagent Systems

Y2 - 4 June 2012

ER -

Zhou Y, Torre LVD, Zhang Y, Kowalczyk R. Partial goal satisfaction and goal change : weak and strong partial implication, logical properties, complexity. In Service-oriented Computing: Agents, Semantics, and Engineering: AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008: Proceedings. International Foundation for Autonomous Agents and Multiagent Systems . 2008

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

Abstract

Conference

Keywords

Other files and links

Fingerprint

Cite this