Knowledge Representation and Reasoning Under Uncertainty: Logic at WorkThis volume is based on the International Conference Logic at Work, held in Amsterdam, The Netherlands, in December 1992. The 14 papers in this volume are selected from 86 submissions and 8 invited contributions and are all devoted to knowledge representation and reasoning under uncertainty, which are core issues of formal artificial intelligence. Nowadays, logic is not any longer mainly associated to mathematical and philosophical problems. The term applied logic has a far wider meaning, as numerous applications of logical methods, particularly in computer science, artificial intelligence, or formal linguistics, testify. As demonstrated also in this volume, a variety of non-standard logics gained increased importance for knowledge representation and reasoning under uncertainty. |
Lietotāju komentāri - Rakstīt atsauksmi
Ierastajās vietās neesam atraduši nevienu atsauksmi.
Saturs
The Role of Expectations in Reasoning | 1 |
On Logics of Approximate Reasoning | 17 |
Gentzen Sequent Calculus for Possibilistic Reasoning | 31 |
Automated Reasoning with Uncertainties | 57 |
An Axiomatic Approach to Systems of Prior Distributions | 81 |
Logic Programming for NonMonotonic Reasoning | 107 |
Agent Oriented Programming | 123 |
Knowledge Theoretic Properties of Topological Spaces | 147 |
Rough Logic for MultiAgent Systems | 161 |
A Logical Approach to MultiSources Reasoning | 183 |
Situation Theory and Social Structure | 197 |
Citi izdevumi - Skatīt visu
Knowledge Representation and Reasoning Under Uncertainty Michael Masuch,Laszlo Polos Priekšskatījums nav pieejams - 2014 |
Knowledge Representation and Reasoning Under Uncertainty: Logic at Work Michael Masuch,Laszlo Polos Priekšskatījums nav pieejams - 1994 |
Bieži izmantoti vārdi un frāzes
abstract agent algebra analysis appear application approach assume assumption axioms baby base basic behaviour belief called causal classical closed complete Computer concept connectives consequence consider consistent constraints contains context contradiction corresponding database default defined Definition denote described device elements equivalence example exists expectations express extended fact finite formula function fuzzy given holds hypothesis inductive inference instance interpretation kind knowledge knowledge base language least literals logic programs mathematical means measure modal normally Note notion objects observations operator particular partition possibilistic possible premises present Press probability problem Proof properties propositional reasoning refer relation represent representation respect result revising rule Sacks satisfies semantics sentences sequence situation specification structure subset Theorem theory true uncertainty universe variables
Bibliogrāfiskā informācija
| Nosaukums | Knowledge Representation and Reasoning Under Uncertainty: Logic at Work Grāmatas Lecture Notes in Artificial Intelligence 808. sējums. sējums Grāmatas Lecture Notes in Computer Science 808. sējums. sējums, ISSN 0302-9743 Grāmatas Lecture notes in artificial intelligence. Subseries of lecture notes in computer science 808. sējums. sējums Grāmatas Lecture notes in computer science: Lecture notes in artificial intelligence 808. sējums. sējums |
| Autori | Michael Masuch, Laszlo Polos |
| Redaktori | Michael Masuch, Laszlo Polos |
| Izdevums: | ilustrēts |
| Izdevējs | Springer Science & Business Media, 1994 |
| ISBN | 3540580956, 9783540580959 |
| Apjoms | 237 lappuses |
| Eksportēt avotu | BiBTeX EndNote RefMan |