Graduate studies at Western
Journal of Philosophical Logic 17 (4):391 - 441 (1988)
|Abstract||The use of circumscription for formalizing commonsense knowledge and reasoning requires that a circumscription policy be selected for each particular application: we should specify which predicates are circumscribed, which predicates and functions are allowed to vary, and what priorities between the circumscribed predicates are established. The circumscription policy is usually described either informally or using suitable metamathematical notation. In this paper we propose a simple and general formalism which permits describing circumscription policies by axioms, included in the knowledge base along with the axioms describing the objects of reasoning. The new formalism is illustrated by recasting some of the familiar applications of circumscription in its terms|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Sara Negri & Jan Von Plato (1998). Cut Elimination in the Presence of Axioms. Bulletin of Symbolic Logic 4 (4):418-435.
Arnon Avron, A Model-Theoretic Approach for Recovering Consistent Data From Inconsistent Knowledge-Bases.
Christopher Menzel & Patrick Hayes, SCL: A Logic Standard for Semantic Integration. Semantic Integration, CEUR Workshop Proceedings, Vol. 82 (2003).
Selmer Bringsjord, Micah Clark & Joshua Taylor (forthcoming). Sophisticated Knowledge Representation and Reasoning Requires Philosophy. In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.
Mamoru Kaneko & Takashi Nagashima (1996). Game Logic and its Applications I. Studia Logica 57 (2-3):325 - 354.
Andreas Hamfelt (1995). Formalizing Multiple Interpretation of Legal Knowledge. Artificial Intelligence and Law 3 (4):221-265.
Wiebe Hoek, Jan Jaspars & Elias Thijsse (1996). Honesty in Partial Logic. Studia Logica 56 (3):323 - 360.
E. G. K. López-Escobar (1988). Circumscription Within Monotonic Inferences. Journal of Symbolic Logic 53 (3):888-904.
Added to index2009-01-28
Total downloads2 ( #246,325 of 739,304 )
Recent downloads (6 months)0
How can I increase my downloads?