Intelligent systems enhance the capacities made available by the internet and other computer-based technologies. This book is devoted to various aspects of the management of intelligent systems. Particular attention is paid to situations in which the available information and data may be imprecise, uncertain, incomplete or of linguistic nature. Various methods developed to manage such information are discussed in the context of several domains of application. Topics included in the book include preference modelling and decision making, learning, clustering and data mining, information retrieval. The paradigm of computing with words is also addressed.International Conference, TABLEAUX 2002. ... Among the different tools, there is a propositional theorem prover, boole, 1 based on binary decision diagrams, a system ... Architecture to Modal Nonmonotonic Logics Revisited 109 Implementation.
|Title||:||Automated Reasoning with Analytic Tableaux and Related Methods|
|Author||:||Uwe Egly, Christian G. Fernmüller|
|Publisher||:||Springer Science & Business Media - 2002-07-17|