Advertisement

Journal of Philosophical Logic

, Volume 29, Issue 4, pp 383–408 | Cite as

Input/Output Logics

  • David Makinson
  • Leendert van der Torre
Article

Abstract

In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels.

input/output logic reusability identity conditional goals conditional obligations deontic logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. Makinson, D., 1999. On a fundamental problem of deontic logic, in Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science 49, P. Mc-Namara and H. Prakken (eds.), Frontiers in Artificial Intelligence and Applications, IOS Press, Amsterdam, pp. 29–53.Google Scholar
  2. Makinson, D., 1994. General patterns in nonmonotonic reasoning, in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Gabbay, Hogger and Robinson (eds.), Oxford University Press, pp. 35–110.Google Scholar
  3. Makinson, D. and L. van der Torre, (to appear). Constraints for input/output logics.Google Scholar
  4. Reiter, R., 1980. A logic for default reasoning, Artificial Intelligence 13: 81–132.Google Scholar
  5. van der Torre, L. W. N., 1997. Reasoning about Obligations: Defeasibility in Preference-Based Deontic Logic, Ph.D. Thesis, Erasmus University of Rotterdam. Tinbergen Institute Research Series n∘ 140. Thesis Publishers: Amsterdam.Google Scholar
  6. van der Torre, L. W. N., 1998. Phased labeled logics of conditional goals, Logics in Artificial Intelligence. Proceedings of the Sixth European Workshop on Logics in AI (JELIA'98). Lecture Notes in Comput. Sci. 1489, Springer, Berlin, pp. 92–106.Google Scholar

Copyright information

© Kluwer Academic Publishers 2000

Authors and Affiliations

  • David Makinson
    • 1
  • Leendert van der Torre
    • 2
  1. 1.Department of ComputingKing"s College LondonVille d"AvrayFrance
  2. 2.Department of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamthe Netherlands

Personalised recommendations