Requirements Analysis of an Agent’s Reasoning Capability | Zendy

Tibor Bosse | Zendy; Catholijn M. Jonker | Zendy; Jan Treur | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Requirements Analysis of an Agent’s Reasoning Capability

Author(s) -

Tibor Bosse,

Catholijn M. Jonker,

Jan Treur

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-48291-1

DOI - 10.1007/11916291_4

Subject(s) - computer science , trace (psycholinguistics) , reasoning system , intelligent agent , artificial intelligence , opportunistic reasoning , case based reasoning , model based reasoning , qualitative reasoning , automated reasoning , software engineering , knowledge representation and reasoning , philosophy , linguistics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research