On the reasoning of real-world agents: Toward a semantics for active logic
| 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 definition of model and of logical consequence, as well as a new definition 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 definitions, 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) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesMichał 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.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads4 ( #178,434 of 548,973 )Recent downloads (6 months)1 ( #63,511 of 548,973 )How can I increase my downloads? |
My notes
Discussion
