Publication details

Publication details Main information Title: Meta-axioms with Complex Preferences in Evolving Logical Agents Publication date: October 2011 Citation: Meta-w-CPELA 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. In proceedings Authors: S. Costantini, P. Dell'Acqua, Luís Moniz Pereira, Francesca Toni Editors: L. Antunes, et al. Book title: Procs.15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011) Series: - Publisher: Associação Portuguesa para a Inteligência Artificial Address: www.appia.pt Volume: - Pages: 580-594 ISBN: - ISSN: 978-989-95618-4-7 Note: - Url address: http://centria.di.fct.unl.pt/~lmp/publications/online-papers/meta-axioms.pdf Export formats Plain text: S. Costantini and P. Dell'Acqua and Luís Moniz Pereira and Francesca Toni, Meta-axioms with Complex Preferences in Evolving Logical Agents, in: L. Antunes and et al. (eds), Procs.15th Portuguese Intl. Conf. on Artificial Intelligence (EPIA 2011), Associação Portuguesa para a Inteligência Artificial, www.appia.pt, ISSN 978-989-95618-4-7, Pag. 580-594, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/meta-axioms.pdf), October 2011. HTML: S. Costantini, <a href="/people/members/view.php?code=c3899b9bc15364381381c58d138af552" class="author">P. Dell'Acqua</a>, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and Francesca Toni, <b>Meta-axioms with Complex Preferences in Evolving Logical Agents</b>, in: L. Antunes and et al. (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>, www.appia.pt, ISSN 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. BibTeX: @inproceedings {Meta-w-CPELA, author = {S. Costantini and P. Dell'Acqua and Lu\'{\i}s Moniz Pereira and Francesca Toni}, editor = {L. Antunes and et al.}, title = {Meta-axioms with 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 = {www.appia.pt}, pages = {580-594}, issn = {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 Full url: /publications/view.php?code=4d48b92a83e2e7d0e34a45cfeb526ea8 Friendly url: /publications/view.php?code=Meta-w-CPELA