Andere Kunden interessierten sich auch für
![Common Sense and Folksonomy]( "Common Sense and Folksonomy")
Common Sense and Folksonomy32,99 €![Lexical Semantic Similarity]( "Lexical Semantic Similarity")
Lexical Semantic Similarity51,99 €![Qlik Sense Cookbook - Second Edition]( "Qlik Sense Cookbook - Second Edition")
Qlik Sense Cookbook - Second Edition50,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 Disambiguation45,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 Designs53,99 €![User:Oasisai/ Common CICS Abends]( "User:Oasisai/ Common CICS Abends")
User:Oasisai/ Common CICS Abends19,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.