Displaying similar documents to “Inference in expert systems based on complete multivalued logic”

MetaPost Definitions

Taco Hoekwater (2020)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

The paper presents all syntactic rules for definitions in MetaPost. It contains many good and bad examples of definitions.

Japanese formatting rules for XeTeX

Kazuomi Kuniyoshi (2010)

Zpravodaj Československého sdružení uživatelů TeXu

Similarity:

This is a two-page report informing about the reasons and the existence of the genzi package which sets Japanese formatting rules for XeTeX. The package, samples and more comments can be viewed and downloaded from the author's website, see http://kuniyoshi.fastmail.fm/xetex/.

The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden

David Makinson (2020)

Bulletin of the Section of Logic

Similarity:

We comment on certain features that second-level inference rules commonly used in mathematical proof sometimes have, sometimes lack: suppositions, indirectness, goal-simplification, goal-preservation and premise-preservation. The emphasis is on the roles of these features, which we call 'perfumes', in mathematical practice rather than on the space of all formal possibilities, deployment in proof-theory, or conventions for display in systems of natural deduction.

Selection and correction of weighted rules based on Łukasiewicz's fuzzy logic with evaluated syntax

Jiří Ivánek (2017)

Kybernetika

Similarity:

The core of the expert knowledge is typically represented by a set of rules (implications) assigned with weights specifying their (un)certainties. In the paper, a method for hierarchical selection and correction of expert's weighted rules is described particularly in the case when Łukasiewicz's fuzzy logic with evaluated syntax for dealing with weights is used.

Truth and utility in fuzzy logic.

Alejandro Sobrino (1999)

Mathware and Soft Computing

Similarity:

The notion of degree of truth used in fuzzy logic can be interpreted in terms of partial truth or in terms of utility. By investigating how these interpretations fit in with Tarski's definition of truth, this paper explores some of their implications and their consequences for the foundations and credibility of fuzzy logic.

A note on paracomplete logic

Newton C. A. da Costa, Diego Marconi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.

Rule-Generation Theorem and its Applications

Andrzej Indrzejczak (2018)

Bulletin of the Section of Logic

Similarity:

In several applications of sequent calculi going beyond pure logic, an introduction of suitably defined rules seems to be more profitable than addition of extra axiomatic sequents. A program of formalization of mathematical theories via rules of special sort was developed successfully by Negri and von Plato. In this paper a general theorem on possible ways of transforming axiomatic sequents into rules in sequent calculi is proved. We discuss its possible applications and provide some...

An ILP model for a monotone graded classification problem

Peter Vojtáš, Tomáš Horváth, Stanislav Krajči, Rastislav Lencses (2004)

Kybernetika

Similarity:

Motivation for this paper are classification problems in which data can not be clearly divided into positive and negative examples, especially data in which there is a monotone hierarchy (degree, preference) of more or less positive (negative) examples. We present a new formulation of a fuzzy inductive logic programming task in the framework of fuzzy logic in narrow sense. Our construction is based on a syntactical equivalence of fuzzy logic programs FLP and a restricted class of generalised...