Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic - Image 1

£41.00

VDM Verlag Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Name: Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic
Brand: VDM Verlag
Price: 41.0 GBP
Availability: InStock

Computer Science

Price History & Forecast

Last 72 days • 72 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 72 days • 1 price levels

Days at Price

Price Analysis

Most common price: £41 (72 days, 100.0%)

Price range: £41 - £41

Price levels: 1 different prices over 72 days

Description

Product Description 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. About the Author 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.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639003934
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Publication Date: 24 April 2008
Listed Since: 20 May 2008

Barcode

No barcode data available

VDM Verlag Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Applied Logic: How, What and Why: Logical Approaches to Natural Language: 247 (Synthese Library, 247)

Logic for Computer Science and Artificial Intelligence

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Handbook of Practical Logic and Automated Reasoning

The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

Three Views of Logic: Mathematics, Philosophy, and Computer Science

The Logical Legacy of Nikolai Vasiliev and Modern Logic: 387 (Synthese Library, 387)

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

Probabilistic Extensions of Various Logical Systems

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings: 13752 (Lecture Notes in Computer Science, 13752)

Revision, Acceptability and Context: Theoretical and Algorithmic Aspects (Cognitive Technologies)

Optimization Methods for Logical Inference: 34 (Wiley Series in Discrete Mathematics and Optimization)

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Applications of Formal Philosophy: The Road Less Travelled: 14 (Logic, Argumentation & Reasoning, 14)

Computational Logic and Human Thinking: How to Be Artificially Intelligent

Philosophy and Model Theory

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

An Introduction to Substructural Logics

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Logic and Philosophy: A Modern Introduction