Switch to: References

Add citations

You must login to add citations.
  1. A Dynamic Logic of Data-Informed Knowledge.Kaya Deuser, Junli Jiang, Pavel Naumov & Wenxuan Zhang - 2024 - Journal of Philosophical Logic 53 (2):521-557.
    With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A causal approach to nonmonotonic reasoning.Alexander Bochman - 2004 - Artificial Intelligence 160 (1-2):105-143.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Arguing about causes in law: a semi-formal framework for causal arguments.Rūta Liepiņa, Giovanni Sartor & Adam Wyner - 2020 - Artificial Intelligence and Law 28 (1):69-89.
    Disputes over causes play a central role in legal argumentation and liability attribution. Legal approaches to causation often struggle to capture cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. In this paper, we first assess three current theories of causation to illustrate their strengths and weaknesses in capturing cause-in-fact. Secondly, we introduce a semi-formal framework for modelling causal arguments through strict and defeasible rules. Thirdly, the framework is applied to the Althen vaccine injury case. And lastly, we discuss the need (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Little Nell Problem: reasonable and resolute maintenance of agent intentions.Richmond H. Thomason - 2018 - Synthese 195 (1):433-440.
    The Little Nell Problem was formulated by Drew McDermott in 1982. It reveals unexpected complexities in the interaction of the beliefs and intentions of a planning agent. This paper discusses the problem and proposes a solution.
    Download  
     
    Export citation  
     
    Bookmark  
  • Action Models for Conditionals.Jeremy Lent & Richmond H. Thomason - 2015 - Journal of Logic, Language and Information 24 (2):211-231.
    Possible worlds semantics for conditionals leave open the problem of how to construct models for realistic domains. In this paper, we show how to adapt logics of action and change such as John McCarthy’s Situation Calculus to conditional logics. We illustrate the idea by presenting models for conditionals whose antecedents combine a declarative condition with a hypothetical action.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Causes and explanations in the structural-model approach: Tractable cases.Thomas Eiter & Thomas Lukasiewicz - 2006 - Artificial Intelligence 170 (6-7):542-580.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Arguing about causes in law: a semi-formal framework for causal arguments.Rūta Liepiņa, Giovanni Sartor & Adam Wyner - 2020 - Artificial Intelligence and Law 28 (1):69-89.
    Disputes over causes play a central role in legal argumentation and liability attribution. Legal approaches to causation often struggle to capture cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. In this paper, we first assess three current theories of causation to illustrate their strengths and weaknesses in capturing cause-in-fact. Secondly, we introduce a semi-formal framework for modelling causal arguments through strict and defeasible rules. Thirdly, the framework is applied to the Althen vaccine injury case. And lastly, we discuss the need (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Non-monotonic formalisms.Richmond H. Thomason - unknown
    I will try to do three things in this paper. First, I want to situate certain problems in natural language semantics with respect to larger trends in logicism, including: (i) Attempts by positivist philosophers earlier in this century to provide a logical basis for the physical sciences; (ii) Attempts by linguists and logicians to develop a “natural language ontology” (and, presumably, a logical language that is related to this ontology by formally explicit rules) that would serve as a framework for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • From similarity to chance.Daniel Osherson - manuscript
    “In reality, all arguments from experience are founded on the similarity which we discover among natural objects, and by which we are induced to expect effects similar to those which we have found to follow from such objects. ... From causes which appear similar we expect similar effects.”.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.
    cuted actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowl-.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Characterizing causal action theories and their implementations in answer set programming.Haodi Zhang & Fangzhen Lin - 2017 - Artificial Intelligence 248 (C):1-8.
    Download  
     
    Export citation  
     
    Bookmark  
  • Causality, Modality, and Explanation.Graham White - 2008 - Notre Dame Journal of Formal Logic 49 (3):313-343.
    We start with Fodor's critique of cognitive science in "The mind doesn't work that way: The scope and limits of computational psychology": he argues that much mental activity cannot be handled by the current methods of cognitive science because it is nonmonotonic and, therefore, is global in nature, is not context-free, and is thus not capable of being formalized by a Turing-like mental architecture. We look at the use of nonmonotonic logic in the artificial intelligence community, particularly with the discussion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Arguing about causes in law: a semi-formal framework for causal arguments.Rūta Liepiņa, Giovanni Sartor & Adam Wyner - 2020 - Artificial Intelligence and Law 28 (1):69-89.
    Disputes over causes play a central role in legal argumentation and liability attribution. Legal approaches to causation often struggle to capture cause-in-fact in complex situations, e.g. overdetermination, preemption, omission. In this paper, we first assess three current theories of causation to illustrate their strengths and weaknesses in capturing cause-in-fact. Secondly, we introduce a semi-formal framework for modelling causal arguments through strict and defeasible rules. Thirdly, the framework is applied to the Althen vaccine injury case. And lastly, we discuss the need (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conditional logic of actions and causation.Laura Giordano & Camilla Schwind - 2004 - Artificial Intelligence 157 (1-2):239-279.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Complexity results for structure-based causality.Thomas Eiter & Thomas Lukasiewicz - 2002 - Artificial Intelligence 142 (1):53-89.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Complexity results for explanations in the structural-model approach.Thomas Eiter & Thomas Lukasiewicz - 2004 - Artificial Intelligence 154 (1-2):145-198.
    Download  
     
    Export citation  
     
    Bookmark