|Abstract||The current paper details a restricted semantics for active logic, a time-sensitive, contradictiontolerant logical reasoning formalism. Central to active logic are special rules controlling the inheritance of beliefs in general, and beliefs about the current time in particular, very tight controls on what can be derived from direct contradictions (P &¬P ), and mechanisms allowing an agent to represent and reason about its own beliefs and past reasoning. Using these ideas, we introduce a new deﬁnition of model and of logical consequence, as well as a new deﬁnition of soundness such that, when reasoning with consistent premises, all classically sound rules are sound for active logic. However, not everything that is classically sound remains sound in our sense, for by classical deﬁnitions, all rules with contradictory premises are vacuously sound, whereas in active logic not everything follows from a contradiction.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Michael Anderson, Walid Gomaa, John Grant & Don Perlis, Active Logic Semantics for a Single Agent in a Static World.
Michał Walicki, Marc Bezem & Wojtek Szajnkenig (2009). Developing Bounded Reasoning. Journal of Logic, Language and Information 18 (1).
Jim Mackenzie (1989). Reasoning and Logic. Synthese 79 (1):99 - 117.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Jaap Hage (1996). A Theory of Legal Reasoning and a Logic to Match. Artificial Intelligence and Law 4 (3-4):199-273.
Munindar P. Singh & Nicholas M. Asher (1993). A Logic of Intentions and Beliefs. Journal of Philosophical Logic 22 (5):513 - 544.
Srećko Kovač (2007). Contradictions, Objects, and Belief. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic.
Daniel Kayser (forthcoming). The Place of Logic in Reasoning. Logica Universalis.
Robert A. Kowalski & Francesca Toni (1996). Abstract Argumentation. Artificial Intelligence and Law 4 (3-4):275-296.
Víctor Sánchez Valencia (1997). Head or Tail? De Morgan on the Bounds of Traditional Logic. History and Philosophy of Logic 18 (3):123-138.
Frank Wolter & Michael Zakharyaschev (2005). A Logic for Metric and Topology. Journal of Symbolic Logic 70 (3):795 - 828.
Added to index2010-12-22
Total downloads4 ( #178,434 of 548,973 )
Recent downloads (6 months)1 ( #63,511 of 548,973 )
How can I increase my downloads?