Automated Reasoning and Common Sense

Automated Reasoning and Common Sense


Marketed By :  VDM Verlag Dr. Müller   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

₹ 3,651

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back in stock)

  • 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.

Product Specifications
SKU :COC65205
Country of ManufactureIndia
Product BrandVDM Verlag Dr. Müller
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-07-08
0 Review(s)