Automated inference in active logics

Journal of Applied Non-Classical Logics 6 (1):9-27 (1996)
  Copy   BIBTEX

Abstract

ABSTRACT Certain problems in commonsense reasoning lend themselves to the use of non-standard formalisms which we call active logics. Among these are problems of objects misidentification. In this paper we describe some technical issues connected with automated inference in active logics, using particular object misidentification problems as illustrations. Control of exponential growth of inferences is a key issue. To control this growth attention is paid to a limited version of an inference rule for negative introspection. We also present some descriptive statistics for comparison with earlier active-logic approaches

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Maximality and Refutability.Tom Skura - 2004 - Notre Dame Journal of Formal Logic 45 (2):65-72.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.

Analytics

Added to PP
2013-11-24

Downloads
17 (#742,366)

6 months
5 (#247,092)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations