Radial restraint: A semantically clean approach to bounded rationality for logic programs

Benjamin Grosof, Terrance Swift

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Declarative logic programs (LP) based on the well-founded semantics (WFS) are widely used for knowledge representation (KR). Logical functions are desirable expressively in KR, but when present make LP inferencing become undecidable. In this paper, we present radial restraint: a novel approach to bounded rationality in LP. Radial restraint is parameterized by a norm that measures the syntactic complexity of a term, along with an abstraction function based on that norm. When a term exceeds a bound for the norm, the term is assigned the WFS's third truth-value of undefined. If the norm is finitary, radial restraint guarantees finiteness of models and decidability of inferencing, even when logical functions are present. It further guarantees soundness, even when non-monotonicity is present. We give a fixed-point semantics for radially restrained well-founded models which soundly approximate well-founded models.We also show how to perform correct inferencing relative to such models, via SLGABS, an extension of tabled SLG resolution that uses norm-based abstraction functions. Finally we discuss how SLGABS is implemented in the engine of XSB Prolog, and scales to knowledge bases with more than 108 rules and facts.

Original languageEnglish (US)
Title of host publicationProceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013
Pages379-386
Number of pages8
StatePublished - Dec 1 2013
Event27th AAAI Conference on Artificial Intelligence, AAAI 2013 - Bellevue, WA, United States
Duration: Jul 14 2013Jul 18 2013

Publication series

NameProceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013

Other

Other27th AAAI Conference on Artificial Intelligence, AAAI 2013
Country/TerritoryUnited States
CityBellevue, WA
Period7/14/137/18/13

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Radial restraint: A semantically clean approach to bounded rationality for logic programs'. Together they form a unique fingerprint.

Cite this