Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic - Couverture souple

Suchanek, Fabian

 
9783639003932: Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic
Couverture souple
ISBN 10 : 3639003934 ISBN 13 : 9783639003932
Editeur : VDM Verlag Dr. Müller, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Biographie de l'auteur

Bachelor of Science in Cognitive Science from the University of Osnabrück/Germany. Master of Science in Computer Science from the University of Saarbrücken/Germany. Researcher at the Max-Planck-Institute for Computer Science in Saarbrücken/Germany.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
VDM Verlag Dr. Müller
Date d'édition
2008
Langue
anglais
ISBN 10 
3639003934
ISBN 13 
9783639003932
Reliure
Broché
Nombre de pages
72
Coordonnées du fabricant
non disponible
Personne responsable
non disponible