1,645 research outputs found
Oral History Interview with Dr. Bill Blackburn, April 20, 2022
No full textTranscript of an interview with Dr. Bill Blackburn, Kerrville pastor, author, and mayor. Blackburn discusses his family, education, call to ministry, service as a Family Life Consultant to the Christian Life Commission of the Baptist General Convention, leadership in many community-based service organizations, and terms as Mayor of Kerrville
Oral History Interview with Dr. Bill Blackburn, April 20, 2022
No full textRecording of an interview with Dr. Bill Blackburn, Kerrville pastor, author, and mayor. Blackburn discusses his family, education, call to ministry, service as a Family Life Consultant to the Christian Life Commission of the Baptist General Convention, leadership in many community-based service organizations, and terms as Mayor of Kerrville
Interview with Patrick Blackburn
No full textI 2005 udgav Patrick Blackbrun, som er Directeur de Recherche for INRIA Lorraine (Frankrig's nationale institution for datalogisk forskning) sammen med Johan Bos (Università di Roma "La Sapienza") bogen Representation and Inference for Natural Language: A First Course in Computational Semantics (2005). I dette interview diskuterer han med udgangspunkt i bogens særlige fokus på formalisering af slutninger inden for naturlige sprogs semantik, samt brugen af disse formaliseringer, om logisk programmerings historie, rolle og fremtid. Udgivelsesdato: OctoberIn 2005 Patrick Blackburn, who is Directeur de Recherche for INRIA Lorraine (France's national organization for research in computer science), published together with Johan Bos (Università di Roma "La Sapienza") the book Representation and Inference for Natural Language: A First Course in Computational Semantics (2005). In this view he discusses, with starting point in the books particular focus on formalizations of inference in natural language semantics and the use of these formalizations, the history of logic programming, its role and future
Contextual Validity in Hybrid Logic
No full textHybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional sym- bols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context- dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as well.Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional sym- bols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context- dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as wel
Special Issue on Hybrid Logics
No full textSpecial Issue of the Journal of Applied Logic. C. Areces and P. Blackburn (editors).International audienc
Lectures on Hybrid Logic
No full textThis course introduces hybrid logic, a form of modal logic in which it is possible to name worlds (or times, or computational states, or situations, or nodes in parse trees, or people — indeed, whatever it is that the elements of Kripke Models are taken to represent). The course has two main goals. The first is to convey, as clearly as possible, the ideas and intuitions that have guided the development of hybrid logic. The second is to teach a concrete skill: tableau-based hybrid deduction. By the end of the course you will have ample evidence that modal logic can be useful in a wide range of circumstances, and that hybrid logic is a particularly simple way of doing modal logic. Course Outline The course consist of five lectures: Lecture 1: From modal logic to hybrid logic Lecture 2: Hybrid deduction Lecture 3: The downarrow binder Lecture 4: First-order hybrid logic Lecture 5: The Priorean perspective Each lecture is one hour long, and will be presented by Patrick Blackburn. The slides (developed by Patrick Blackburn and Maarten Marx) on which the course is based will be made available on the NASSLLI website, and on the hybrid logic homepage (www.hylo.net). The course is relatively self-contained, and we attempt to make the material as accessible as possible to an interdisciplinary audience (that is, the course is not targeted solely at logicians). Nonetheless, we presuppose a certain level of logical literacy. Roughly speaking, to follow this course you should have a reasonable grasp of first-order logic and its semantics. Prior acquaintance with the basics of modal logic would be helpful, but is not essential
Special Issue on Hybrid Logics
No full textSpecial Issue of the Journal of Applied Logic. C. Areces and P. Blackburn (editors).International audienc
Modeling the clarification potential of instructions: Predicting clarification requests and other reactions
No full textWe hypothesize that conversational implicatures are a rich source of clarification requests, and in this paper we do two things. First, we motivate the hypothesis in theoretical, practical and empirical terms and formulate it as a concrete clarification potential principle: implicatures may become explicit as fourth-level clarification requests. Second, we present a framework for generating the clarification potential of an instruction by inferring its conversational implicatures with respect to a particular context. We evaluate the framework and illustrate its performance using a human–human corpus of situated conversations. Much of the inference required can be handled using classical planning, though as we shall note, other forms of means-ends analysis are also required. Our framework leads us to view discourse structure as emerging via opportunistic responses to task structure.Fil: Benotti, Luciana. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física. Sección Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; ArgentinaFil: Blackburn, Patrick. Roskilde Universitetscenter; Dinamarc
- …
