Categorical Approaches to Models and Behaviors of Autonomic Agent Systems

Categorical Approaches to Models and Behaviors of Autonomic Agent Systems

Phan Cong-Vinh (NTT University, Vietnam)
DOI: 10.4018/jcini.2009010102
OnDemand PDF Download:
$37.50

Abstract

A new computing paradigm is currently on the spot: interaction based on series of actions. Most of autonomic agent systems (AASs) exploit this type of interaction to self-adjust their autonomous behaviors as a fundamental operational paradigm. At an interaction interface, actions evolve over time, hence series of actions occurs as a royal candidate for modeling, specifying, programming, and verifying AASs. For considering AASs, series of actions and adaptation relations; our formal approach consists, in particular, of categorical models and behaviors such that, firstly , AASs, series of actions and adaptation relations will categorically be modeled to provide algebraic frameworks for development of reasoning on their behaviors and, secondly, categorical behaviors of AASs, series of action and adaptation relations will be investigated and developed taking advantage of their categorical models.

Complete Article List

Search this Journal:
Reset
Open Access Articles: Forthcoming
Volume 11: 4 Issues (2017): Forthcoming, Available for Pre-Order
Volume 10: 4 Issues (2016)
Volume 9: 4 Issues (2015)
Volume 8: 4 Issues (2014)
Volume 7: 4 Issues (2013)
Volume 6: 4 Issues (2012)
Volume 5: 4 Issues (2011)
Volume 4: 4 Issues (2010)
Volume 3: 4 Issues (2009)
Volume 2: 4 Issues (2008)
Volume 1: 4 Issues (2007)
View Complete Journal Contents Listing