2007
Machado, J.; Andrade, F.; Neves, J.; Novais, P.; Analide, C.
Formal models in Web based contracting Proceedings Article
In: pp. 548-551, Hong Kong, 2007, ISBN: 0769527493; 9780769527499, (cited By 3; Conference of 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology ; Conference Date: 18 December 2006 Through 22 December 2006; Conference Code:69803).
Abstract | Links | BibTeX | Etiquetas: Autonomous agents; Contracts; Decision support systems; Financial data processing; Intelligent agents; Multi agent systems, Autonomous intelligent agents; Evolutionary logic theories; Formal models, Electronic commerce
@inproceedings{Machado2007548,
title = {Formal models in Web based contracting},
author = {J. Machado and F. Andrade and J. Neves and P. Novais and C. Analide},
url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-34250776977&doi=10.1109%2fWI-IATW.2006.74&partnerID=40&md5=74d0aeb2f8a60e1810267059ac5f6e81},
doi = {10.1109/WI-IATW.2006.74},
isbn = {0769527493; 9780769527499},
year = {2007},
date = {2007-01-01},
journal = {Proceedings - 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006 Workshops Proceedings)},
pages = {548-551},
address = {Hong Kong},
abstract = {Legal principles have some difficulty to deal with software agents celebrating contracts and operating in e-commerce environments without direct human intervention. Autonomous intelligent agents have a control on their own actions and states, supporting or taking effective decisions. Therefore, some qualitative parameters such as trust, reputation and quality of information have to be taken under consideration to evaluate, certify and justify such decisions. Indeed, this paper shows how to construct a dynamic virtual world of complex and interacting entities or agents, organized in terms of Multi-Agent Systems (MAS), that compete against one another in order to solve a particular problem, according to a rigorous selection regime in which its fitness is judged by one criterion alone, a measure of the quality of information of the agent or agents, here understood as evolutionary logic theories. This virtual world could witness the emergence of our first learning, thinking machines, that may cater for some issues on the evolution of formal models of the world in general, and on what is concerned with the objectives set to this work, in contracting, and foray into a vast, untapped technological market. © 2006 IEEE.},
note = {cited By 3; Conference of 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology ; Conference Date: 18 December 2006 Through 22 December 2006; Conference Code:69803},
keywords = {Autonomous agents; Contracts; Decision support systems; Financial data processing; Intelligent agents; Multi agent systems, Autonomous intelligent agents; Evolutionary logic theories; Formal models, Electronic commerce},
pubstate = {published},
tppubtype = {inproceedings}
}
Legal principles have some difficulty to deal with software agents celebrating contracts and operating in e-commerce environments without direct human intervention. Autonomous intelligent agents have a control on their own actions and states, supporting or taking effective decisions. Therefore, some qualitative parameters such as trust, reputation and quality of information have to be taken under consideration to evaluate, certify and justify such decisions. Indeed, this paper shows how to construct a dynamic virtual world of complex and interacting entities or agents, organized in terms of Multi-Agent Systems (MAS), that compete against one another in order to solve a particular problem, according to a rigorous selection regime in which its fitness is judged by one criterion alone, a measure of the quality of information of the agent or agents, here understood as evolutionary logic theories. This virtual world could witness the emergence of our first learning, thinking machines, that may cater for some issues on the evolution of formal models of the world in general, and on what is concerned with the objectives set to this work, in contracting, and foray into a vast, untapped technological market. © 2006 IEEE.
2003
Novais, P.; Neves, J.; Brito, L.; Machado, J.
Argumentative procedures in e-commerce environments Proceedings Article
In: pp. 703-716, Springer New York LLC, Lisbon, 2003, ISSN: 18684238, (cited By 1; Conference of 2nd IFIP Conference on E-Commerce, E-Business, E-Government, 13E 2002 ; Conference Date: 7 October 2002 Through 9 October 2002; Conference Code:106294).
Abstract | Links | BibTeX | Etiquetas: Argument-based negotiation; Argumentation schemes; Extended logic programming; Knowledge representation and reasoning; Mediator agents, Computer circuits; e-government; Formal methods; Intelligent agents; Knowledge representation; Logic programming; Software design, Electronic commerce
@inproceedings{Novais2003703,
title = {Argumentative procedures in e-commerce environments},
author = {P. Novais and J. Neves and L. Brito and J. Machado},
url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904245828&partnerID=40&md5=004f5c300f3aa77a530321ba2950390b},
issn = {18684238},
year = {2003},
date = {2003-01-01},
journal = {IFIP Advances in Information and Communication Technology},
volume = {105},
pages = {703-716},
publisher = {Springer New York LLC},
address = {Lisbon},
abstract = {The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal; i.e., besides being mathematically correct it makes the prototyping phase easier. However, although no simple methodology had yet been stated to address the complexity present in this approach, it not only addresses problems of architecture development and analysis, but also looks at problems of knowledge representation and reasoning, and machine learning. Such a framework will follow the Experience-Based Mediator agent paradigm particularly suited to take into account the argumentation schemes that are inherent to any electronic commerce deal. © 2003 by Springer Science+Business Media New York.},
note = {cited By 1; Conference of 2nd IFIP Conference on E-Commerce, E-Business, E-Government, 13E 2002 ; Conference Date: 7 October 2002 Through 9 October 2002; Conference Code:106294},
keywords = {Argument-based negotiation; Argumentation schemes; Extended logic programming; Knowledge representation and reasoning; Mediator agents, Computer circuits; e-government; Formal methods; Intelligent agents; Knowledge representation; Logic programming; Software design, Electronic commerce},
pubstate = {published},
tppubtype = {inproceedings}
}
The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal; i.e., besides being mathematically correct it makes the prototyping phase easier. However, although no simple methodology had yet been stated to address the complexity present in this approach, it not only addresses problems of architecture development and analysis, but also looks at problems of knowledge representation and reasoning, and machine learning. Such a framework will follow the Experience-Based Mediator agent paradigm particularly suited to take into account the argumentation schemes that are inherent to any electronic commerce deal. © 2003 by Springer Science+Business Media New York.