ClarkeEuropean Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
Mitarbeit:Clarke, Michael; Kruse, Rudolf; Moral, Serafin
ClarkeEuropean Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
Symbolic and Quantitative Approaches to Reasoning and Uncertainty
European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
Mitarbeit:Clarke, Michael; Kruse, Rudolf; Moral, Serafin
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
In recent years it has become apparent that an importantpart of the theory of artificial intelligence is concernedwith reasoning on the basis of uncertain, incomplete, orinconsistent information. A variety of formalisms have beendeveloped, including nonmonotonic logic, fuzzy sets,possibility theory, belief functions, and dynamic models ofreasoning such as belief revision and Bayesian networks.Several European research projects have been formed in thearea and the first European conference was held in 1991.This volume contains the papers accepted for presentation atECSQARU-93, the European…mehr
Andere Kunden interessierten sich auch für
- FroidevauxSymbolic and Quantitative Approaches to Reasoning and Uncertainty41,99 €
- Rudolf Kruse / Pierre Siegel (eds.)Symbolic and Quantitative Approaches to Uncertainty41,99 €
- Anthony Hunter / Simon Parsons (eds.)Symbolic and Quantitative Approaches to Reasoning and Uncertainty42,99 €
- GabbayQualitative and Quantitative Practical Reasoning81,99 €
- Bernadette Bouchon / Lorenza Saitta / Ronald R. Yager (eds.)Uncertainty and Intelligent Systems41,99 €
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty79,99 €
- Bernadette Bouchon-Meunier / Julio Gutierrez-Rios / Luis Magdalena / Ronald R. Yager (eds.)Technologies for Constructing Intelligent Systems 2125,99 €
-
-
-
In recent years it has become apparent that an importantpart of the theory of artificial intelligence is concernedwith reasoning on the basis of uncertain, incomplete, orinconsistent information. A variety of formalisms have beendeveloped, including nonmonotonic logic, fuzzy sets,possibility theory, belief functions, and dynamic models ofreasoning such as belief revision and Bayesian networks.Several European research projects have been formed in thearea and the first European conference was held in 1991.This volume contains the papers accepted for presentation atECSQARU-93, the European Conference on SymbolicandQuantitative Approaches to Reasoning and Uncertainty, heldat the University of Granada, Spain, November 8-10, 1993.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 747
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-57395-1
- 1993.
- Seitenzahl: 408
- Erscheinungstermin: 20. Oktober 1993
- Englisch
- Abmessung: 235mm x 155mm x 23mm
- Gewicht: 529g
- ISBN-13: 9783540573951
- ISBN-10: 354057395X
- Artikelnr.: 09235154
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
- Lecture Notes in Computer Science 747
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-57395-1
- 1993.
- Seitenzahl: 408
- Erscheinungstermin: 20. Oktober 1993
- Englisch
- Abmessung: 235mm x 155mm x 23mm
- Gewicht: 529g
- ISBN-13: 9783540573951
- ISBN-10: 354057395X
- Artikelnr.: 09235154
- Herstellerkennzeichnung
- Books on Demand GmbH
- In de Tarpen 42
- 22848 Norderstedt
- info@bod.de
- 040 53433511
Prof. Dr. Rudolf Kruse ist Leiter des Lehrstuhls für Neuro-Fuzzy-Systeme an der Universität Magdeburg.
$$mathcal{R}mathcal{E}mathcal{S}$$ : A formalism for reasoning with relative-strength defaults.- A semantics for open normal defaults via a modified preferential approach.- Possibilistic logic: From nonmonotonicity to logic programming.- Learning membership functions.- The use of possibilistic logic PL1 in a customizable tool for the generation of production-rule based systems.- Probabilistic network construction using the minimum description length principle.- IDAGs: A perfect map for any distribution.- Learning non probabilistic belief networks.- A practical system for defeasible reasoning and belief revision.- Influence of granularity level in fuzzy functional dependencies.- A logic for reasoning about safety in decision support systems.- Acceptability of arguments as 'logical uncertainty'.- A temporal model theory for default logic.- Uncertainty in constraint satisfaction problems: A probabilistic approach.- Interference logic = conditional logic + frame axiom.- A unifying logical framework for reason maintenance.- Taxonomic linear theories.- Making inconsistency respectable: Part 2 - Meta-level handling of inconsistency.- Restricted access logics for inconsistent information.- Translating inaccessible worlds logic into bimodal logic.- A new approach to semantic aspects of possibilistic reasoning.- Probabilistic consistency of knowledge bases in inference systems.- Weighting independent bodies of evidence.- Default logic: Orderings and extensions.- Learning causal polytrees.- Symbolic evidence, arguments, supports and valuation networks.- A dynamic ordering relation for revision.- On extensions of marginals for decision-making.- On the semantics of negations in logic programming.- Structure learning approaches in causal probabilistics networks.- Weakextensions for default theories.- Recovering incidence functions.- On the relations between incidence calculus and ATMS.- A resolution method for a non monotonic multimodal logic.- A default logic based on epistemic states.- A Formal language for convex sets of probabilities.- A lattice-theoretic analysis of ATMS problem solving.- Examples of causal probabilistic expert systems.- A mixed approach of revision in propositional calculus.- Integrating uncertainty handling formalisms in distributed artificial intelligence.- Variations of constrained default logic.- Information sets in decision theory.- The preferential semantics of a multi-modal nonmonotonic logic.- Probability of deductibility and belief functions.- Formal properties of conditional independence in different calculi of AI.- A proof theory for Constructive Default Logic.- Plausible inference for default conditionals.- Decision-making with Belief Functions and pignistic probabilities.- Default logic and Dempster-Shafer theory.- Belief revision by expansion.
$$mathcal{R}mathcal{E}mathcal{S}$$ : A formalism for reasoning with relative-strength defaults.- A semantics for open normal defaults via a modified preferential approach.- Possibilistic logic: From nonmonotonicity to logic programming.- Learning membership functions.- The use of possibilistic logic PL1 in a customizable tool for the generation of production-rule based systems.- Probabilistic network construction using the minimum description length principle.- IDAGs: A perfect map for any distribution.- Learning non probabilistic belief networks.- A practical system for defeasible reasoning and belief revision.- Influence of granularity level in fuzzy functional dependencies.- A logic for reasoning about safety in decision support systems.- Acceptability of arguments as 'logical uncertainty'.- A temporal model theory for default logic.- Uncertainty in constraint satisfaction problems: A probabilistic approach.- Interference logic = conditional logic + frame axiom.- A unifying logical framework for reason maintenance.- Taxonomic linear theories.- Making inconsistency respectable: Part 2 - Meta-level handling of inconsistency.- Restricted access logics for inconsistent information.- Translating inaccessible worlds logic into bimodal logic.- A new approach to semantic aspects of possibilistic reasoning.- Probabilistic consistency of knowledge bases in inference systems.- Weighting independent bodies of evidence.- Default logic: Orderings and extensions.- Learning causal polytrees.- Symbolic evidence, arguments, supports and valuation networks.- A dynamic ordering relation for revision.- On extensions of marginals for decision-making.- On the semantics of negations in logic programming.- Structure learning approaches in causal probabilistics networks.- Weakextensions for default theories.- Recovering incidence functions.- On the relations between incidence calculus and ATMS.- A resolution method for a non monotonic multimodal logic.- A default logic based on epistemic states.- A Formal language for convex sets of probabilities.- A lattice-theoretic analysis of ATMS problem solving.- Examples of causal probabilistic expert systems.- A mixed approach of revision in propositional calculus.- Integrating uncertainty handling formalisms in distributed artificial intelligence.- Variations of constrained default logic.- Information sets in decision theory.- The preferential semantics of a multi-modal nonmonotonic logic.- Probability of deductibility and belief functions.- Formal properties of conditional independence in different calculi of AI.- A proof theory for Constructive Default Logic.- Plausible inference for default conditionals.- Decision-making with Belief Functions and pignistic probabilities.- Default logic and Dempster-Shafer theory.- Belief revision by expansion.