5 found
Sort by:
See also:
Profile: Paul Piwek (Open University (UK))
  1.  33 DLs
    Paul Piwek (2007). Meaning and Dialogue Coherence: A Proof-Theoretic Investigation. Journal of Logic, Language and Information 16 (4):403-421.
    This paper presents a novel proof-theoretic account of dialogue coherence. It focuses on an abstract class of cooperative information-oriented dialogues and describes how their structure can be accounted for in terms of a multi-agent hybrid inference system that combines natural deduction with information transfer and observation. We show how certain dialogue structures arise out of the interplay between the inferential roles of logical connectives (i.e., sentence semantics), a rule for transferring information between agents, and a rule for information flow between (...)
    Direct download (9 more)  
    My bibliography  
    Export citation  
  2.  31 DLs
    Kees van Deemter, Brigitte Krenn, Paul Piwek, Marc Schroeder, Martin Klesen & Stefan Baumann, Fully Generated Scripted Dialogue for Embodied Conversational Agents'.
    (Near-final version.) Accepted for publication in Artificial Intelligence Journal.
    No categories
    Direct download  
    My bibliography  
    Export citation  
  3.  31 DLs
    Paul Piwek (2011). Dialogue Structure and Logical Expressivism. Synthese 183 (S1):33-58.
    This paper aims to develop the implications of logical expressivism for a theory of dialogue coherence. I proceed in three steps. Firstly, certain structural properties of cooperative dialogue are identified. Secondly, I describe a variant of the multi-agent natural deduction calculus that I introduced in Piwek (J Logic Lang Inf 16(4):403–421, 2007 ) and demonstrate how it accounts for the aforementioned structures. Thirdly, I examine how the aforementioned system can be used to formalise an expressivist account of logical vocabulary that (...)
    Direct download (8 more)  
    My bibliography  
    Export citation  
  4.  16 DLs
    Paul Piwek, Towards a Computational Account of Inferentialist Meaning.
    Both in formal and computational natural language semantics, the classical correspondence view of meaning – and, more specifically, the view that the meaning of a declarative sentence coincides with its truth conditions – is widely held. Truth (in the world or a situation) plays the role of the given, and meaning is analysed in terms of it. Both language and the world feature in this perspective on meaning, but language users are conspicuously absent. In contrast, the inferentialist semantics that Robert (...)
    Direct download (2 more)  
    My bibliography  
    Export citation  
  5.  12 DLs
    Rodger Kibble, Paul Piwek & Ielka van der Sluis (2007). Introduction. Journal of Logic, Language and Information 16 (4):361-363.
    Direct download (4 more)  
    My bibliography  
    Export citation