A logic-based calculus of events
New Generation Computing
A new deductive approach to planning
New Generation Computing
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Principles of component-based design of intelligent agents
Data & Knowledge Engineering
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Goal-Based Requirements Analysis
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
LEADSTO: a language and environment for analysis of dynamics by simulation
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
Empirical Analysis for Agent System Comprehension and Verification
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Tools for analyzing intelligent agent systems
Web Intelligence and Agent Systems
Towards requirement analysis pattern for learning agents
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
| Hi-index | 0.00 |
The aim of requirements analysis for an agent that is to be designed is to identify what characteristic capabilities the agent should have. One of the characteristics usually expected for intelligent agents is the capability of reasoning. This paper shows how a requirements analysis of an agent’s reasoning capability can be made. Reasoning processes may involve dynamically introduced or retracted assumptions: ‘reasoning by assumption’. It is shown for this type of reasoning how relevant dynamic properties at different levels of aggregation can be identified as requirements that characterize the reasoning capability. A software agent has been built that performs this type of reasoning. The dynamic properties have been expressed using the temporal trace language TTL and can and have been checked automatically for sample traces.