Chronicles: Formalization of a Temporal Model [[electronic resource] /] / by Thomas Guyet, Philippe Besnard |
Autore | Guyet Thomas |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (132 pages) |
Disciplina | 006.312 |
Altri autori (Persone) | BesnardPhilippe |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Data mining
Pattern recognition systems Space in economics Data Mining and Knowledge Discovery Automated Pattern Recognition Spatial Economics |
ISBN | 3-031-33693-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Contents -- List of Symbols -- List of Figures -- 1 Introduction -- 1.1 Why Study Chronicles? -- 1.1.1 Situation Recognition -- 1.1.2 Abstracting Sequences -- 1.2 The Role of a Chronicle and Its Components -- 1.2.1 Injective Mapping from Events in Chronicles to Events in Sequences -- 1.2.2 Consistency and Redundancy of Temporal Constraints -- 1.3 Notions of Temporal Constraints -- 1.3.1 Edge Directions and Negativity of the Temporal Constraints -- 1.3.2 Unlimited Edges vs. Absence of Edges -- 1.3.3 What Is the Meaning of Multiple Temporal Constraints Between Two Events? -- 2 A Formal Account of Chronicles -- 2.1 Preliminary Definitions -- 2.1.1 Event Types and Events -- 2.1.2 Chronicles -- 2.2 Multiset Embeddings -- 2.3 A Preorder Between Chronicles -- 2.4 Chronicles and Subgraph Isomorphisms -- 3 Structuring the Space of Chronicles -- 3.1 Introduction -- 3.2 A Partial Order Between Slim Chronicles -- 3.3 Simple Chronicles -- 3.4 Intersection Between Chronicles -- 3.5 Semilattice Structure for Subspaces of the Chronicles -- 3.6 Summary -- 4 Occurrences of a Chronicle -- 4.1 Introduction -- 4.2 Occurrence of a Chronicle -- 4.3 Counting Occurrences of a Chronicle -- 4.4 Conclusion -- 5 Inducing Chronicles from Event Sequences -- 5.1 Introduction -- 5.2 Generating a Chronicle from a Sequence -- 5.3 Inducing a Chronicle from Event Sequences -- 5.3.1 Dataset of Event Sequences -- 5.3.2 Abstracting a Dataset of Sequences with Chronicles -- 5.3.3 A Dataset Chronicles Reduct -- 5.3.4 Summary -- 5.4 Mining Chronicles from Event Sequences -- 5.4.1 Basic Notions -- 5.4.2 Frequent Chronicles -- 5.4.3 Formal Concept Analysis and Pattern Structures -- 5.4.4 Applying Pattern Structures to Chronicles -- 5.5 Conclusion -- 6 Conclusion -- 6.1 Summary -- 6.2 Perspectives -- A Proofs -- A.1 Proofs for Sect.2.1.2 -- A.2 Proofs for Sect.3.2.
A.3 Proofs for Sect.3.3 -- A.4 Proofs for Sect.3.5 -- A.5 Proofs for Sect.4.2 -- A.6 Proofs for Sect.5.2 -- A.7 Proofs for Sect.5.3.3 -- A.8 Proofs for Sect.5.4.1 -- A.9 Proofs for Sect.5.4.4 -- B Additional Content -- B.1 Joint Intersection on the Set of Simple Chronicles -- References -- Index. |
Record Nr. | UNISA-996546822503316 |
Guyet Thomas
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Chronicles: Formalization of a Temporal Model / / by Thomas Guyet, Philippe Besnard |
Autore | Guyet Thomas |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (132 pages) |
Disciplina | 006.312 |
Altri autori (Persone) | BesnardPhilippe |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Data mining
Pattern recognition systems Space in economics Data Mining and Knowledge Discovery Automated Pattern Recognition Spatial Economics |
ISBN | 3-031-33693-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Contents -- List of Symbols -- List of Figures -- 1 Introduction -- 1.1 Why Study Chronicles? -- 1.1.1 Situation Recognition -- 1.1.2 Abstracting Sequences -- 1.2 The Role of a Chronicle and Its Components -- 1.2.1 Injective Mapping from Events in Chronicles to Events in Sequences -- 1.2.2 Consistency and Redundancy of Temporal Constraints -- 1.3 Notions of Temporal Constraints -- 1.3.1 Edge Directions and Negativity of the Temporal Constraints -- 1.3.2 Unlimited Edges vs. Absence of Edges -- 1.3.3 What Is the Meaning of Multiple Temporal Constraints Between Two Events? -- 2 A Formal Account of Chronicles -- 2.1 Preliminary Definitions -- 2.1.1 Event Types and Events -- 2.1.2 Chronicles -- 2.2 Multiset Embeddings -- 2.3 A Preorder Between Chronicles -- 2.4 Chronicles and Subgraph Isomorphisms -- 3 Structuring the Space of Chronicles -- 3.1 Introduction -- 3.2 A Partial Order Between Slim Chronicles -- 3.3 Simple Chronicles -- 3.4 Intersection Between Chronicles -- 3.5 Semilattice Structure for Subspaces of the Chronicles -- 3.6 Summary -- 4 Occurrences of a Chronicle -- 4.1 Introduction -- 4.2 Occurrence of a Chronicle -- 4.3 Counting Occurrences of a Chronicle -- 4.4 Conclusion -- 5 Inducing Chronicles from Event Sequences -- 5.1 Introduction -- 5.2 Generating a Chronicle from a Sequence -- 5.3 Inducing a Chronicle from Event Sequences -- 5.3.1 Dataset of Event Sequences -- 5.3.2 Abstracting a Dataset of Sequences with Chronicles -- 5.3.3 A Dataset Chronicles Reduct -- 5.3.4 Summary -- 5.4 Mining Chronicles from Event Sequences -- 5.4.1 Basic Notions -- 5.4.2 Frequent Chronicles -- 5.4.3 Formal Concept Analysis and Pattern Structures -- 5.4.4 Applying Pattern Structures to Chronicles -- 5.5 Conclusion -- 6 Conclusion -- 6.1 Summary -- 6.2 Perspectives -- A Proofs -- A.1 Proofs for Sect.2.1.2 -- A.2 Proofs for Sect.3.2.
A.3 Proofs for Sect.3.3 -- A.4 Proofs for Sect.3.5 -- A.5 Proofs for Sect.4.2 -- A.6 Proofs for Sect.5.2 -- A.7 Proofs for Sect.5.3.3 -- A.8 Proofs for Sect.5.4.1 -- A.9 Proofs for Sect.5.4.4 -- B Additional Content -- B.1 Joint Intersection on the Set of Simple Chronicles -- References -- Index. |
Record Nr. | UNINA-9910736009603321 |
Guyet Thomas
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
La psychologie sociale : une discipline en mouvement / / Denise Jodelet, Jean Viet, Philippe Besnard |
Autore | Jodelet Denise |
Pubbl/distr/stampa | Chicoutimi : , : J.-M. Tremblay, , 2008 |
Descrizione fisica | 1 online resource (445 pages) |
Disciplina | 146.4 |
Collana | Classiques des sciences sociales |
Soggetto topico | Positivism |
ISBN | 1-4123-6366-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | INDEX DES AUTEURS DES TEXTES ANALYSÉS -- AVANT-PROPOS -- PRÉFACE DE SERGE MOSCOVICI -- 1 - La psychologie sociale. Science ou mouvement : sa spécificité et ses tensions -- 2 - Les courants actuels de la recherche psychosociologique -- 3 - Perspectives d'avenir -- ANALYSES DE TEXTES ILLUSTRANT -- LES TENDANCES RÉCENTES DE LA RECHERCHE -- PREMIÈRE PARTIE : INTRODUCTION AU DOMAINE -- I. Manuels et ouvrages d'introduction -- II. Revues de tendances -- III. Points de vue sur l'état de la discipline -- IV. Théories et systèmes d'approche de l'interaction sociale -- V. Modèles théoriques et mathématiques -- DEUXIÈME PARTIE : CHAMPS D'ÉTUDE SPÉCIFIQUES -- I. Attitudes, opinions et représentations sociales -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- II. Communications de masse, processus de diffusion et changement social -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- III. Structures de communication et langage -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- IV. Groupes restreints : généralités ; dynamique et processus intragroupe ; structure, organisation et production des groupes -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- 1 - Dynamique et processus intra-groupe -- 2 - Structure et organisation des groupes -- 3 - Créativité et production des groupes. Comparaison des performances individuelles et collectives -- V. Groupes restreints : hiérarchie, leadership et pouvoir -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- VI. Pressions sociales : processus d'influence ; normes et rôles -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- VII. Analyse de l'interaction sociale : échange, conflit, négociation -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- VIII. Processus psychologiques, variables psychologiques et facteurs sociaux -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques -- IX. Perception sociale, relations interpersonnelles et intergroupes -- A. Perspectives théoriques et tendances de la recherche -- B. Illustrations empiriques. |
Altri titoli varianti | La psychologie sociale |
Record Nr. | UNINA-9910132614803321 |
Jodelet Denise
![]() |
||
Chicoutimi : , : J.-M. Tremblay, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici |
Autore | Jodelet Denise |
Edizione | [Reprint 2014] |
Pubbl/distr/stampa | Paris : , : Mouton, , [1970] |
Descrizione fisica | 1 online resource (472 p.) |
Collana | Les Textes sociologiques |
Soggetto topico | Social psychology |
Soggetto genere / forma | Electronic books. |
ISBN | 3-11-087599-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Frontmatter -- AVANT-PROPOS -- PRÉFACE de SERGE MOSGOVICI -- ANALYSES DE TEXTES ILLUSTRANT LES TENDANCES RECENTES DE LA RECHERCHE -- Première Partie: INTRODUCTION AU DOMAINE -- I. MANUELS ET OUVRAGES D'INTRODUCTION -- II. REVUES DE TENDANCES -- III. POINTS DE VUE SUR L'ÉTAT DE LA DISCIPLINE -- IV. THÉORIES ET SYSTÈMES D'APPROCHE DE L'INTERACTION SOCIALE -- V. MODÈLES THÉORIQUES ET MATHÉMATIQUES -- Deuxième Partie: CHAMP D'ETUDE SPÉCIFIQUES -- I. ATTITUDES, OPINIONS ET REPRÉSENTATIONS SOCIALES -- II. COMMUNICATIONS DE MASSE PROCESSUS DE DIFFUSION ET CHANGEMENT SOCIAL -- III. STRUCTURES DE COMMUNICATION ET LANGAGE -- IV. GROUPES RESTREINTS : GÉNÉRALITIÉS; DYNAMIQUE ET PROCESSUS INTRAGROUPE; STRUCTURE, ORGANISATION; ET PRODUCTION DES GROUPES -- V. GROUPES RESTREINTS : HIERARCHIE, LEADERSHIP ET POUVOIR -- VI. PRESSIONS SOCIALES: PROCESSUS D'INFLUENCE NORMES ET RÔLES -- VII. ANALYSE DE L'INTERACTION SOCIALE: ÉCHANGE, CONFLIT, NÉGOCIATION -- VIII. PROCESSUS PSYCHOLOGIQUES VARIABLES PSYCHOLOGIQUES ET FACTEURS SOCIAUX -- IX. PERCEPTION SOCIALE RELATIONS INTERPERSONELLES ET INTERGROUPES -- AUTEURS DES TEXTES ANALYSÉS -- TABLE DES MATIÈRES |
Record Nr. | UNINA-9910463553903321 |
Jodelet Denise
![]() |
||
Paris : , : Mouton, , [1970] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici |
Autore | Jodelet Denise |
Edizione | [Reprint 2014] |
Pubbl/distr/stampa | Paris : , : Mouton, , [1970] |
Descrizione fisica | 1 online resource (472 p.) |
Collana | Les Textes sociologiques |
Soggetto topico | Social psychology |
ISBN | 3-11-087599-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Frontmatter -- AVANT-PROPOS -- PRÉFACE de SERGE MOSGOVICI -- ANALYSES DE TEXTES ILLUSTRANT LES TENDANCES RECENTES DE LA RECHERCHE -- Première Partie: INTRODUCTION AU DOMAINE -- I. MANUELS ET OUVRAGES D'INTRODUCTION -- II. REVUES DE TENDANCES -- III. POINTS DE VUE SUR L'ÉTAT DE LA DISCIPLINE -- IV. THÉORIES ET SYSTÈMES D'APPROCHE DE L'INTERACTION SOCIALE -- V. MODÈLES THÉORIQUES ET MATHÉMATIQUES -- Deuxième Partie: CHAMP D'ETUDE SPÉCIFIQUES -- I. ATTITUDES, OPINIONS ET REPRÉSENTATIONS SOCIALES -- II. COMMUNICATIONS DE MASSE PROCESSUS DE DIFFUSION ET CHANGEMENT SOCIAL -- III. STRUCTURES DE COMMUNICATION ET LANGAGE -- IV. GROUPES RESTREINTS : GÉNÉRALITIÉS; DYNAMIQUE ET PROCESSUS INTRAGROUPE; STRUCTURE, ORGANISATION; ET PRODUCTION DES GROUPES -- V. GROUPES RESTREINTS : HIERARCHIE, LEADERSHIP ET POUVOIR -- VI. PRESSIONS SOCIALES: PROCESSUS D'INFLUENCE NORMES ET RÔLES -- VII. ANALYSE DE L'INTERACTION SOCIALE: ÉCHANGE, CONFLIT, NÉGOCIATION -- VIII. PROCESSUS PSYCHOLOGIQUES VARIABLES PSYCHOLOGIQUES ET FACTEURS SOCIAUX -- IX. PERCEPTION SOCIALE RELATIONS INTERPERSONELLES ET INTERGROUPES -- AUTEURS DES TEXTES ANALYSÉS -- TABLE DES MATIÈRES |
Record Nr. | UNINA-9910788951303321 |
Jodelet Denise
![]() |
||
Paris : , : Mouton, , [1970] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
La psychologie sociale : une discipline en mouvement / / [par] Denise Jodelet, Jean Viet [et] Philippe Besnard ; Préf. de Serge Moscovici |
Autore | Jodelet Denise |
Edizione | [Reprint 2014] |
Pubbl/distr/stampa | Paris : , : Mouton, , [1970] |
Descrizione fisica | 1 online resource (472 p.) |
Collana | Les Textes sociologiques |
Soggetto topico | Social psychology |
ISBN | 3-11-087599-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Frontmatter -- AVANT-PROPOS -- PRÉFACE de SERGE MOSGOVICI -- ANALYSES DE TEXTES ILLUSTRANT LES TENDANCES RECENTES DE LA RECHERCHE -- Première Partie: INTRODUCTION AU DOMAINE -- I. MANUELS ET OUVRAGES D'INTRODUCTION -- II. REVUES DE TENDANCES -- III. POINTS DE VUE SUR L'ÉTAT DE LA DISCIPLINE -- IV. THÉORIES ET SYSTÈMES D'APPROCHE DE L'INTERACTION SOCIALE -- V. MODÈLES THÉORIQUES ET MATHÉMATIQUES -- Deuxième Partie: CHAMP D'ETUDE SPÉCIFIQUES -- I. ATTITUDES, OPINIONS ET REPRÉSENTATIONS SOCIALES -- II. COMMUNICATIONS DE MASSE PROCESSUS DE DIFFUSION ET CHANGEMENT SOCIAL -- III. STRUCTURES DE COMMUNICATION ET LANGAGE -- IV. GROUPES RESTREINTS : GÉNÉRALITIÉS; DYNAMIQUE ET PROCESSUS INTRAGROUPE; STRUCTURE, ORGANISATION; ET PRODUCTION DES GROUPES -- V. GROUPES RESTREINTS : HIERARCHIE, LEADERSHIP ET POUVOIR -- VI. PRESSIONS SOCIALES: PROCESSUS D'INFLUENCE NORMES ET RÔLES -- VII. ANALYSE DE L'INTERACTION SOCIALE: ÉCHANGE, CONFLIT, NÉGOCIATION -- VIII. PROCESSUS PSYCHOLOGIQUES VARIABLES PSYCHOLOGIQUES ET FACTEURS SOCIAUX -- IX. PERCEPTION SOCIALE RELATIONS INTERPERSONELLES ET INTERGROUPES -- AUTEURS DES TEXTES ANALYSÉS -- TABLE DES MATIÈRES |
Record Nr. | UNINA-9910820354103321 |
Jodelet Denise
![]() |
||
Paris : , : Mouton, , [1970] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [[electronic resource] ] : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 818 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Information technology Business—Data processing Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages IT in Business |
ISBN | 3-540-44652-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making -- Planning with Uncertainty and Incomplete Information -- What’s Your Preference? And How to Express and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale -- Rule-Based Decision Support in Multicriteria Choice and Ranking -- Propositional Distances and Preference Representation -- Contributed Papers -- Value Iteration over Belief Subspace -- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs -- Contributed Papers -- Reasoning about Intentions in Uncertain Domains -- Troubleshooting with Simultaneous Models -- A Rational Conditional Utility Model in a Coherent Framework -- Contributed Papers -- Probabilistic Reasoning as a General Unifying Tool -- An Operational View of Coherent Conditional Previsions -- Contributed Papers -- Decomposition of Influence Diagrams -- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks -- Importance Sampling in Bayesian Networks Using Antithetic Variables -- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees -- Caveats For Causal Reasoning With Equilibrium Models -- Contributed Papers -- Supporting Changes in Structure in Causal Model Construction -- The Search of Causal Orderings: A Short Cut for Learning Belief Networks -- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings -- An Empirical Investigation of the K2 Metric -- Contributed Papers -- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems -- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks -- Contributed Papers -- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees -- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning -- Contributed Papers -- Belief Functions with Partially Ordered Values -- Dempster Specialization Matrices and the Combination of Belief Functions -- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities -- About Conditional Belief Function Independence -- The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model -- Coarsening Approximations of Belief Functions -- Contributed Papers -- Label Semantics: A Formal Framework for Modeling with Words -- Reasoning about Knowledge Using Rough Sets -- Contributed Papers -- The Capacity of a Possibilistic Channel -- New Semantics for Quantitative Possibility Theory -- Bridging logical, comparative and graphical possibilistic representation frameworks -- Contributed Papers -- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy. -- Probabilistic Modelling for Software Quality Control -- Spatial Information Revision: A Comparison between 3 Approaches -- Contributed Papers -- Social Choice, Merging, and Elections -- Data merging: Theory of Evidence vs knowledge-bases merging operators -- Contributed Papers -- A Priori Revision -- Some Operators for Iterated Revision -- On Computing Solutions to Belief Change Scenarios -- “Not impossible” vs. “guaranteed possible” in fusion and revision -- General Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order Quasi-Classical Logic -- On Anytime Coherence-Based Reasoning -- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires -- Contributed Papers -- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results -- How to Reason Credulously and Skeptically within a Single Extension -- Contributed Papers -- Handling Conditionals Adequately in Uncertain Reasoning -- Rankings We Prefer -- Contributed Papers -- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion -- Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology -- Polymorphism of Human Judgment under Uncertainty -- How to Doubt about a Conditional -- Contributed Papers -- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks -- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus -- Contributed Papers -- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning -- Ramification in the Normative Method of Causality -- Simultaneous Events: Conflicts and Preferences -- Orthogonal Relations for Reasoning about Abstract Events -- Contributed Papers -- Explanatory Relations Based on Mathematical Morphology -- Monotonic and Residuated Logic Programs -- Contributed Papers -- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants -- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems -- Contributed Papers -- Complete and Incomplete Knowledge in Logical Information Systems -- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas -- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. |
Record Nr. | UNISA-996465788603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / / edited by Salem Benferhat, Philippe Besnard |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
Descrizione fisica | 1 online resource (XIV, 818 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Mathematical logic Information technology Business—Data processing Artificial Intelligence Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages IT in Business |
ISBN | 3-540-44652-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Graphical Models as Languages for Computer Assisted Diagnosis and Decision Making -- Planning with Uncertainty and Incomplete Information -- What’s Your Preference? And How to Express and Implement It in Logic Programming! -- Contributed Papers -- On Preference Representation on an Ordinal Scale -- Rule-Based Decision Support in Multicriteria Choice and Ranking -- Propositional Distances and Preference Representation -- Contributed Papers -- Value Iteration over Belief Subspace -- Space-Progressive Value Iteration: An Anytime Algorithm for a Class of POMDPs -- Contributed Papers -- Reasoning about Intentions in Uncertain Domains -- Troubleshooting with Simultaneous Models -- A Rational Conditional Utility Model in a Coherent Framework -- Contributed Papers -- Probabilistic Reasoning as a General Unifying Tool -- An Operational View of Coherent Conditional Previsions -- Contributed Papers -- Decomposition of Influence Diagrams -- Mixtures of Truncated Exponentials in Hybrid Bayesian Networks -- Importance Sampling in Bayesian Networks Using Antithetic Variables -- Using Recursive Decomposition to Construct Elimination Orders, Jointrees, and Dtrees -- Caveats For Causal Reasoning With Equilibrium Models -- Contributed Papers -- Supporting Changes in Structure in Causal Model Construction -- The Search of Causal Orderings: A Short Cut for Learning Belief Networks -- Stochastic Local Algorithms for Learning Belief Networks: Searching in the Space of the Orderings -- An Empirical Investigation of the K2 Metric -- Contributed Papers -- Sequential Valuation Networks: A New Graphical Technique for Asymmetric Decision Problems -- A Two-Steps Algorithm for Min-Based Possibilistic Causal Networks -- Contributed Papers -- Computing Intervals of Probabilities with Simulated Annealing and Probability Trees -- Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning -- Contributed Papers -- Belief Functions with Partially Ordered Values -- Dempster Specialization Matrices and the Combination of Belief Functions -- On the Conceptual Status of Belief Functions with Respect to Coherent Lower Probabilities -- About Conditional Belief Function Independence -- The Evaluation of Sensors’ Reliability and Their Tuning for Multisensor Data Fusion within the Transferable Belief Model -- Coarsening Approximations of Belief Functions -- Contributed Papers -- Label Semantics: A Formal Framework for Modeling with Words -- Reasoning about Knowledge Using Rough Sets -- Contributed Papers -- The Capacity of a Possibilistic Channel -- New Semantics for Quantitative Possibility Theory -- Bridging logical, comparative and graphical possibilistic representation frameworks -- Contributed Papers -- Ellipse fitting with uncertainty and fuzzy decision stage for detection. Application in videomicroscopy. -- Probabilistic Modelling for Software Quality Control -- Spatial Information Revision: A Comparison between 3 Approaches -- Contributed Papers -- Social Choice, Merging, and Elections -- Data merging: Theory of Evidence vs knowledge-bases merging operators -- Contributed Papers -- A Priori Revision -- Some Operators for Iterated Revision -- On Computing Solutions to Belief Change Scenarios -- “Not impossible” vs. “guaranteed possible” in fusion and revision -- General Preferential Entaulments as Circumscriptions -- Contributed Papers -- A Semantic Tableau Version of First-Order Quasi-Classical Logic -- On Anytime Coherence-Based Reasoning -- Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires -- Contributed Papers -- Comparing a Pair-wise Compatibility Heuristic and Relaxed Stratification: Some Preliminary Results -- How to Reason Credulously and Skeptically within a Single Extension -- Contributed Papers -- Handling Conditionals Adequately in Uncertain Reasoning -- Rankings We Prefer -- Contributed Papers -- Formalizing Human Uncertain Reasoning with Default Rules: A Psychological Conundrum and a Pragmatic Suggestion -- Statistical Information, Uncertainty, and Bayes’ Theorem: Some Applications in Experimental Psychology -- Polymorphism of Human Judgment under Uncertainty -- How to Doubt about a Conditional -- Contributed Papers -- Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks -- Argumentation and Qualitative Probabilistic Reasoning Using the Kappa Calculus -- Contributed Papers -- Importance Measures from Reliability Theory for Probabilistic Assumption-Based Reasoning -- Ramification in the Normative Method of Causality -- Simultaneous Events: Conflicts and Preferences -- Orthogonal Relations for Reasoning about Abstract Events -- Contributed Papers -- Explanatory Relations Based on Mathematical Morphology -- Monotonic and Residuated Logic Programs -- Contributed Papers -- A Proof Procedure for Possibilistic Logic Programming with Fuzzy Constants -- First-Order Characterization and Modal Analysis of Indiscernibility and Complementarity in Information Systems -- Contributed Papers -- Complete and Incomplete Knowledge in Logical Information Systems -- Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like Formulas -- A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report. |
Record Nr. | UNINA-9910143627403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|