Input/output logics
The authors propose that we think of logic not merely as an inference engine, but as a way of preparing information for a more general method of input/output transformation. Four such `logics' are described, from the `simple-minded', in which all the (classically) logical consequences of a (propositional) input \(A\) are become input and the output is again closed under logical consequence, to a more useful `basic', which accommodates disjunctive inputs, to `reusable' extensions of each, in which outputs are returned to become inputs. All four are described both semantically and as sets of derivation procedures, with corresponding soundness and completeness results. Further properties are also presented, such as the possibility of permuting the order of application of derivation procedures in the different systems. This treatment of logic has application especially to such notions as conditional obligation, preferences, actions and beliefs, in which the type of input is not always the same as the type of output.
- Permission from an input/output perspective
- Obligation as optimal goal satisfaction
- On the complexity of input/output logic
- AGM contraction and revision of rules
- A logic of argumentation for specification and verification of abstract argumentation frameworks
- Unsettling preferential semantics
- Computing defeasible meta-logic
- From input/output logics to conditional logics via sequents -- with provers
- Formalizing Kant's rules. A logic of conditional imperatives and permissives
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Free choice reasons
- Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
- Rethinking epistemic logic with belief bases
- Contrary-to-duty reasoning: a categorical approach
- Computing strong and weak permissions in defeasible logic
- Two adaptive logics of norm-propositions
- Conflicting imperatives and dyadic deontic logic
- The logic of reusable propositional output with the fulfilment constraint
- ``Sing and dance!. Input/output logics without weakening
- Violation games: a new foundation for deontic logic
- How to build input/output logic
- Ten problems of deontic logic and normative reasoning in computer science
- Adaptive logic characterizations of input/output logic
- Boolean Game with Prioritized Norms
- On the Complexity of Input/Output Logic
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- GoedelGod
- scientific article; zbMATH DE number 2019850 (Why is no real title available?)
- Realistic desires
- Reified input/output logic: combining input/output logic and reification to represent norms coming from existing legislation
- Modelling phenomena and dynamic logic of phenomena
- Equivalence of defeasible normative systems
- Arguing about constitutive and regulative norms
- The categorical imperative: category theory as a foundation for deontic logic
- Semantic formalization of interactive reasoning functionality
- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Normative reasoning and consequence
- On logic of strictly-deontic modalities. A semantic and tableau approach
- Exploiting belief bases for building rich epistemic structures
- scientific article; zbMATH DE number 7085150 (Why is no real title available?)
- Intuitionistic basis for input/output logic
- scientific article; zbMATH DE number 6741901 (Why is no real title available?)
- Stratification of normative systems with intermediaries
- Goal-directed decision procedures for input/output logics
- Constraints for input/output logics
- Normative positions within an algebraic approach to normative systems
- Modal Rules: Extending Defeasible Logic with Modal Operators
- Permission to speak: a logic for access control and conformance
- Subordination algebras as semantic environment of input/output logic
- Situated conditional reasoning
- The Jiminy advisor: moral agreements among stakeholders based on norms and argumentation
- An inferential theory of causal reasoning
- Constrained derivation in assumption-based argumentation
- Handling irresolvable conflicts in the semantic web: an RDF-based conflict-tolerant version of the deontic traditional scheme
- Mīmāṃsā on `better-not' permissions
- A tutorial in proof-theoretic approaches to logical argumentation
- Obligations and permissions on selfextensional logics
- Believing in default rules: inclusive default reasoning
- Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)
- Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
- Smt-based deontic reasoning for Åqvist logics
- A causal approach to nonmonotonic reasoning
- A concept approach to input/output logic
- Law and logic: a review from an argumentation perspective
- Substantive and procedural norms in normative multiagent systems
- A theory of permission based on the notion of derogation
This page was built for publication: Input/output logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1582229)
