Foundations and practical applications of cognitive systems and information processing : proceedings of the first International Conference on Cognitive Systems and Information Processing, Beijing, China, Dec. 2012 (CSIP2012) / / Fuchun Sun, Dewen Hu, Huaping Liu, editors |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Heidelberg, Germany : , : Springer, , 2014 |
Descrizione fisica | 1 online resource (xx, 885 pages) : illustrations (chiefly color) |
Disciplina |
006.3
006.33 |
Collana | Advances in Intelligent Systems and Computing |
Soggetto topico | Computational intelligence |
ISBN | 3-642-37835-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Foundations of Cognitive Systems -- Information Processing -- Practical Applications. |
Record Nr. | UNINA-9910299719803321 |
Heidelberg, Germany : , : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of constraint satisfaction / / Edward Tsang |
Autore | Tsang Edward |
Pubbl/distr/stampa | London, England ; ; San Diego, California : , : Academic Press Limited, , 1993 |
Descrizione fisica | 1 online resource (440 p.) |
Disciplina | 006.33 |
Collana | Computation in Cognitive Science |
Soggetto topico |
Constraints (Artificial intelligence) - Mathematics
Constraints (Artificial intelligence) - Data processing |
ISBN | 1-4832-2049-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; Foundations of Constraint Satisfaction; Copyright Page; Series Preface; Dedication; Preface; Acknowledgements; Table of Contents; Notations and abbreviations; Chapter 1. Introduction; 1.1 What is a constraint satisfaction problem?; 1.2 Formal Definition of the CSP; 1.3 Constraint Representation and Binary CSPs; 1.4 Graph-related Concepts; 1.5 Examples and Applications of CSPs; 1.6 Constraint Programming; 1.7 Structure Of Subsequent Chapters; 1.8 Bibliographical Remarks; Chapter 2. CSP solving - An overview; 2.1 Introduction; 2.2 Problem Reduction
2.3 Searching For Solution Tuples2.4 Solution Synthesis; 2.5 Characteristics of Individual CSPs; 2.6 Summary; 2.7 Bibliographical Remarks; Chapter 3. Fundamental concepts in the CSP; 3.1 Introduction; 3.2 Concepts Concerning Satisfiability and Consistency; 3.3 Relating Consistency to Satisfiability; 3.4 (i,j)-consistency; 3.5 Redundancy of Constraints; 3.6 More Graph-related Concepts; 3.7 Discussion and Summary; 3.8 Bibliographical Remarks; Chapter 4. Problem reduction; 4.1 Introduction; 4.2 Node and Arc-consistency Achieving Algorithms; 4.3 Path-consistency Achievement Algorithms 4.4 Post-conditions of PC Algorithms4.5 Algorithm for Achieving k-consistency; 4.6 Adaptive-consistency; 4.7 Parallel/Distributed Consistency Achievement; 4.8 Summary; 4.9 Bibliographical Remarks; Chapter 5. Basic search strategies for solving CSPs; 5.1 Introduction; 5.2 General Search Strategies; 5.3 Lookahead Strategies; 5.4 Gather-information-while-searching Strategies; 5.5 Hybrid Algorithms and Truth Maintenance; 5.6 Comparison of Algorithms; 5.7 Summary; 5.8 Bibliographical Remarks; Chapter 6. Search orders in CSPs; 6.1 Introduction; 6.2 Ordering of Variables in Searching 6.3 Ordering of Values in Searching6.4 Ordering of Inferences in Searching; 6.5 Summary; 6.6 Bibliographical Remarks; Chapter 7. Exploitation of problem-specific features; 7.1 Introduction; 7.2 Problem Decomposition; 7.3 Recognition and Searching in k-trees; 7.4 Problem Reduction by Removing Redundant Constraints; 7.5 Cycle-cutsets, Stable Sets and Pseudo_Tree_Search; 7.6 The Tree-clustering Method; 7.7 j-width and Backtrack-bounded Search; 7.8 CSPs with Binary Numerical Constraints; 7.9 Summary; 7.10 Bibliographical Remarks; Chapter 8. Stochastic search methods for CSPs; 8.1 Introduction 8.2 Hill-climbing8.3 Connectionist Approach; 8.4 Summary; 8.5 Bibliographical Remarks; Chapter 9. Solution synthesis; 9.1 Introduction; 9.2 Freuder's Solution Synthesis Algorithm; 9.3 Seidel's Invasion Algorithm; 9.4 The Essex Solution Synthesis Algorithms; 9.5 When to Synthesize Solutions; 9.6 Concluding Remarks; 9.7 Bibliographical Remarks; Chapter 10. Optimization in CSPs; 10.1 Introduction; 10.2 The Constraint Satisfaction Optimization Problem; 10.3 The Partial Constraint Satisfaction Problem; 10.4 Summary; 10.5 Bibliographical Remarks; Programs; Bibliography; Index |
Record Nr. | UNINA-9910786639403321 |
Tsang Edward
![]() |
||
London, England ; ; San Diego, California : , : Academic Press Limited, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of constraint satisfaction / / Edward Tsang |
Autore | Tsang Edward |
Pubbl/distr/stampa | London, England ; ; San Diego, California : , : Academic Press Limited, , 1993 |
Descrizione fisica | 1 online resource (440 p.) |
Disciplina | 006.33 |
Collana | Computation in Cognitive Science |
Soggetto topico |
Constraints (Artificial intelligence) - Mathematics
Constraints (Artificial intelligence) - Data processing |
ISBN | 1-4832-2049-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; Foundations of Constraint Satisfaction; Copyright Page; Series Preface; Dedication; Preface; Acknowledgements; Table of Contents; Notations and abbreviations; Chapter 1. Introduction; 1.1 What is a constraint satisfaction problem?; 1.2 Formal Definition of the CSP; 1.3 Constraint Representation and Binary CSPs; 1.4 Graph-related Concepts; 1.5 Examples and Applications of CSPs; 1.6 Constraint Programming; 1.7 Structure Of Subsequent Chapters; 1.8 Bibliographical Remarks; Chapter 2. CSP solving - An overview; 2.1 Introduction; 2.2 Problem Reduction
2.3 Searching For Solution Tuples2.4 Solution Synthesis; 2.5 Characteristics of Individual CSPs; 2.6 Summary; 2.7 Bibliographical Remarks; Chapter 3. Fundamental concepts in the CSP; 3.1 Introduction; 3.2 Concepts Concerning Satisfiability and Consistency; 3.3 Relating Consistency to Satisfiability; 3.4 (i,j)-consistency; 3.5 Redundancy of Constraints; 3.6 More Graph-related Concepts; 3.7 Discussion and Summary; 3.8 Bibliographical Remarks; Chapter 4. Problem reduction; 4.1 Introduction; 4.2 Node and Arc-consistency Achieving Algorithms; 4.3 Path-consistency Achievement Algorithms 4.4 Post-conditions of PC Algorithms4.5 Algorithm for Achieving k-consistency; 4.6 Adaptive-consistency; 4.7 Parallel/Distributed Consistency Achievement; 4.8 Summary; 4.9 Bibliographical Remarks; Chapter 5. Basic search strategies for solving CSPs; 5.1 Introduction; 5.2 General Search Strategies; 5.3 Lookahead Strategies; 5.4 Gather-information-while-searching Strategies; 5.5 Hybrid Algorithms and Truth Maintenance; 5.6 Comparison of Algorithms; 5.7 Summary; 5.8 Bibliographical Remarks; Chapter 6. Search orders in CSPs; 6.1 Introduction; 6.2 Ordering of Variables in Searching 6.3 Ordering of Values in Searching6.4 Ordering of Inferences in Searching; 6.5 Summary; 6.6 Bibliographical Remarks; Chapter 7. Exploitation of problem-specific features; 7.1 Introduction; 7.2 Problem Decomposition; 7.3 Recognition and Searching in k-trees; 7.4 Problem Reduction by Removing Redundant Constraints; 7.5 Cycle-cutsets, Stable Sets and Pseudo_Tree_Search; 7.6 The Tree-clustering Method; 7.7 j-width and Backtrack-bounded Search; 7.8 CSPs with Binary Numerical Constraints; 7.9 Summary; 7.10 Bibliographical Remarks; Chapter 8. Stochastic search methods for CSPs; 8.1 Introduction 8.2 Hill-climbing8.3 Connectionist Approach; 8.4 Summary; 8.5 Bibliographical Remarks; Chapter 9. Solution synthesis; 9.1 Introduction; 9.2 Freuder's Solution Synthesis Algorithm; 9.3 Seidel's Invasion Algorithm; 9.4 The Essex Solution Synthesis Algorithms; 9.5 When to Synthesize Solutions; 9.6 Concluding Remarks; 9.7 Bibliographical Remarks; Chapter 10. Optimization in CSPs; 10.1 Introduction; 10.2 The Constraint Satisfaction Optimization Problem; 10.3 The Partial Constraint Satisfaction Problem; 10.4 Summary; 10.5 Bibliographical Remarks; Programs; Bibliography; Index |
Record Nr. | UNINA-9910812507903321 |
Tsang Edward
![]() |
||
London, England ; ; San Diego, California : , : Academic Press Limited, , 1993 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of constraint satisfaction / Edward Tsang |
Autore | Tsang, Edward |
Pubbl/distr/stampa | London ; San Diego : Academic Press, c1993 |
Descrizione fisica | xx, 320 p. : ill. ; 24 cm |
Disciplina | 006.33 |
Soggetto topico | Constraints (Artificial intelligence) |
ISBN | 0127016104 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000891309707536 |
Tsang, Edward
![]() |
||
London ; San Diego : Academic Press, c1993 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Foundations of decision-making agents [[electronic resource] ] : logic, probability and modality / / Subrata Das |
Autore | Das Subrata Kumar |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific |
Descrizione fisica | 1 online resource (385 p.) |
Disciplina | 006.33 |
Soggetto topico |
Intelligent agents (Computer software)
Artificial intelligence - Computer programs |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-93816-5
9786611938161 981-277-984-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ch. 1. Modeling agent epistemic states: an informal overview. 1.1. Models of agent epistemic states. 1.2. Propositional epistemic model. 1.3. Probabilistic epistemic model. 1.4. Possible world epistemic model. 1.5. Comparisons of models. 1.6. P3 model for decision-making agents -- ch. 2. Mathematical preliminaries. 2.1. Usage of symbols. 2.2. Sets, relations, and functions. 2.3. Graphs and trees. 2.4. Probability. 2.5. Algorithmic complexity -- ch. 3. Classical logics for the propositional epistemic model. 3.1. Propositional logic. 3.2. First-order logic. 3.3. Theorem proving procedure. 3.4. Resolution theorem proving. 3.5. Refutation procedure. 3.6. Complexity analysis -- ch. 4. Logic programming. 4.1. The concept. 4.2. Program clauses and goals. 4.3. Program semantics. 4.4. Definite programs. 4.5. Normal programs. 4.6. Prolog. 4.7. Prolog systems. 4.8. Complexity analysis -- ch. 5. Logical rules for making decisions. 5.1. Evolution of rules. 5.2. Bayesian probability theory for handling uncertainty. 5.3. Dempster-Shafer theory for handling uncertainty. 5.4. Measuring consensus. 5.5. Combining sources of varying confidence. 5.6. Advantages and disadvantages of rule-based systems -- ch. 6. Bayesian belief networks. 6.1. Bayesian belief networks. 6.2. Conditional independence in belief networks. 6.3. Evidence, belief, and likelihood. 6.4. Prior probabilities in networks without evidence. 6.5. Belief revision. 6.6. Evidence propagation in polytrees. 6.7. Evidence propagation in directed acyclic graphs. 6.8. Complexity of inference algorithms. 6.9. Acquisition of probabilities. 6.10. Advantages and disadvantages of belief networks. 6.11. Belief network tools -- ch. 7. Influence diagrams for making decisions. 7.1. Expected utility theory and decision trees. 7.2. Influence diagrams. 7.3. Inferencing in influence diagrams. 7.4. Compilation of influence diagrams. 7.5. Inferencing in strong junction tress -- ch. 8. Modal logics for the possible world epistemic model. 8.1. Historical development of modal logics. 8.2. Systems of modal logic. 8.3. Deductions in modal systems. 8.4. Modality. 8.5. Decidability and matrix method. 8.6. Relationships among modal systems. 8.7. Possible world semantics. 8.8. Soundness and completeness results. 8.9. Complexity and decidability of modal systems. 8.10. Modal first-order logics. 8.11. Resolution in modal first-order logics. 8.12. Modal epistemic logics. 8.13. Logic of agents beliefs (LAB) -- ch. 9. Symbolic argumentation for decision-making. 9.1. Toulmin's model of argumentation. 9.2. Domino decision-making model for P3. 9.3. Knowledge representation syntax of P3. 9.4. Formalization of P3 via LAB. 9.5. Aggregation via Dempster-Shafer theory. 9.6. Aggregation via Bayesian belief networks. |
Record Nr. | UNINA-9910453551803321 |
Das Subrata Kumar
![]() |
||
Singapore ; ; Hackensack, NJ, : World Scientific | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of decision-making agents [[electronic resource] ] : logic, probability and modality / / Subrata Das |
Autore | Das Subrata Kumar |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific |
Descrizione fisica | 1 online resource (385 p.) |
Disciplina | 006.33 |
Soggetto topico |
Intelligent agents (Computer software)
Artificial intelligence - Computer programs |
ISBN |
1-281-93816-5
9786611938161 981-277-984-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ch. 1. Modeling agent epistemic states: an informal overview. 1.1. Models of agent epistemic states. 1.2. Propositional epistemic model. 1.3. Probabilistic epistemic model. 1.4. Possible world epistemic model. 1.5. Comparisons of models. 1.6. P3 model for decision-making agents -- ch. 2. Mathematical preliminaries. 2.1. Usage of symbols. 2.2. Sets, relations, and functions. 2.3. Graphs and trees. 2.4. Probability. 2.5. Algorithmic complexity -- ch. 3. Classical logics for the propositional epistemic model. 3.1. Propositional logic. 3.2. First-order logic. 3.3. Theorem proving procedure. 3.4. Resolution theorem proving. 3.5. Refutation procedure. 3.6. Complexity analysis -- ch. 4. Logic programming. 4.1. The concept. 4.2. Program clauses and goals. 4.3. Program semantics. 4.4. Definite programs. 4.5. Normal programs. 4.6. Prolog. 4.7. Prolog systems. 4.8. Complexity analysis -- ch. 5. Logical rules for making decisions. 5.1. Evolution of rules. 5.2. Bayesian probability theory for handling uncertainty. 5.3. Dempster-Shafer theory for handling uncertainty. 5.4. Measuring consensus. 5.5. Combining sources of varying confidence. 5.6. Advantages and disadvantages of rule-based systems -- ch. 6. Bayesian belief networks. 6.1. Bayesian belief networks. 6.2. Conditional independence in belief networks. 6.3. Evidence, belief, and likelihood. 6.4. Prior probabilities in networks without evidence. 6.5. Belief revision. 6.6. Evidence propagation in polytrees. 6.7. Evidence propagation in directed acyclic graphs. 6.8. Complexity of inference algorithms. 6.9. Acquisition of probabilities. 6.10. Advantages and disadvantages of belief networks. 6.11. Belief network tools -- ch. 7. Influence diagrams for making decisions. 7.1. Expected utility theory and decision trees. 7.2. Influence diagrams. 7.3. Inferencing in influence diagrams. 7.4. Compilation of influence diagrams. 7.5. Inferencing in strong junction tress -- ch. 8. Modal logics for the possible world epistemic model. 8.1. Historical development of modal logics. 8.2. Systems of modal logic. 8.3. Deductions in modal systems. 8.4. Modality. 8.5. Decidability and matrix method. 8.6. Relationships among modal systems. 8.7. Possible world semantics. 8.8. Soundness and completeness results. 8.9. Complexity and decidability of modal systems. 8.10. Modal first-order logics. 8.11. Resolution in modal first-order logics. 8.12. Modal epistemic logics. 8.13. Logic of agents beliefs (LAB) -- ch. 9. Symbolic argumentation for decision-making. 9.1. Toulmin's model of argumentation. 9.2. Domino decision-making model for P3. 9.3. Knowledge representation syntax of P3. 9.4. Formalization of P3 via LAB. 9.5. Aggregation via Dempster-Shafer theory. 9.6. Aggregation via Bayesian belief networks. |
Record Nr. | UNINA-9910782274603321 |
Das Subrata Kumar
![]() |
||
Singapore ; ; Hackensack, NJ, : World Scientific | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of Intelligent Systems [[electronic resource] ] : 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings / / edited by Troels Andreasen, Henning Christiansen, Juan-Carlos Cubero, Zbigniew W. Ras |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 568 p. 160 illus.) |
Disciplina | 006.33 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-319-08326-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Complex networks and data stream mining -- Data mining methods -- Intelligent systems applications -- Knowledge representation in databases and systems -- Textual data analysis and mining -- Special session: challenges in text mining and semantic information retrieval -- Special session: warehousing and OLA Ping complex, spatial and spatio-temporal data -- ISMIS posters. |
Record Nr. | UNISA-996199994103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of Intelligent Systems : 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings / / edited by Troels Andreasen, Henning Christiansen, Juan-Carlos Cubero, Zbigniew W. Ras |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXII, 568 p. 160 illus.) |
Disciplina | 006.33 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
ISBN | 3-319-08326-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Complex networks and data stream mining -- Data mining methods -- Intelligent systems applications -- Knowledge representation in databases and systems -- Textual data analysis and mining -- Special session: challenges in text mining and semantic information retrieval -- Special session: warehousing and OLA Ping complex, spatial and spatio-temporal data -- ISMIS posters. |
Record Nr. | UNINA-9910483326103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations of Intelligent Systems [[electronic resource] ] : 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012, Proceedings / / edited by Li Chen, Alexander Felfernig, Jiming Liu, Zbigniew W. Ras |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XX, 468 p. 152 illus.) |
Disciplina | 006.33 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Data mining Database management Information storage and retrieval Application software User interfaces (Computer systems) Artificial Intelligence Data Mining and Knowledge Discovery Database Management Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-34624-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Knowledge discovery and data mining -- Intelligent information systems -- Text mining and language processing -- Knowledge representation and integration -- Music information retrieval -- Recommender systems -- Technology intelligence and applications -- Product configuration -- Human factors in information retrieval -- Social recommender systems -- Rehousing and OLAPing complex, spatial and spatio-temporal data. |
Record Nr. | UNISA-996466311703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Foundations of intelligent systems : 16th international symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006 : proceedings / / Floriana Esposito [and three others] (editors) |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2006] |
Descrizione fisica | 1 online resource (XVIII, 770 p.) |
Disciplina | 006.33 |
Collana | Lecture notes in computer science |
Soggetto topico |
Expert systems (Computer science)
Intelligent agents (Computer software) Artificial intelligence |
ISBN | 3-540-45766-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Active Media Human-Computer Interaction -- Computational Intelligence -- Intelligent Agent Technology -- Intelligent Information Retrieval -- Intelligent Information Systems -- Knowledge Representation and Integration -- Knowledge Discovery and Data Mining -- Logic for AI and Logic Programming -- Machine Learning -- Text Mining -- Web Intelligence. |
Record Nr. | UNISA-996466133203316 |
Berlin ; ; Heidelberg ; ; New York : , : Springer, , [2006] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|