𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logics with approximate premises

✍ Scribed by Loredana Biacino; Giangiacomo Gerla


Book ID
101260077
Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
187 KB
Volume
13
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

✦ Synopsis


Ying proposed a propositional calculus in which the reasoning may be approximate by allowing the antecedent clause of a rule to match its premise only approximately. The aim of this note is to relate Ying's proposal to an extension principle for closure operators proposed by the authors. In this way it is possible to show that, in a sense, w


πŸ“œ SIMILAR VOLUMES


Logics for approximate and strong entail
✍ Francesc Esteva; LluΓ­s Godo; Ricardo O. RodrΓ­guez; Thomas Vetterlein πŸ“‚ Article πŸ“… 2012 πŸ› Elsevier Science 🌐 English βš– 227 KB
Approximate pattern matching and transit
✍ Kjell LemstrΓΆm; Lauri Hella πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 270 KB

A sartorial query language facilitates the formulation of queries to a (string) database. One step towards an implementation of such a query language can be taken by deΓΏning a logical formalism expressing a known solution for the particular problem at hand. The simplicity of the logic is a desired p

Logical approximation
✍ I. Perfilieva πŸ“‚ Article πŸ“… 2002 πŸ› Springer 🌐 English βš– 104 KB
Logical approximation II
✍ M. DaňkovΓ‘; I. Perfilieva πŸ“‚ Article πŸ“… 2003 πŸ› Springer 🌐 English βš– 111 KB