Constraints for input/output logics (Q5935791): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of theory change: Partial meet contraction and revision functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3039305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Analysis of some Deontic Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4395623 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4938866 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Input/output logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logical framework for default reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for default reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4349945 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4246962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Contrary-to-duty reasoning with preference-based dyadic obligations / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:46, 3 June 2024
scientific article; zbMATH DE number 1611074
Language | Label | Description | Also known as |
---|---|---|---|
English | Constraints for input/output logics |
scientific article; zbMATH DE number 1611074 |
Statements
Constraints for input/output logics (English)
0 references
26 June 2001
0 references
This paper continues a project of the authors [cf. ibid. 29, 383-408 (2000; Zbl 0964.03002)] to investigate what they call `input/output logics' that define operations resembling inference but in which inputs need not be included among outputs and outputs need not be reusable as inputs. These have application particularly in deontic logic and the theory of conditional norms and especially contrary-to-duty obligations, and they are connected to some forms of nonmonotonic logic. The present work investigates what happens when an input/output logic is constrained so that it does not produce excessive outputs, in particular, when it is constrained so that its output is consistent with its input. The mechanism is to limit the generators of such a logic to the maximal subsets they yield such consistent output. This is reminiscent of techniques in the theory of belief change and nonmonotonic inference. And indeed, when inputs can emerge as outputs, the `maxichoice revision' of Alchourrón and Makinson and the default logic of Poole come out as special cases. There is also a close connection to Reiter's default logic. The focus here, however, is on the general case and the effect of consistency constraints on a variety of output functions. These are examined from both a semantical point of view (broadly construed) and in terms of derivations.
0 references
deontic logic
0 references
conditional norms
0 references
contrary-to-duty obligations
0 references
nonmonotonic logic
0 references
input/output logic
0 references
default logic
0 references
consistency constraints
0 references