Bøger i Cognitive Technologies serien

"Only a small community has concentratedon general intelligence. What distinguishes AGI work from run-of-the-mill "arti?cial intelligence" research is that it is explicitly focused on engineering general intelligence in the short term.

"Only a small community has concentratedon general intelligence. What distinguishes AGI work from run-of-the-mill "arti?cial intelligence" research is that it is explicitly focused on engineering general intelligence in the short term.

This book covers modularity and independence in classical and nonclassical logic, including many-valued logics and structures, plus neighbourhood semantics and their connection to independence, as well as their common points and differences for various logics.

This book presents general methods for analysing the complexity of optimisation problems cast as valued constraint satisfaction problems (VCSPs). It is an ideal resource for researchers in constraint programming and discrete optimisation.

We review the elements of the graphical user interface of traditional spreadsheet applications and describe practical methodologies for designing user interfaces borrowed from the field of cognitive psychology.

This book uses the latest in knowledge representation and human-computer interaction to address the problem of contextual computing in artificial intelligence. It uses high-level context to solve some challenging problems in natural language understanding.

The European Commission funded a series of related research projects on emotion and computing, culminating in the HUMAINE project which brought together leading academic researchers from the many related disciplines.

Given that context-free grammars (CFG) cannot adequately describe natural languages, grammar formalisms beyond CFG that are still computationally tractable are of central interest for computational linguists.

This book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic. The authors illustrate the idea through the presentation of various algorithms and offer the most-up-to-date book on this topic.