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 Logic Programming

Chapter 181
Encyclopedia of Data Science and Machine Learning
A programming paradigm based on formal logic where a program consists of a set of logic rules and facts about an application domain.
Published in Chapter:
Knowledge-Based Artificial Intelligence: Methods and Applications
Sotiris Batsakis (Technical University of Crete, Greece) and Nikolaos Matsatsinis (Technical University of Crete, Greece)
Copyright: © 2023 |Pages: 13
DOI: 10.4018/978-1-7998-9220-5.ch181
Abstract
Knowledge-based artificial intelligence has been extensively used in numerous application areas leading to the development of a vast number of methods and tools. In recent years, focus has shifted on non-symbolic approaches, and neural networks in particular have achieved human-level performance in various applications where accountability is a very important issue, closely related to the interpretability of artificial intelligence methods in general. Lack of interpretability of neural networks and various machine learning methods has led to the adoption of knowledge-based methods instead, which offer models compliant with explainability and interpretability requirements. In this article, an overview of knowledge-based methods is presented along with the state of the art in this area, offering to the AI practitioner guidance for applying these important methods in practice.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Chapter 16
Developing Rule-Based Web Applications: Methodologies and Tools
It is a declarative paradigm of programming that is mainly based on first-order logic. Prolog is the most common logic programming language.
Published in Chapter: Developing Rule-Based Web Applications: Methodologies and Tools; From: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 66
Logic Programming Languages for Expert Systems
A field of research within artificial intelligence that seeks to use logic to represent and reason about knowledge. Initially, pure mathematical logic was used (aka “first order logic”). However, as the need to mimic human thought processes became prevalent (such as “rules of thumb,” or “jumping to conclusions”), the field broke away from first order logic. The field still has a very strong relationship to first order logic. However, the field employs nonmonotonic techniques and higher orders of logic.
Published in Chapter: Logic Programming Languages for Expert Systems; From: Encyclopedia of Decision Making and Decision Support Technologies
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 411
Logic Programming for Intelligent Systems
A field of research within artificial intelligence that seeks to use logic to represent and reason about knowledge. Initially, pure mathematical logic was used (aka “first order logic”.) However, as the need to mimic human thought processes became prevalent (such as “rules of thumb”, or “jumping to conclusions”), the field broke away from first order logic. The field still has a very strong relationship to first order logic. However, the field employs nonmonotonic techniques, and higher orders of logic.
Published in Chapter: Logic Programming for Intelligent Systems; From: Encyclopedia of Information Science and Technology, Fourth Edition
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 65
A Knowledge Worker Desktop Model (KWDM) Applied to Decision Support System
A field of research within artificial intelligence that seeks to use logic to represent and reason about knowledge. Initially, pure mathematical logic was used (“first order logic”). However, as the need to mimic human thought processes became prevalent (such as “rules of thumb,” or “jumping to conclusions”), the field broke away from first order logic. The field still has a very strong relationship to first order logic. However, the field employs nonmonotonic techniques and higher orders of logic.
Published in Chapter: A Knowledge Worker Desktop Model (KWDM) Applied to Decision Support System; From: Encyclopedia of Decision Making and Decision Support Technologies
Full Text Chapter Download: US $37.50 Add to Cart
Chapter 9
A Logic Programming Perspective on Rules
a programming paradigm whose constructs are derived from logic and where the computational mechanism is primarily logical deduction.
Published in Chapter: A Logic Programming Perspective on Rules; From: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR