Machine Reconstruction Of Human Control Strategies

Planning of actions based on decision theory is a hot topic for many disciplines. Seemingly unlimited computing power, networking, integration and collaboration have meanwhile attracted the attention of fields like Machine Learning, Operations Research, Management Science and Computer Science. Software agents of e-commerce, mediators of Information Retrieval Systems and Database based Information Systems are typical new application areas. Until now, planning methods were successfully applied in production, logistics, marketing, finance, management, and used in robots, software agents etc. It is the special feature of the book that planning is embedded into decision theory, and this will give the interested reader new perspectives to follow-up.

This book presents contributions from world-renowned logicians, discussing important topics of logic from the point of view of their further development in light of requirements arising from successful application in Computer Science and AI language. Coverage includes: the logic of provability, computability theory applied to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

This book constitutes the refereed proceedings of the 14th European Conference on Machine Learning, ECML 2003, held in Cavtat-Dubrovnik, Croatia in September 2003 in conjunction with PKDD 2003. The 40 revised full papers presented together with 4 invited contributions were carefully reviewed and, together with another 40 ones for PKDD 2003, selected from a total of 332 submissions. The papers address all current issues in machine learning including support vector machine, inductive inference, feature selection algorithms, reinforcement learning, preference learning, probabilistic grammatical inference, decision tree learning, clustering, classification, agent learning, Markov networks, boosting, statistical parsing, Bayesian learning, supervised learning, and multi-instance learning.

The LNAI series reports state-of-the-art results in artificial intelligence research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R & D community, with numerous individuals, as well as with prestigious organizations and societies, LNAI has grown into the most comprehensive artificial intelligence research forum available. The scope of LNAI spans the whole range of artificial intelligence and intelligent information processing including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes proceedings (published in time for the respective conference) post-proceedings (consisting of thoroughly revised final full papers) research monographs (which may be based on PhD work) More recently, several color-cover sublines have been added featuring, beyond a collection of papers, various added-value components; these sublines include tutorials (textbook-like monographs or collections of lectures given at advance courses) state-of-the-art surveys (offering complete and mediated coverage of a topic) hot topics (introducing emergent topics to the broader community) In parallel to the printed book, each new volume is published electronically in LNCS Online. Book jacket.

This book constitutes the refereed proceedings of the 22nd International Symposium on Methodologies for Intelligent Systems, ISMIS 2015, held in Lyon, France, in October 2015. The 31 revised full papers presented together with 18 short papers were carefully reviewed and selected from 67 submissions. The papers are organized in topical sections on data mining methods; databases, information retrieval, recommender systems; machine learning; knowledge representation, semantic web; emotion recognition, music information retrieval; network analysis, multi-agent systems; applications; planning, classification; and textual data analysis and mining.

JCKBSE aims to provide a forum for researchers and practitioners to discuss the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. This volume is a collection of contributions of authors from 8 different countries. The book covers a wide range of topics related to knowledge-based or automated software engineering. architecture of knowledge; software and information systems; requirement engineering; domain analysis and modelling; formal and semiformal specifications; knowledge engineering for domain modelling; data mining and knowledge discovery; automating software design and synthesis; object-oriented and other programming paradigms; knowledge-based methods and tools for software engineering, including testing, verification and validation; process management, maintenance and evolution, applied semiotics for knowledge-based software engineering; knowledge systems methodology; development tools and environments; practical applications and experience of software and knowledge engineering; information technology in control, design, production, logistics and management; enterprise modelling and workflow.