2011 | OriginalPaper | Chapter
First-Order Logic
Authors : Dirk Bühler, Wolfgang Minker
Published in: Domain-Level Reasoning for Spoken Dialogue Systems
Publisher: Springer New York
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
This chapter provides an introduction to First-Order Logic (FOL) in terms of general concepts and notations as well as in terms of its use as a modelling and inference device. As such, FOL is the basis of both our proposed domain modelling approach (cf. Chapter 4) and our implemented reasoning engine CIDRE (cf. Chapter 5).