In this paper, we consider each of the nine principles of BDI logics as defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a computa...
详细信息
We identify an important class of symmetries in constraint programming, arising from matrices of decision variables where rows and columns can be swapped. Whilst lexicographically ordering the rows(columns) breaks all...
详细信息
From the Publisher: The 30 coherently written chapters by leading researchers presented in this anthology are devoted to basic results achieved in computational intelligence since 1997. The book provides complete cove...
ISBN:
(纸本)9783540432692
From the Publisher: The 30 coherently written chapters by leading researchers presented in this anthology are devoted to basic results achieved in computational intelligence since 1997. The book provides complete coverage of the core issues in the field, especially in fuzzy logic and control as well as for evolutionary optimization algorithms including genetic programming, in a comprehensive and systematic way. Theoretical and methodological investigations are complemented by prototypic applications for design and management tasks in electrical engineering, mechanical engineering, and chemical engineering. This book will become a valuable source of reference for researchers active in computational intelligence. Advanced students and professionals interested in learning about and applying advanced techniques of computational intelligence will appreciate the book as a useful guide enhanced by numerous examples and applications in a variety of fields.
作者：
Jackson, DanielSoftware Design Group
Laboratory for Computer Science Department of Electrical Engineering and Computer Science MIT 200 Technology Square CambridgeMA02139 United States
Alloy is a lightweight language for software modelling. It’s designed to be flexible and expressive, and yet amenable to fully automatic simulation and checking. At its core, Alloy is a simple first order logic exten...
详细信息
This paper introduces a new filtering algorithm for handling systems of quadratic equations and inequations. Such constraints are widely used to model distance relations in numerous application areas ranging from robo...
详细信息
The Social Golfer Problem has been extensively used in recent years by the constraint community as an example of highly symmetric problem. It is an excellent problem for benchmarking symmetry breaking mechanisms such ...
详细信息
GSAT has been proven highly effective for solving certain classes of large SAT problems. It starts from a randomly generated truth assignment and tries to reduce the number of violated clauses by iteratively flipping ...
详细信息
Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. The concurrency model offers coordination via lock-sync...
详细信息
暂无评论