Hoppa till sidans huvudinnehåll

2 029 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.


Future Data and Knowledge Base Systems will require new functionalities: richer data modelling capabilities, more powerful query languages, and new concepts of query answers. Future query languages will include functionalities such as hypothetical reasoning, abductive reasoning, modal reasoning, and metareasoning, involving knowledge and belief. Intentional answers will lead to cooperative query answering in which the answer to a query takes into consideration user's expectations.Non-classical logic plays an important role in this book for the formalization of new queries and new answers. It is shown how logic permits precise definitions for concepts like cooperative answers, subjective queries, or reliable sources of information, and gives a precise framework for reasoning about these complex concepts. It is worth noting that advances in knowledge management are not just an application domain for existing results in logic, but also require new developments in logic.The book is organized into 10 chapters which cover the areas of cooperative query answering (in the first three chapters), metareasoning and abductive reasoning (chapters 5 to 7), and, finally, hypothetical and subjunctive reasoning (last three chapters).

Produktinformation

  • Utgivningsdatum1994-10-27
  • Mått162 x 241 x 22 mm
  • Vikt615 g
  • FormatInbunden
  • SpråkEngelska
  • SerieStudies in Logic and Computation
  • Antal sidor292
  • FörlagClarendon Press
  • ISBN9780198538523
Hoppa över listan

Mer från samma serie

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Indiana University) Allwein, Gerard (Assistant Director, Visual Inference Laboratory, Assistant Director, Visual Inference Laboratory, USA) Barwise, Jon (Department of Computer Science, Mathematics, and Philosophy, Department of Computer Science, Mathematics, and Philosophy, Indiana University, Barwise Allwein, Gerard Allwein, Jon Barwise

Inbunden

2 749 kr

Del 1

Intensional Logics for Programming

Luis Fariñas del Cerro, Martti Penttonen, France) Farinas del Cerro, Luis (Directeur de Recherche, Directeur de Recherche, I.R.I.T., Toulouse, Finland) Penttonen, Martti (Professor of Computer Science, Professor of Computer Science, University of Joensu

Inbunden

519 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, P. Schroeder-Heister, Kosta Dosen, Peter Schroder-Heister, Belgrade) Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Universitat Tubingen) Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language

Inbunden

2 679 kr

Del 4

What is a Logical System?

D. M. Gabbay, University of London) Gabbay, D. M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine

Inbunden

3 139 kr

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, Luis Farinas del Cerro, France) Herzig, A. (, all at Languages et Systemes Informatiques, Universite Paul Sabatier, Toulouse, Farinas del Cerro Crocco, Farinas Del Cerro Crocco, Luis Farinas Del Cerro, G. Crocco, L. Fariñas del Cerro

Inbunden

1 529 kr

Hoppa över listan

Du kanske också är intresserad av

Del 4

What is a Logical System?

D. M. Gabbay, University of London) Gabbay, D. M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine

Inbunden

3 139 kr

Del 6

Logical Reasoning with Diagrams

Gerard Allwein, Jon Barwise, Indiana University) Allwein, Gerard (Assistant Director, Visual Inference Laboratory, Assistant Director, Visual Inference Laboratory, USA) Barwise, Jon (Department of Computer Science, Mathematics, and Philosophy, Department of Computer Science, Mathematics, and Philosophy, Indiana University, Barwise Allwein, Gerard Allwein, Jon Barwise

Inbunden

2 749 kr

Del 5

Conditionals: From Philosophy to Computer Science

G. Crocco, Luis Fariñas del Cerro, A. Herzig, Luis Farinas del Cerro, France) Herzig, A. (, all at Languages et Systemes Informatiques, Universite Paul Sabatier, Toulouse, Farinas del Cerro Crocco, Farinas Del Cerro Crocco, Luis Farinas Del Cerro, G. Crocco, L. Fariñas del Cerro

Inbunden

1 529 kr

Del 1

Intensional Logics for Programming

Luis Fariñas del Cerro, Martti Penttonen, France) Farinas del Cerro, Luis (Directeur de Recherche, Directeur de Recherche, I.R.I.T., Toulouse, Finland) Penttonen, Martti (Professor of Computer Science, Professor of Computer Science, University of Joensu

Inbunden

519 kr

Del 2

Substructural Logics

Dosen Schroeder-Heister, Kosta Dosen, P. Schroeder-Heister, Kosta Dosen, Peter Schroder-Heister, Belgrade) Dosen, Kosta (Professor of Mathematical Logic, Professor of Mathematical Logic, Mathematical Institute, Universitat Tubingen) Schroder-Heister, Peter (Professor of Logic and Philosophy of Language, Professor of Logic and Philosophy of Language

Inbunden

2 679 kr

Mobile Computing

Tomasz Imielinski, Tamasz Imielinski, Tomasz Imielinski, Henry F. Korth

Inbunden

4 089 kr