𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A framework for linguistic logic programming

✍ Scribed by Tru H. Cao; Nguyen V. Noi

Publisher
John Wiley and Sons
Year
2010
Tongue
English
Weight
181 KB
Volume
25
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

✦ Synopsis

Lawry's label semantics for modeling and computing with linguistic information in natural language provides a clear interpretation of linguistic expressions and thus a transparent model for real-world applications. Meanwhile, annotated logic programs (ALPs) and its fuzzy extension AFLPs have been developed as an extension of classical logic programs offering a powerful computational framework for handling uncertain and imprecise data within logic programs. This paper proposes annotated linguistic logic programs (ALLPs) that embed Lawry's label semantics into the ALP/AFLP syntax, providing a linguistic logic programming formalism for development of automated reasoning systems involving soft data as vague and imprecise concepts occurring frequently in natural language. The syntax of ALLPs is introduced, and their declarative semantics is studied. The ALLP SLD-style proof procedure is then defined and proved to be sound and complete with respect to the declarative semantics of ALLPs.

πŸ“œ SIMILAR VOLUMES

Logic programming on a neural network
Logic programming on a neural network
✍ Wan Ahmad Tajuddin Wan Abdullah πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 412 KB

We propose a method of doing logic programming on a Hopfield neural network. Optimization of logical consistency is carried out by the network after the connection strengths are defined from the logic program; the network relaxes to neural states corresponding to a valid (or near-valid) interpretati

Epistemic logic and logical omniscience
Epistemic logic and logical omniscience II: A unifying framework
✍ Kwang Mong Sim πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 205 KB

## Intell Syst 1997, 12 , 57᎐81 a collection of epistemic logics were reviewed and critiqued. This sequel paper provides evidence for the claim that a unifying framework for various existing epistemic logics can be defined. Of particular interest is the logic of implicit and explicit belief, the l

Framework for testing multi-threaded Jav
Framework for testing multi-threaded Java programs
✍ Orit Edelstein; Eitan Farchi; Evgeny Goldin; Yarden Nir; Gil Ratsaby; Shmuel Ur πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 162 KB
Optknock: A bilevel programming framewor
Optknock: A bilevel programming framework for identifying gene knockout strategies for microbial strain optimization
✍ Anthony P. Burgard; Priti Pharkya; Costas D. Maranas πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 219 KB

## Abstract The advent of genome‐scale models of metabolism has laid the foundation for the development of computational procedures for suggesting genetic manipulations that lead to overproduction. In this work, the computational OptKnock framework is introduced for suggesting gene deletion strateg