Quantitative deduction and its fixpoint theory
Reads0
Chats0
TLDR
It is shown that as result the fixpoint method in the semantics of Horn clause rules can be developed in much the same way for the quantitative case, and the analog of the PROLOG interpreter for quantitative deduction becomes a search of the game tree using the alpha-beta heuristic well known in game theory.Abstract:
Logic programming provides a model for rule-based reasoning in expert systems. The advantage of this formal model is that it makes available many results from the semantics and proof theory of first-ordet predicate logic. A disadvantage is that in expert systems one often wants to use, instead of the usual two truth values, an entire continuum of “uncertainties” in between. That is, instead of the usual “qualitative” deduction, a form of “quantitative” deduction is required. We present an approach to generalizing the Tarskian semantics of Horn clause rules to justify a form of quantitative deduction. Each clause receives a numerical attenuation factor. Herbrand interpretations, which are subsets of the Herbrand base, are generalized to subsets which are fuzzy in the sense of Zadeh. We show that as result the fixpoint method in the semantics of Horn clause rules can be developed in much the same way for the quantitative case. As for proof theory, the interesting phenomenon is that a proof should be viewed as a two-person game. The value of the game turns out to be the truth value of the atomic formula to be proved, evaluated in the minimal fixpoint of the rule set. The analog of the PROLOG interpreter for quantitative deduction becomes a search of the game tree ( = proof tree) using the alpha-beta heuristic well known in game theory.read more
Citations
More filters
Book ChapterDOI
CHAPTER 10 – Logic Programming
TL;DR: This chapter presents a self-contained introduction to the theory of logic programming, which discusses the causal dependence between various concepts and notions and presents the notion of SLD-resolution, which is central to the subject of logic Programming.
Journal ArticleDOI
Constraint logic programming : A survey
Joxan Jaffar,Michael J. Maher +1 more
TL;DR: This survey of CLP is to give a systematic description of the major trends in terms of common fundamental concepts and the three main parts cover the theory, implementation issues, and programming for applications.
Book ChapterDOI
Towards a theory of declarative knowledge
TL;DR: This work proves the consistency of Clark's completion for stratified programs and attempts to clarify the sources of some previously reported difficulties with negation in logic programming.
Book
Logic programming and databases
TL;DR: This book presents a systematic overview of the interaction between logic programming and database systems, and provides a careful introduction to the underlying paradigms and their theoretical foundations, and stresses the problems involved in achieving efficiency when interfacing logic programming formalisms with large databases.
Book
Possibilistic logic
D. Dubois,Jérôme Lang,H. Prade +2 more
TL;DR: Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent knowledge that handles formulas of propositional or first-order logic to which are attached numbers between 0 and 1.
References
More filters
Book
Foundations of logic programming
TL;DR: This is the second edition of an account of the mathematical foundations of logic programming, which collects, in a unified and comprehensive manner, the basic theoretical results of the field, which have previously only been available in widely scattered research papers.
Book
Principles of Artificial Intelligence
TL;DR: This classic introduction to artificial intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval.
Journal ArticleDOI
The Semantics of Predicate Logic as a Programming Language
TL;DR: In this paper the operational and fixpoint semantics of predicate logic programs are defined, and the connections with the proof theory and model theory of logic are investigated, and it is concluded that operational semantics is a part ofProof theory and that fixpoint semantic is a special case of model-theoretic semantics.
Book
Problem-Solving Methods in Artificial Intelligence
TL;DR: This paper will concern you to try reading problem solving methods in artificial intelligence as one of the reading material to finish quickly.
Journal ArticleDOI
Contributions to the Theory of Logic Programming
Krzysztof R. Apt,M. H. van Emden +1 more
TL;DR: It is shown that nondeterministic flowchart schemata of bounded nondeterminacy are modeled by this special case of Hom clauses, and the connection between finite failure and greatest fixpoint is used to give a semantic characterization of termination, blocking, and nontermination of such flowchart Schemata.