Thinking on the Web: Berners-Lee, Gödel and Turing

CONTENTS

Foreword

Preface

Acknowledgments

Who This Book Is For

The Organization of This Book

Associated Resources

PART I WHAT IS WEB INTELLIGENCE?

  1.  Empowering the Information Age

Overview

Thinking and Intelligent Web Applications

The Information Age

The World Wide Web

Limitations of Today’s Web

The Next-Generation Web

Why Intelligent Ubiquitous Devices Improve Productivity

Conclusion

Exercises

Interlude #1: Thinking about Thinking

  2.  Gödel: What Is Decidable?

Overview

Philosophical and Mathematical Logic

Kurt Gödel

Knowledge Representation

Computational Logic

Artificial Intelligence

Web Architecture and Business Logic

The Semantic Web

Conclusion

Exercises

Interlude #2: Truth and Beauty

  3.  Turing: What Is Machine Intelligence?

Overview

What Is Machine Intelligence?

Alan Turing

Turing’s Test and the Loebner Prize

John Searle’s Chinese Room

Artificial Intelligence

Machine Intelligence

Semantic Networks and Frames

Reasoning with Semantic Networks

Computational Complexity

Description Logic (DL)

Ontology

Inference Engines

Software Agents

Adaptive Software

Limitations and Capabilities

Conclusion

Exercises

Interlude #3: Computing Machines

  4.  Berners-Lee: What Is Solvable?

Overview

The World Wide Web

Tim Berners-Lee

The Semantic Web Roadmap

Logic on the Semantic Web

Semantic Web Capabilities and Limitations

Conclusion

Exercises

Interlude #4: Turing’s Test

PART II WEB ONTOLOGY AND LOGIC

  5.  Resource Description Framework (RDF)

Overview

HTML Language

XML Language

RDF Language ...