Sciweavers

79 search results - page 12 / 16
» A multi-agent system of evidential reasoning for intelligenc...
Sort
View
SBIA
2004
Springer
15 years 3 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...
AAMAS
2005
Springer
14 years 9 months ago
Argumentation and the Dynamics of Warranted Beliefs in Changing Environments
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
Marcela Capobianco, Carlos Iván Chesñ...
JELIA
2004
Springer
15 years 3 months ago
Modelling Communicating Agents in Timed Reasoning Logics
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...
Natasha Alechina, Brian Logan, Mark Whitsey
IADIS
2008
14 years 11 months ago
A Case-Based Reasoning System to Forecast the Presence Of Oil Slicks
After an oil spill it is essential to know if an area is going to be affected by the oil slicks generated. The system presented here forecasts the presence or not of oil slicks in...
Juan M. Corchado, Aitor Mata, Juan Francisco de Pa...
ICAIL
2003
ACM
15 years 3 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco