Switch to: References

Add citations

You must login to add citations.
  1. What if all truth is context-dependent?Bruce Edmonds - unknown
    This paper argues that truth is by nature context-dependent – that no truth can be applied regardless of context. I call this “strong contextualism”. Some objections to this are considered and rejected, principally: that there are universal truths given to us by physics, logic and mathematics; and that claiming “no truths are universal” is self-defeating. Two “models” of truth are suggested to indicate that strong contextualism is coherent. It is suggested that some of the utility of the “universal framework” can (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Contesti in intelligenza artificiale: una fugace rassegna (Context in artificial intelligence: a fleeting overview).Varol Akman - 2002 - In Carlo Penco (ed.), La svolta contestuale. New York: McGraw-Hill.
    The notion of context arises in assorted areas of artificial intelligence (AI), including knowledge representation, natural language processing, intelligent information retrieval, etc. Although the term ‘context’ is frequently employed in descriptions, explanations, and analyses of computer programs in these areas, its meaning is frequently left to the reader’s understanding. -/- My aim in this paper is to offer a swift review of context in AI. I will first identify the role of context in various fields of AI. I will then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Using abstract resources to control reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.
    Many formalisms for reasoning about knowing commit an agent to be logically omniscient. Logical omniscience is an unrealistic principle for us to use to build a real-world agent, since it commits the agent to knowing infinitely many things. A number of formalizations of knowledge have been developed that do not ascribe logical omniscience to agents. With few exceptions, these approaches are modifications of the possible-worlds semantics. In this paper we use a combination of several general techniques for building non-omniscient reasoners. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknown
    Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Enaction-based artificial intelligence: Toward co-evolution with humans in the loop. [REVIEW]Pierre De Loor, Kristen Manac’H. & Jacques Tisseau - 2009 - Minds and Machines 19 (3):319-343.
    This article deals with the links between the enaction paradigm and artificial intelligence. Enaction is considered a metaphor for artificial intelligence, as a number of the notions which it deals with are deemed incompatible with the phenomenal field of the virtual. After explaining this stance, we shall review previous works regarding this issue in terms of artificial life and robotics. We shall focus on the lack of recognition of co-evolution at the heart of these approaches. We propose to explicitly integrate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.
    In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Distributed First Order Logic.Chiara Ghidini & Luciano Serafini - 2017 - Artificial Intelligence 253 (C):1-39.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Towards a general theory of topological maps.Emilio Remolina & Benjamin Kuipers - 2004 - Artificial Intelligence 152 (1):47-104.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A decidable multi-modal logic of context.Rolf Nossum - 2003 - Journal of Applied Logic 1 (1-2):119-133.
    Download  
     
    Export citation  
     
    Bookmark  
  • Epistemology, Context, and Formalism.Franck Lihoreau & Manuel Rebuschi (eds.) - 2014 - Heidelberg: Springer Verlag.
    Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...
    Download  
     
    Export citation  
     
    Bookmark  
  • Communicative Intentions and Conversational Processes in Human-Human and Human-Computer Dialogue.Matthew Stone - unknown
    This chapter investigates the computational consequences of a broadly Gricean view of language use as intentional activity. In this view, dialogue rests on coordinated reasoning about communicative intentions. The speaker produces each utterance by formulating a suitable communicative intention. The hearer understands it by recognizing the communicative intention behind it. When this coordination is successful, interlocutors succeed in considering the same intentions— that is, the same representations of utterance meaning—as the dialogue proceeds. In this paper, I emphasize that these intentions (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Contexts in Philosophy: Pragmatic competence as filter.Carlo Penco - 2018 - Modeling and Using Context 2 (1):1-19.
    This programmatic paper is an attempt to connect some worries in the philosophy of language with some traditional views in artificial intelligence. After a short introduction to the notion of context in philosophy (§1), starting from the inventor of mathematical logic, Gottlob Frege, I list three debates in the philosophy of language where the solution is strongly undecided: §2 treats the debate between holism and molecularism; §3 describes the debate on the boundaries between semantics and pragmatics; §4 hints at a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Minimality and Non-determinism in Multi-context Systems.Floris Roelofsen & Luciano Serafini - 2001 - In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer. pp. 424--435.
    Download  
     
    Export citation  
     
    Bookmark  
  • Towards a many-dimensional modal logic for semantic processing.Tim Fernando - unknown
    Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility relations of the kind studied in many-dimensional modal logic, modulo complications from constraints between translation and entailment (violations in which may trigger re-attunement) and from refinement and underspecification.
    Download  
     
    Export citation  
     
    Bookmark  
  • Partition-based logical reasoning for first-order and propositional theories.Eyal Amir & Sheila McIlraith - 2005 - Artificial Intelligence 162 (1-2):49-88.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Context in abductive interpretation.Matthew Stone & Richmond H. Thomason - unknown
    This paper develops a general approach to contextual reasoning in natural language processing. Drawing on the view of natural language interpretation as abduction (Hobbs et al., 1993), we propose that interpretation provides an explanation of how an utterance creates a new discourse context in which its interpreted content is both true and promi- nent. Our framework uses dynamic theories of semantics and pragmatics, formal theories of context, and models of attentional state. We describe and illustrate a Prolog implementation.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • How deep is the surface? A theoretical framework for understanding meaning-making in living systems.Yair Neuman - 2003 - Foundations of Science 8 (4):393-415.
    Living systems are characterized by unique properties that make them resistant to the ``information-processingperspective'' of traditional cognitive science.This paper details those unique properties andoffers a new theoretical framework forunderstanding the behavior of living systems.This framework leans heavily on ideas fromgeneral systems theory (specifically Bateson'sinteractionist perspective), semiotics, andMerleau-Ponty's phenomenology. The benefits ofusing this framework are illustrated withexamples from two different domains: immunologyand verbal interaction.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reasoning about trust and aboutness in the context of communication.Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):292-303.
    Trust may have many different informal definitions. In this work, formal definitions are proposed in Modal Logic in order to have clear rules for reasoning about trust. We start from trust in some properties of an information source, like sincerity, competence or vigilance, about a given proposition. Then, this definition is extended to trust about all the propositions which are about a given topic. A further extension is about all the propositions which inform about a given individual. Specific logics are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Comparing formal theories of context in AI.Luciano Serafini & Paolo Bouquet - 2004 - Artificial Intelligence 155 (1-2):41-67.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The objective conception of context and its logic.Christopher Menzel - 1999 - Minds and Machines 9 (1):29-56.
    In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Paolo Bouquet, Luciano Serafini & Richmond H. Thomason (eds.), Perspectives on Contexts. Center for the Study of Language and Inf. pp. 171-188.
    Download  
     
    Export citation  
     
    Bookmark   1 citation