Knowledge Representation and Reasoning Under Uncertainty: Logic at WorkSpringer Science & Business Media, 1994. gada 28. jūn. - 237 lappuses This 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. |
No grāmatas satura
1.–5. rezultāts no 15.
7. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
13. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
14. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
48. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
49. lappuse
Atvainojiet, šīs lappuses saturs ir ierobežots..
Atvainojiet, šīs lappuses saturs ir ierobežots..
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
2-nd kind abstract agent algebra analysis Artificial Intelligence assume assumption atomic axioms baby belief belief revision causal rule classical classical logic cognitive Computer concept consistent constraints context contradiction removal database default defeasible rules defined Definition denote Devlin and Rosenberg Dubois equivalence example expectations explicit negation finite formula function fuzzy logic fuzzy set Gärdenfors Gentzen given Hájek hypothesis inductive consequence relations inductive reasoning inference information system instance interpretation knowledge base language lattice Lemma Lindenbaum algebra logic programs mathematical means modal logic modal operator normally notion objects partition Pereira possibilistic possibilistic logic possible worlds Prade premises problem Proof properties propositional QaɅ R-logic result revising Sacks salient Section semantics sentences sequence sequent calculus Shoham situation theory situation-theoretic structure subset Tbaby temporal Theorem tion topological space truth-degree truth-value tuples uncertainty variables wffs WFSX