The logic relationship between [f (x) < 0] and [/spl delta/ = 1] is deduced to supplement the logic rules in the mixed logical dynamical (MLD) system framework. Then, the models of a process control experiment cons...
详细信息
ISBN:
(纸本)0780382730
The logic relationship between [f (x) < 0] and [/spl delta/ = 1] is deduced to supplement the logic rules in the mixed logical dynamical (MLD) system framework. Then, the models of a process control experiment consisting of piecewise linear functions are rewritten, in order to optimize the control parameter, which is originally determined by thousand times of simulations. Two simulations of the control experiment, a "slow switch" one and a "fast switch" one, are performed, and the transient state analysis are provided.
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competences and explicit multi-agent functiona...
详细信息
Despite the relevance of the belief-desire-intention (BDI) model of rational agency, little work has been done to deal with its two main limitations: the lack of learning competences and explicit multi-agent functionality. Our work deals with the problem of designing BDI learning agents situated in a multi-agent system (MAS). From the MAS learning perspective, we have proposed an extended BDI architecture, where agents are able to perform induction of first-order logical decision trees. These agents learn about their practical reasons to adopt a plan as an intention. Particularly, induction is used to update these reasons (the context of plans), if a plan fails when executed, after it had been selected to form an intention. Here, we emphasize the way MAS concepts, as cooperative goal adoption, enable distributed forms of learning, e.g., distributed data gathering. Consistency between learning and the theory of practical reasoning is guaranteed, i.e., learning is just another competence of the agents, performed under BDI rationality.
In manufacture industry, better supply chain management (SCM) not only improves efficiency of business processes, but play important roles in a series of cost reductions. In a product manufacture, the initial design i...
详细信息
In manufacture industry, better supply chain management (SCM) not only improves efficiency of business processes, but play important roles in a series of cost reductions. In a product manufacture, the initial design is more important from viewpoint of the cost reduction in the whole cycle. It becomes important how a designer collects the information on necessary parts for product design, and the system to search information efficiently at design stage is required. Information infrastructure to support design in SCM was developed on a semantic Web service environment that can provide interoperable service interfaces for integrated design attributes to agents and users. Design support agent (DSAgent), as a client for information infrastructure, helps the designer to find the desired product information. But this search process requires autonomy that lacks in DSAgent. As designers must change input values repeatedly to complete finding the desired product information, we suggest an autonomous DSAgent (ADSAgent) in this paper. To add autonomy, we used situation calculus, which is the schema for representing the dynamic changing world. The model to define the world was written in ConGolog statements, which is logic programming language based on situation calculus. This will facilitate user to find the desired product information and reduce user operations.
Change can be observed in our environment and in the technology we build. While changes in the environment happen continuously and implicitly, our technology has to be kept in sync with the changing world around it. A...
详细信息
Change can be observed in our environment and in the technology we build. While changes in the environment happen continuously and implicitly, our technology has to be kept in sync with the changing world around it. Although for some of the changes we can prepare, for most of them we cannot. This is especially true for next generation mobile communication systems that are expected to support the creation of a ubiquitous society where virtually everything is connected and made available within an organic information network. Resources frequently join or leave the network, new types of media or new combinations of existing ones are used to interact and cooperate, and services are tailored to preferences and needs of individual customers to better meet their needs. We outline our research in the area of dynamic service adaptation to provide concepts and technologies allowing for such environments.
In this paper, we explore two important latency issues associated with using an embedded processor as an assistant to programmable logic within a logic-centric system implemented on a platform FPGA. The context is tha...
详细信息
In this paper, we explore two important latency issues associated with using an embedded processor as an assistant to programmable logic within a logic-centric system implemented on a platform FPGA. The context is that of the 'software decelerator' - a term introduced by the authors in 2003 to describe a logic-centric counterpart of the familiar hardware accelerator. We first focus on minimizing latency in the logic-processor interface, introducing an efficient interrupt-driven control mechanism. Then, in the context of a case study on packet address lookup, we focus on minimizing latency in memory interfaces, using the processor's hardware cache mechanism for assistance.
This paper presents some Web Intelligence related systems developed at the WIC Beijing Research Center, such as Web-Based Intelligent Tutoring System, Recommended System in e-Business and Web-Text Mining System. In ad...
详细信息
ISBN:
(纸本)9780769521008
This paper presents some Web Intelligence related systems developed at the WIC Beijing Research Center, such as Web-Based Intelligent Tutoring System, Recommended System in e-Business and Web-Text Mining System. In addition, we also introduce our other related work including Constraint Inductive logic programming (CILP), Genetic Inductive logic programming (GILP), association rules mining and Bayesian network learning.
Constraint logic programming (CLP) has been used to model programs and transition systems for the purpose of verification problems. In particular, it has been used to model timed safety automata (TSA). In this paper, ...
详细信息
Constraint logic programming (CLP) has been used to model programs and transition systems for the purpose of verification problems. In particular, it has been used to model timed safety automata (TSA). In this paper, we start with a systematic translation of TSA into CLP. The main contribution is an expressive assertion language and a CLP inference method for proving assertions. A distinction of the assertion language is that it can specify important properties beyond traditional safety properties. We highlight one important property: that a system of processes is symmetric. The inference mechanism is based upon the well-known method of tabling in logic programming. It is distinguished by its ability to use assertions that are not yet proven, using a principle of coinduction. Apart from given assertions, the proof mechanism can also prove implicit assertions such as discovering a lower or upper bound of a variable. Finally, we demonstrate significant improvements over state-of-the-art systems using standard TSA benchmark examples.
暂无评论