Making Logical Inferences in Inconsistent Systems

Making Logical Inferences in Inconsistent Systems

A new basis for making logical inference in inconsistent systems is considered. Main inference rules and the completeness theorem (in narrow sense) of the calculus proposed are proved. The approach proposed can underlie the creation of systems of substantiation of inconsistent and unreliable solutio...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2005-09, Vol.41 (5), p.659-669
1. Verfasser: German, O V
Format: Artikel
Sprache:eng
Schlagworte:
Calculus
Expert systems
Logic
Robots
Studies
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A new basis for making logical inference in inconsistent systems is considered. Main inference rules and the completeness theorem (in narrow sense) of the calculus proposed are proved. The approach proposed can underlie the creation of systems of substantiation of inconsistent and unreliable solutions obtained, for instance, in designing intelligent robots and expert systems. [PUBLICATION ABSTRACT]
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-006-0003-9