Nicht lieferbar
Andere Kunden interessierten sich auch für
![Common-Sense Guide to Data Structure and Algorithms in Python, Volume 1]( "Common-Sense Guide to Data Structure and Algorithms in Python, Volume 1")
Common-Sense Guide to Data Structure and Algorithms in Python, Volume 142,99 €![Qlik Sense Cookbook - Second Edition]( "Qlik Sense Cookbook - Second Edition")
Qlik Sense Cookbook - Second Edition53,99 €![Making Sense of Sensors]( "Making Sense of Sensors")
Making Sense of Sensors28,99 €![Towards High-Performance Word Sense Disambiguation]( "Towards High-Performance Word Sense Disambiguation")
Towards High-Performance Word Sense Disambiguation48,99 €![How to Find Inter-Groups Differences Using SPSS/Excel/Web Tools in Common Experimental Designs]( "How to Find Inter-Groups Differences Using SPSS/Excel/Web Tools in Common Experimental Designs")
How to Find Inter-Groups Differences Using SPSS/Excel/Web Tools in Common Experimental Designs57,99 €![SX002D, Common data model for the S-Series IPS specifications, Issue 2.1]( "SX002D, Common data model for the S-Series IPS specifications, Issue 2.1")
SX002D, Common data model for the S-Series IPS specifications, Issue 2.127,99 €![The Use of Preposition Sense in Semantic Argument Classification]( "The Use of Preposition Sense in Semantic Argument Classification")
The Use of Preposition Sense in Semantic Argument Classification35,99 €
One of the challenges of today`s information
society
is to cope with the immense amount of digitally
stored texts. Progress in this area could be made
if
computers could somehow understand these texts or even
answer questions about their content.
This Master`s thesis describes a possible approach
to this challenge. It examines how computers could
answer common sense questions on a text by
combining
natural language processing, automated reasoning
and
ontological knowledge. A practical side describes a
prototypical system that applies a theorem prover
to
natural language and ontological knowledge. A
theoretical side is concerned with the
transformation of Higher Order Logic, which is used
in the ontology, to First Order Logic that can be
digested by theorem provers. Particular attention
is
paid to the efficient handling of equality and the
adequate representation of propositional predicates
in First Order Logic. These experiences and
analyses
could be first stepping stones towards opening the
world of natural language reasoning to computers.
society
is to cope with the immense amount of digitally
stored texts. Progress in this area could be made
if
computers could somehow understand these texts or even
answer questions about their content.
This Master`s thesis describes a possible approach
to this challenge. It examines how computers could
answer common sense questions on a text by
combining
natural language processing, automated reasoning
and
ontological knowledge. A practical side describes a
prototypical system that applies a theorem prover
to
natural language and ontological knowledge. A
theoretical side is concerned with the
transformation of Higher Order Logic, which is used
in the ontology, to First Order Logic that can be
digested by theorem provers. Particular attention
is
paid to the efficient handling of equality and the
adequate representation of propositional predicates
in First Order Logic. These experiences and
analyses
could be first stepping stones towards opening the
world of natural language reasoning to computers.