Reasoning about Cognitive Attitudes in a Qualitative Setting

International audienceWe present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We provide a sound and complete axiomatization for our logic and we show that it allows us to express a variety of relevant concepts for qualitative decision theory including the concepts of knowledge, belief, strong belief, conditional belief, desire, strong desire, comparative desirability and choice

A modal account of preference in a fuzzy setting

In this paper we first consider the problem of extending fuzzy (weak and strict) preference relations, represented by fuzzy preorders on a set to a fuzzy preferences on subsets, and we characterise different possibilities. Based on their properties, we then semantically define and axiomatize several two-tiered graded modal logics to reason about the corresponding different notions of fuzzy preferences.Esteva and Godo acknowledges partial support by the Spanish FEDER/MINECO project TIN2015-71799-C2-1-P. Vidal acknowledges partial support by the joint project of the Austrian Science Fund (FWF) I1897-N25 and the Czech Science Foundation (GACR) 15-34650L, and by the institutional grant RVO:67985807.Peer reviewe

From Classical to Non-monotonic Deontic Logic Using ASPIC+

In this paper we use formal argumentation to design non-monotonic deontic logics, based on two monotonic deontic logics. In particular, we use the structured argumentation theory ASPIC to define non-monotonic variants of well-understood modal logics. We illustrate the approach using argumentation about free-choice permission

LED-based Vis-NIR spectrally tunable light source - the optimization algorithm

Background: A novel numerical method for calculating the contributions of individual diodes in a set of light emitting diodes (LEDs), aimed at simulating a blackbody radiation source, is examined. The intended purpose of the light source is to enable calibration of various types of optical sensors, particularly optical radiation pyrometers in the spectral range from 700 nm to 1070 nm. Results: This numerical method is used to determine and optimize the intensity coefficients of individual LEDs that contribute to the overall spectral distribution. The method was proven for known spectral distributions: “flat” spectrum, International Commission on Illumination (CIE) standard daylight illuminant D65 spectrum, Hydrargyrum Medium-arc Iodide (HMI) High Intensity Discharge (HID) lamp, and finally blackbody radiation spectra at various temperatures. Conclusions: The method enables achieving a broad range of continuous spectral distributions and compares favorably with other methods proposed in the literature

Norms and Deontic Logic

Deontic logic (from Ancient Greek déon, what is right) aims to formalize the links existing between the notions of obligation, prohibition, permission and optionality. Deontic logic is at the origin of normative systems which are used to model obligations, prohibitions and sanctions in organizations. In this chapter, we will first present standard deontic logic, then we will analyze its drawbacks. A synthesis of some problems tackled in normative systems is then presented: conditional obligations, norms with exceptions, violations, norms with deadlines and collective obligations. Finally, several application domains for deontic logic are examined