Requirements Analysis of an Agent's Reasoning Capability
نویسندگان
چکیده
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.
منابع مشابه
Thinking Takes Time: a Modal Active-logic for Reasoning in Time Thinking Takes Time: a Modal Active-logic for Reasoning in Time
Most common sense reasoning formalisms do not account for the passage of time as the reasoning occurs, and hence are inadequate from the point of view of modeling an agent's ongoing process of reasoning. We present a modal active-logic that treats time as a valuable resource that is consumed in each step of the agent's reasoning. We provide a sound and complete characterization for this logic a...
متن کاملEstimating process capability indices using ridge regression
Process capability indices show the ability of a process to produce products according to the pre-specified requirements. Since final quality characteristics of a product are usually interrelated to its previous amounts in earlier workstations, one need to model and consider the relationship among them to assess the process ca-pability properly. Hence, conducting process capability analysis in ...
متن کاملExplanation of Agent's Professional Capabilities in Agriculture Jihad for Rural Development of Kermanshah Province
Introduction Rural planning is one of the most important activities for agents and planners of development. Agriculture Jihad aims to accomplish rural development purposes through codification of plans and activities to increase the level of awareness and professional skills of villagers. In developing countries, it is a problem that rural planners do not have enough technical and profession...
متن کاملReasoning Agents in Dynamic Domains
The paper discusses an architecture for intelligent agents based on the use of A-Prolog-a language of logic programs under the answer set semantics. A-Prolog is used to represent the agent's knowledge about the domain and to formulate the agent's reasoning tasks. We outline how these tasks can be reduced to answering questions about properties of simple logic programs and demonstrate the method...
متن کاملCon ict-free normative agents using assumption-based argumentation
Argumentation can serve as a useful abstraction for various agent activities and in particular for agent reasoning. In this paper we further support this claim by mapping a form of normative BDI agents onto assumption-based argumentation. By way of this mapping we equip our agents with the capability of resolving con icts amongst norms, beliefs, desires and intentions. This con ict resolution i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005