Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is First Order Logic (FOL)

Chapter 697
Encyclopedia of Information Science and Technology, Third Edition
Represents the world in terms of objects, properties of objects, and relations between objects. By using connectives and quantifiers, FOL allows sentences to be written about everything in the universe at once. It can also express facts about all of the objects in the universe.
Published in Chapter:
Detecting Inconsistency in the Domain-Engineering
Abdelrahman Osman Elfaki (University of Tabuk, Saudi Arabia) and Yucong Duan (Hainan University, China)
Copyright: © 2015 |Pages: 13
DOI: 10.4018/978-1-4666-5888-2.ch697
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR