Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Meta-axioms and Complex Preferences in Evolving Logical Agents
October 2011
MACPELA
We introduce some improvements to a framework that we have previously proposed, based upon a multi-layered general agent model, where at each layer temporal-logic-like axioms and meta-axioms can be defined and dynamically checked. Their violation determines suitable repair actions to be undertaken by means of appropriate agent’s self-modifications. This in the perspective of a society of agents, where individuals should be able to learn and enlarge their patterns of behavior by observing and generalizing their observations, and also by “imitating” other agents, or by “being told” by them. Here, we extend the overall setting on the one hand by augmenting the temporal-logic-like rules with an ordered conjunction for checking/enforcing an order on events and actions, and on the other hand by introducing the possibility of defining and exploiting complex preferences based upon a (simplified) form of modal reasoning.
In proceedings
S. Costantini
L. Antunes
Procs.15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011)
-
Associação Portuguesa para a Inteligência Artificial
http://www.appia.pt/
-
580-594
978-989-95618-4-7
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/meta-axioms.pdf
Export formats
S. Costantini, Meta-axioms and Complex Preferences in Evolving Logical Agents, in: L. Antunes (eds), Procs.15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011), Associação Portuguesa para a Inteligência Artificial, http://www.appia.pt/, ISBN 978-989-95618-4-7, Pag. 580-594, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/meta-axioms.pdf), October 2011.
S. Costantini, <b>Meta-axioms and Complex Preferences in Evolving Logical Agents</b>, in: L. Antunes (eds), <u>Procs.15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011)</u>, <a href="http://www.appia.pt/" title="Link to external entity..." target="_blank" class="publisher">Associação Portuguesa para a Inteligência Artificial</a>, http://www.appia.pt/, ISBN 978-989-95618-4-7, Pag. 580-594, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/meta-axioms.pdf" target="_blank">url</a>), October 2011.
@inproceedings {MACPELA, author = {S. Costantini}, editor = {L. Antunes}, title = {Meta-axioms and Complex Preferences in Evolving Logical Agents}, booktitle = {Procs.15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011)}, publisher = {Associa\c{c}{\~a}o Portuguesa para a Intelig{\^e}ncia Artificial}, address = {http://www.appia.pt/}, pages = {580-594}, isbn = {978-989-95618-4-7}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/meta-axioms.pdf}, abstract = {We introduce some improvements to a framework that we have previously proposed, based upon a multi-layered general agent model, where at each layer temporal-logic-like axioms and meta-axioms can be defined and dynamically checked. Their violation determines suitable repair actions to be undertaken by means of appropriate agent’s self-modifications. This in the perspective of a society of agents, where individuals should be able to learn and enlarge their patterns of behavior by observing and generalizing their observations, and also by “imitating” other agents, or by “being told” by them. Here, we extend the overall setting on the one hand by augmenting the temporal-logic-like rules with an ordered conjunction for checking/enforcing an order on events and actions, and on the other hand by introducing the possibility of defining and exploiting complex preferences based upon a (simplified) form of modal reasoning.}, keywords = {Meta-axioms, Preferences, Evolving Agents, Temporal Logic}, month = {October}, year = {2011}, }
Publication's urls
/publications/view.php?code=0fe0f964aa12e9e1d9f71f9b5f69d35a
/publications/view.php?code=MACPELA

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT