1 resultado para formalism
em Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (4)
- Academic Archive On-line (Stockholm University; Sweden) (1)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (13)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (6)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (21)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (8)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (33)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (22)
- Biblioteca Digital de la Universidad Católica Argentina (1)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (12)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (12)
- Boston University Digital Common (10)
- Brock University, Canada (6)
- CaltechTHESIS (20)
- Cambridge University Engineering Department Publications Database (2)
- CentAUR: Central Archive University of Reading - UK (20)
- Central European University - Research Support Scheme (2)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (36)
- Cochin University of Science & Technology (CUSAT), India (7)
- CORA - Cork Open Research Archive - University College Cork - Ireland (4)
- Dalarna University College Electronic Archive (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (3)
- Digital Commons - Michigan Tech (1)
- Digital Peer Publishing (1)
- Diposit Digital de la UB - Universidade de Barcelona (6)
- Duke University (6)
- Greenwich Academic Literature Archive - UK (15)
- Helda - Digital Repository of University of Helsinki (11)
- Indian Institute of Science - Bangalore - Índia (137)
- INSTITUTO DE PESQUISAS ENERGÉTICAS E NUCLEARES (IPEN) - Repositório Digital da Produção Técnico Científica - BibliotecaTerezine Arantes Ferra (1)
- Instituto Politécnico do Porto, Portugal (5)
- Massachusetts Institute of Technology (7)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (58)
- Queensland University of Technology - ePrints Archive (27)
- RDBU - Repositório Digital da Biblioteca da Unisinos (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (6)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (1)
- Repositório Digital da Universidade Municipal de São Caetano do Sul - USCS (2)
- Repositório Institucional da Universidade de Aveiro - Portugal (2)
- Repositório Institucional da Universidade Estadual de São Paulo - UNESP (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (372)
- SAPIENTIA - Universidade do Algarve - Portugal (1)
- Universidad del Rosario, Colombia (1)
- Universidad Politécnica de Madrid (4)
- Universidade Federal do Pará (11)
- Universidade Federal do Rio Grande do Norte (UFRN) (24)
- Universitat de Girona, Spain (2)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (1)
- Université de Montréal, Canada (10)
- University of Michigan (1)
- University of Queensland eSpace - Australia (2)
- WestminsterResearch - UK (3)
Resumo:
Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.