Author(s): Harmen van den Berg
Publisher: Universiteit Twente
Year: 1993
Language: English
Pages: 201
City: Enschede
Tags: knowledge graphs, logic, visual logic, knowledge representation, information theory, phd thesis
Front Cover
Stellingen (Propositions in Dutch)
Title
Preface
Contents
1 Introduction
1.1 Logic
1.2 Knowledge Graphs
1.3 Outline of this Thesis
2 Natural Language Understanding
2.1 Objectivism
2.1.1 Reality
2.1.2 Concepts and Conceptual Systems
2.1.3 Truth
2.1.4 Meaning
2.1.5 Compositionality
2.1.6 Primitives
2.2 Arguments against Objectivism
2.2.1 Reality
2.2.2 Concepts and Conceptual Systems
2.2.3 Truth
2.2.4 Meaning
2.2.5 Compositionality
2.3 An Alternative View
2.3.1 Reality
2.3.2 Concepts and Conceptual Systems
2.3.3 Meaning
2.3.4 Truth
2.3.5 Compositionality
2.3.6 Primitives
2.3.7 Subjectivism, Relativism, Knowledge, and Objectivity
2.4 A Model of Language Understanding
2.4.1 Understanding
2.4.2 A Model of Understanding
2.5 Conclusions
3 Knowledge Graphs
3.1 Historical Overview
3.1.1 The First Phase: Structuring
3.1.2 The Second Phase: Representation
3.2 Definition of Knowledge Graphs
3.2.1 Concepts
3.2.2 Relation Types
3.3 Application to Natural Language
3.3.1 From Expression to Expression Graph
3.3.2 From Expression Graph to Impact
3.4 Conclusions
4 Logic and language
4.1 Negation
4.1.1 Scope and Focus
4.1.2 Presupposition
4.1.3 Context or Relation?
4.2 Quantification
4.2.1 All, Every, Each, Any, and Some
4.2.2 Scope
4.2.3 Game Theoretical Semantics
4.2.4 Skolem Relations
4.2.5 Donkey Anaphora
4.3 Modality
4.3.1 Conversational Background
4.3.2 Partitions
4.3.3 Modal Logic
4.3.4 The MOD-Relation
4.4 Valuations
4.5 Conclusions
5 Propositional Knowledge Graphs
5.1 Propositional Logic
5.2 The System PROKGS
5.3 From PROKGS to Propositional Logic
5.4 Conclusions
6 Predicate Knowledge Graphs
6.1 Predicate Logic
6.2 The System PREKGS
6.3 From PREKGS to Predicate Logic
6.4 Conclusions
7 Modal Knowledge Graphs
7.1 Modal Logic
7.2 Modal Graphs
7.2.1 Comparison to Conceptual Graphs
7.3 A System Equivalent to K
7.4 A System Equivalent to T
7.5 A System Equivalent to S4
7.6 A System Equivalent to S5
7.7 A System Equivalent to K45
7.8 A System Equivalent to KD45
7.9 From Modal Graphs to Modal Logic
7.10 Conclusions
References
Summary
Samenvatting (Summary in Dutch)
Index
About the Author
Back Cover
