Adobe PDF (567.14 kB)
Title Details:
First Order Logic
Authors: Stamatopoulos, Panagiotis
Reviewer: Rontogiannis, Panagiotis
Subject: MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING
MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > PROGRAMMING LANGUAGES > LOGIC PROGRAMMING
Description:
Abstract:
In this chapter, the syntax of first order logic is described, specifically how formulas in this logic should be formulated, with particular attention to clauses, a form of formulas, with Horn clauses being a special case of these clauses. Additionally, the mechanism of unifying terms or formulas is presented through an algorithmic description. Finally, there is a reference to the principle of resolution, as well as a special case of it, modus ponens, which are inference rules for generating new clauses from existing ones.
Linguistic Editors: Xifara, Foteini
Technical Editors: Papavasileiou, Spyridon
Graphic Editors: Papavasileiou, Spyridon
Type: Chapter
Creation Date: 2015
Item Details:
License: http://creativecommons.org/licenses/by-nc-nd/3.0/gr
Handle http://hdl.handle.net/11419/3593
Bibliographic Reference: Stamatopoulos, P. (2015). First Order Logic [Chapter]. In Stamatopoulos, P. 2015. Logic and Functional Programming [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/3593
Language: Greek
Is Part of: Logic and Functional Programming
Publication Origin: Kallipos, Open Academic Editions