problems. This book is the result of work on systems for the cognitive analysis and