Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Expert systems (Computer science) --- Systèmes experts (Informatique) --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The field of soft computing is emerging from the cutting edge research over the last ten years devoted to fuzzy engineering and genetic algorithms. The subject is being called soft computing and computational intelligence. With acceptance of the research fundamentals in these important areas, the field is expanding into direct applications through engineering and systems science.This book cover the fundamentals of this emerging filed, as well as direct applications and case studies. There is a need for practicing engineers, computer scientists, and system scientists to directly apply "

Computational intelligence. --- Soft computing. --- Expert systems (Computer science) --- Informatique douce --- Systèmes experts (Informatique) --- Computational intelligence --- Soft computing --- Expert systems (Computer science). --- Intelligence, Computational --- Artificial intelligence --- Cognitive computing --- Electronic data processing --- E-books --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Computer systems

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book's Web site.

Knowledge representation (Information theory) --- Expert systems (Computer science) --- Logic, Symbolic and mathematical --- Représentation des connaissances --- Systèmes experts (Informatique) --- Logique symbolique et mathématique --- Systèmes experts (informatique) --- Logique mathématique --- Logic, Symbolic and mathematical. --- 681.3*I24 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing --- Representation of knowledge (Information theory) --- Information theory --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Engineering & Applied Sciences --- Computer Science --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Représentation des connaissances. --- Logique mathématique. --- COMPUTER SCIENCE/Artificial Intelligence

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Accounting --- Business --- Expert systems (Computer science) --- Artificial intelligence --- Comptabilité --- Gestion --- Systèmes experts (Informatique) --- Intelligence artificielle --- Artificial intelligence. --- Gestion. --- Intelligence artificielle. --- Traitement des données. --- Système expert. --- Data processing --- Informatique --- Data processing. --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Automated accounting systems --- Computerized accounting systems --- Machine accounting --- Artificial Intelligence. --- Accounting & Tax. --- Computer systems --- Soft computing --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Comptabilité --- Systèmes experts (Informatique) --- Traitement des données. --- Système expert.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Accounting --- Artificial intelligence --- Business --- Expert systems (Computer science) --- Data processing --- Comptabilité --- Gestion --- Systèmes experts (Informatique) --- Intelligence artificielle --- Artificial intelligence. --- Informatique --- Data processing. --- Business, Economy and Management --- Information Technology --- Accounting and Auditing --- Business Management --- Finance --- General and Others --- Trade and Commerce --- Insurance Financial Systems --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Automated accounting systems --- Computerized accounting systems --- Machine accounting --- Computer systems --- Soft computing --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Corporate finance