English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  The logic of preference and decision supporting systems

Cvetković, D.(1993). The logic of preference and decision supporting systems (MPI-I-93-260). Saarbrücken: Max-Planck-Institut für Informatik.

Item is

Files

show Files
hide Files
:
MPI-I-93-260.pdf (Any fulltext), 291KB
Name:
MPI-I-93-260.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Technical Metadata:
Copyright Date:
-
Copyright Info:
-
License:
-

Locators

show

Creators

show
hide
 Creators:
Cvetković, Dragan1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: In this thesis we are exploring some models for von Wright's preference logic. Given (initial) set of axioms and a set of formulae, some of them valid, some of them problematic (in the sense that it is not always intuitively clear should they be valid or not), we investigated some matrix semantics for those formulae including semantics in relevance logics (first degree entailment and RM3), various many--valued (Kleene's, {\L}ukasiewicz's, \dots) and/or paraconsistent logics, in Sugihara matrix, and one interpretation for preference relation using modal operators L and M. In each case, we also investigated dependence results between various formulae. Opposite problem (i.e.\ searching for a logic that satisfies given constraints) is also addressed. At the end, a {\tt LISP} program is presented that implements von Wright's logic as a decision supporting system, i.e.\ that decides for a given set of preferences, what alternatives (world--situation) should we choose, according to von Wright's preference logic system.

Details

show
hide
Language(s): eng - English
 Dates: 1993
 Publication Status: Issued
 Pages: 71 p.
 Publishing info: Saarbrücken : Max-Planck-Institut für Informatik
 Table of Contents: -
 Rev. Type: -
 Identifiers: Report Nr.: MPI-I-93-260
BibTex Citekey: Cvetkovic93
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Research Report / Max-Planck-Institut für Informatik
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -