The Experts below are selected from a list of 42492 Experts worldwide ranked by ideXlab platform
Lin B - One of the best experts on this subject based on the ideXlab platform.
-
Semi-Autonomous Agent Design for Spacecraft Payload System
Computer Simulation, 2007Co-Authors: Liu Wei, Lin BAbstract:Payload system is an important part of an spacecraft.A semi-Autonomous Agent for spacecraft payload system using intelligent method is put forward.Properly using the semi-Autonomous Agent's two properties:autono- my and constraint,the Agent has self-decision capability and it is also controlled by main-controlling system.After the Agent received the command from main-controlling system,the searching engine of the Agent runs the intelligent algorithm.Then the Agent arranges payloads to work based on payloads' priority,request state and spacecraft's re- source.This design can improve the whole spacecraft's efficiency.Simulation result indicates that the design can meet the technological demand.
Graeme Smith - One of the best experts on this subject based on the ideXlab platform.
-
Refining Autonomous Agents with declarative beliefs and desires
Formal Aspects of Computing, 2016Co-Authors: Graeme SmithAbstract:An Autonomous Agent is one that is not only directed by its environment, but is also driven by internal motivation to achieve certain goals based on beliefs about the environmental behaviour. Design paradigms for Autonomous Agents such as belief-desire-intention take into account the Agent's "mental" features when presenting its patterns of behaviour. In this paper we present an approach to modelling Autonomous Agents by introducing mental features to conventional transition system specifications. Mental features such as belief and desire are represented by declarative linear temporal logic formulas. Refinement is then proposed to define the correctness of the Agent design and development. It turns out, however, that the introduction of these mental features is not monotonic with respect to refinement. We therefore introduce additional refinement proof obligations to enable the use of simulation rules when checking refinement.
-
SBMF - A Refinement Framework for Autonomous Agents
Lecture Notes in Computer Science, 2013Co-Authors: Graeme SmithAbstract:An Autonomous Agent is one that is not only directed by its environment, but is also driven by internal motivation to achieve certain goals. The popular Belief-Desire-Intention (BDI) design paradigm allows such Agents to adapt to environmental changes by calculating a new execution path to their current goal, or when necessary turning to another goal. In this paper we present an approach to modelling Autonomous Agents using an extension to Object-Z. This extension supports both data and action refinement, and includes the use of LTL formulas to describe an Agent’s desire as a sequence of prioritised goals. It turns out, however, that the introduction of desire-driven behaviour is not monotonic with respect to refinement. We therefore introduce an additional refinement proof obligation to enable the use of simulation rules when checking refinement.
Laurent Orseau - One of the best experts on this subject based on the ideXlab platform.
-
Universal knowledge-seeking Agents
Theoretical Computer Science, 2014Co-Authors: Laurent OrseauAbstract:Reinforcement learning (RL) Agents like Hutter's universal, Pareto optimal, incomputable AIXI heavily rely on the definition of the rewards, which are necessarily given by some "teacher" to define the tasks to solve. Therefore, as is, AIXI. cannot be said to be a fully Autonomous Agent. From the point of view of artificial general intelligence (AGI), this can be argued to be an incomplete definition of a generally intelligent Agent. Furthermore, it has recently been shown that AIXI can converge to a suboptimal behavior in certain situations, hence showing the intrinsic difficulty of RL, with its non-obvious pitfalls. We propose a new model of intelligence, the knowledge-seeking Agent (KSA), halfway between Solomonoff induction and AIXI, that defines a completely Autonomous Agent that does not require a teacher. The goal of this Agent is not to maximize arbitrary rewards, but to entirely explore its world in an optimal way. A proof of strong asymptotic optimality for a class of horizon functions shows that this Agent behaves according to expectation. Some implications of such an unusual Agent are proposed.
-
Universal knowledge-seeking Agents
2011Co-Authors: Laurent OrseauAbstract:From a point of view of Artificial General Intelligence, R,L learners like Hutter's universal, Pareto optimal, incomputable AIXI heavily rely on the definition of the rewards, which are necessarily given by some "teacher" to define the tasks to solve. AIXI, as is, cannot therefore be said to be a fully Autonomous Agent. Furthermore, it has recently been shown that AIXI can converge to a suboptimal behavior in certain situations, hence showing the intrinsic difficulty of R,L, with its non-obvious pitfalls. We propose a new model of intelligence, the Knowledge-Seeking Agent (KSA), halfway between Solomonoff Induction and AIXI, that defines a completely Autonomous Agent that does riot require a teacher. The goal of this Agent is not to maximize arbitrary rewards, but "simply" to entirely explore its world in an optimal way. A proof of strong asymptotic optimality for a class of horizon functions shows that this Agent, unlike AIXI in its domain, behaves according to expectation. Some implications of such an unusual Agent are proposed.
Liu Wei - One of the best experts on this subject based on the ideXlab platform.
-
Semi-Autonomous Agent Design for Spacecraft Payload System
Computer Simulation, 2007Co-Authors: Liu Wei, Lin BAbstract:Payload system is an important part of an spacecraft.A semi-Autonomous Agent for spacecraft payload system using intelligent method is put forward.Properly using the semi-Autonomous Agent's two properties:autono- my and constraint,the Agent has self-decision capability and it is also controlled by main-controlling system.After the Agent received the command from main-controlling system,the searching engine of the Agent runs the intelligent algorithm.Then the Agent arranges payloads to work based on payloads' priority,request state and spacecraft's re- source.This design can improve the whole spacecraft's efficiency.Simulation result indicates that the design can meet the technological demand.
Vijay Varadharajan - One of the best experts on this subject based on the ideXlab platform.
-
a mobile Autonomous Agent based secure payment protocol supporting multiple payments
IEEE WIC ACM International Conference on Intelligent Agent Technology, 2005Co-Authors: Yan Wang, Vijay VaradharajanAbstract:In Agent based e-commerce applications, it is challengable to employ one mobile Agent to complete all transactions including payments due to the security consideration. In this paper, we propose a new Agent-assisted secure payment protocol, which is based on SET payment protocol and aims at enabling one dispatched consumer-Agent to Autonomously complete the payment on behalf of the cardholder with multiple merchants. This is realized on the basis of Signature-Share scheme, Signcryption-Share scheme, and a set of security mechanisms. On one hand, the dispatched consumer-Agent is able to Autonomously complete the deal and the payment on behalf of the cardholder with multiple merchants for buying multiple products. On the other hand, transaction records with merchants are protected against malicious hosts.
-
IAT - A mobile Autonomous Agent-based secure payment protocol supporting multiple payments
IEEE WIC ACM International Conference on Intelligent Agent Technology, 1Co-Authors: Yan Wang, Vijay VaradharajanAbstract:In Agent based e-commerce applications, it is challengable to employ one mobile Agent to complete all transactions including payments due to the security consideration. In this paper, we propose a new Agent-assisted secure payment protocol, which is based on SET payment protocol and aims at enabling one dispatched consumer-Agent to Autonomously complete the payment on behalf of the cardholder with multiple merchants. This is realized on the basis of Signature-Share scheme, Signcryption-Share scheme, and a set of security mechanisms. On one hand, the dispatched consumer-Agent is able to Autonomously complete the deal and the payment on behalf of the cardholder with multiple merchants for buying multiple products. On the other hand, transaction records with merchants are protected against malicious hosts.
