Varieties of specification and underspecification: A view from semantics
|
|
|
- Alexandra Webster
- 10 years ago
- Views:
Transcription
1 Varieties of specification and underspecification: A view from semantics Torgrim Solstad D1/B4 SFB meeting on long-term goals June 29th, 2009
2 The technique of underspecification I Presupposed: in semantics, specification involves a narrowing-in of an interpretational range In computational linguistics and much work in formal semantics, underspecification is simply a technique which allows us to represent semantic information in an (ideally) compact format. Motivation: if one cannot decide on an interpretation in context, this technique allows one to proceed processing without making uninformed decisions. Underspecified representations must be logically transparent and allow for deductions and the inclusion of truth conditions
3 The technique of underspecification II The most prominent examples involve scope ambiguities Applicable to any kind of lexical ambiguity (apart from vagueness) no opposition between underspecification and ambiguity Interpretation of German homonymous Bank ( bank, bench ) Bank financial institution(x)! seating accommodation(x) (1) a. Wir haben den ganzen Abend auf der Bank gesessen. We spent the whole evening on the bench. b. Die Bank wurde gestern ausgeraubt. The bank was robbed yesterday.
4 The technique of underspecification III Referential arguments of Absperrung (event, object, state) α z α = e! α = s! α = y e CAUSE s s: HAVE(y,z) FUNCTION AS BARRIER(y) AGENT(e)=x (2) a. event: Die Absperrung des Gebiets wurde von Demonstranten behindert. The cordoning-off (of the area) was hampered by protesters. b. state: Die Absperrung des Gebiets wird noch aufrecht erhalten. The cordoning-off of the area is still sustained. c. object: Die Absperrung wird morgen abgebaut. The barrier will be dismantled tomorrow.
5 Underspecification reflecting psychological reality In linguistics (and in linguistic semantics in particular) a view is prominent where what is (represented as) underspecified should also have a common mental basis. Remark: processing assumptions motivate the CL approach, too. From this perspective, it makes no sense to treat cases of homonymy as underspecified, since the two interpretations of Bank have nothing in common (from a synchronic point of view) No reasonable, common inferences available in the case of Bank For e.g. the state interpretation of Absperrung, this could be different, though: it necessarily involves (i.e. presupposes) an event of blocking Underspecification (shared semantic core) vs. ambiguity/homonymy (no shared features) Where do we draw the line with respect to psychological reality? Monosemy as a methodological principle (Charles Ruhl)
6 Alternative: uninformed specification and revision We do indeed make uninformed decisions based on preferences. Revision must occur whenever the following context contradicts what has been assumed. (3) a. Auf dem Marktplatz wurde alle fünf Minuten ein Mann angerempelt. Every five minutes a man was bumped into at the market. b. Das hat ihn sehr gestört. That annoyed him immensely. In (3a), the reading is strongly preferred: every five minutes some, but not necessarily the same man was bumped into. If (3a) is followed by (3b), this ordering has to be reversed into : a certain man was bumped into every five minutes. Prediction: Revision strategy should be more costly in terms of processing than underspecification.
7 Disambiguation I If underspecification involves disjunction or conjunction, disambiguation may be viewed as a process of disjunct or conjunct reduction DRS for three-way ambiguous Absperrung (simplified) α z α = e! α = s! α = y e CAUSE s s: HAVE(y,z) FUNCTION AS BARRIER(y) (4) a. abbauen dismantle : α = e! α = s! α = y b. aufrecht erhalten sustain : α = e! α = s! α = y c. behindern hamper : α = e! α = s! α = y
8 Coercion I (5) a. Yesterday, I began a book by Ror Wolf. b. Kann mir jemand bitte mit dem Rechner helfen? Could someone please help me with the computer? Coercion is triggered by type conflict/category mismatch Criterion for identifying cases of coercion Depending on (lexical) type specifications, there will be conflicting views on when coercion is necessary, (5a) vs. (5b) To resolve the conflict, additional material must be introduced, no direct type changes or overwriting, as shown by (6): (6) Yesterday, I began a book by Ror Wolf. It has 150 pages. Type preservation, embedding in covert material Motivated by linguistic and non-linguistic knowledge
9 Coercion II Decomposing coercion 1 Threat: type conflict F <α,β> (p γ ) book does not describe event 2 Saviour/Repair (i) embedding of argument: F <α,β> (H <γ,α> (p γ )) book as argument of an event predicate (ii) embedding of functor: J <<α,β>,<γ,β>> (F <α,β> )(p γ ) begin as predicate of entities? 3 Specification What are the more specific characteristics of the intervening functor? a book is (e.g.) read or written, book by Ror Wolf is read
10 Coercion III Alternatively, dotted types? (7) a. F <α,β> (p α γ ) b. G <γ,β> (p α γ ) No need to assume coercion, because there is no type conflict. Still underspecified event predication in the case of begin, though.
11 Selective vs. additive specification Disambiguation selective specification conjunct/disjunct reduction: α! β Coercion additive specification introduction of new material: P(a) P(H(a)) (8) a. Meine Freundin hat eigenhändig die Absperrung abgebaut. My girlfriend dismantled the barrier on her own. b. I have just begun a new book. c. Kann mir jemand (von euch Ganoven) mit der Bank Ecke Proskauer/Rigaer helfen? Could anyone help me with the (i) bank/(ii) bench on the corner of Proskauer and Rigaer street?
12 Disambiguation and monotonicity/incrementality I Is disambiguation/specification reversible? (9) a. abbauen dismantle : α = e! α = s! α = y b. aufrecht erhalten sustain : α = e! α = s! α = y c. behindern hamper : α = e! α = s! α = y Based on data involving anaphora resolution, we claim that a naive deletion view of disambiguation is not adequate, since it makes false predictions for these data.
13 Disambiguation and monotonicity/incrementality II (10) Die Absperrung des Rathauses wurde vorgestern von Demonstranten behindert. Wegen anhaltender Unruhen wird sie auch heute aufrecht erhalten. The cordoning-off of the town hall was disturbed by protesters the day before yesterday. Due to continuing unrest, it [the state of being cordoned off] is sustained today as well. predicate behindern hamper restricts the ambiguity of Die Absperrung des Rathauses and fixes an event reading The matrix predicate in the second sentence, aufrecht erhalten sustain, only allows the referential argument of sie to be a state Problem: If the fixation of the event reading involves the irreversible deletion of other possible referential arguments, there should be no appropriate discourse referent for sie to pick up, contrary to intuitions.
14 Disambiguation and monotonicity/incrementality III We investigate two alternative approaches to dealing with this challenge: thinning: disambiguation should be allowed to be local, no real disjunct deletion problem: overgeneration? reambiguation: non-monotonicity of interpretation: disambiguation is reversible problem: how do we know which representations may be restored? General discussion Differences between (i) intraphrasal, intrasentential (B1, B3, B4, D1, current phase) and (ii) intersentential contexts? Direction of process of specification? If it is reversible, is it cyclic or unidirectional?
bound Pronouns
Bound and referential pronouns *with thanks to Birgit Bärnreuther, Christina Bergmann, Dominique Goltz, Stefan Hinterwimmer, MaikeKleemeyer, Peter König, Florian Krause, Marlene Meyer Peter Bosch Institute
Logic in general. Inference rules and theorem proving
Logical Agents Knowledge-based agents Logic in general Propositional logic Inference rules and theorem proving First order logic Knowledge-based agents Inference engine Knowledge base Domain-independent
2. SEMANTIC RELATIONS
2. SEMANTIC RELATIONS 2.0 Review: meaning, sense, reference A word has meaning by having both sense and reference. Sense: Word meaning: = concept Sentence meaning: = proposition (1) a. The man kissed the
Stefan Engelberg (IDS Mannheim), Workshop Corpora in Lexical Research, Bucharest, Nov. 2008 [Folie 1]
Content 1. Empirical linguistics 2. Text corpora and corpus linguistics 3. Concordances 4. Application I: The German progressive 5. Part-of-speech tagging 6. Fequency analysis 7. Application II: Compounds
The finite verb and the clause: IP
Introduction to General Linguistics WS12/13 page 1 Syntax 6 The finite verb and the clause: Course teacher: Sam Featherston Important things you will learn in this section: The head of the clause The positions
AP WORLD LANGUAGE AND CULTURE EXAMS 2012 SCORING GUIDELINES
AP WORLD LANGUAGE AND CULTURE EXAMS 2012 SCORING GUIDELINES Interpersonal Writing: E-mail Reply 5: STRONG performance in Interpersonal Writing Maintains the exchange with a response that is clearly appropriate
Paul Kussmaul. Becoming a competent translator in a B.A. course. 1. Introduction
Paul Kussmaul Becoming a competent translator in a B.A. course 1. Introduction Becoming a translator involves a process, and processes can be divided into stages. Stages play a central role in teaching
Jetzt können Sie den Befehl 'nsradmin' auch für diverse Check-Operationen verwenden!
NetWorker - Allgemein Tip 642, Seite 1/6 Jetzt können Sie den Befehl 'nsradmin' auch für diverse Check-Operationen verwenden! Seit einiger Zeit (NetWorker 8.2.0?) können Sie mit dem Befehl nsradmin -C
Structure of the talk. The semantics of event nominalisation. Event nominalisations and verbal arguments 2
Structure of the talk Sebastian Bücking 1 and Markus Egg 2 1 Universität Tübingen [email protected] 2 Rijksuniversiteit Groningen [email protected] 12 December 2008 two challenges for a
Modalverben Theorie. learning target. rules. Aim of this section is to learn how to use modal verbs.
learning target Aim of this section is to learn how to use modal verbs. German Ich muss nach Hause gehen. Er sollte das Buch lesen. Wir können das Visum bekommen. English I must go home. He should read
FOR TEACHERS ONLY The University of the State of New York
FOR TEACHERS ONLY The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION G COMPREHENSIVE EXAMINATION IN GERMAN Friday, June 15, 2007 1:15 to 4:15 p.m., only SCORING KEY Updated information
All the English here is taken from students work, both written and spoken. Can you spot the errors and correct them?
Grammar Tasks This is a set of tasks for use in the Basic Grammar Class. Although they only really make sense when used with the other materials from the course, you can use them as a quick test as the
WhyshouldevenSMBs havea lookon ITIL andit Service Management and
WhyshouldevenSMBs havea lookon ITIL andit Service Management and howcoulditil beusefulforthem? IT Service Management for SMEs: Challenges and Opportunites 27 October 2011, Debrecen, Hungary ITIL is a Registered
Stefan Engelberg (IDS Mannheim), Workshop Corpora in Lexical Research, Bucharest, Nov. 2008 [Folie 1]
Content 1. Empirical linguistics 2. Text corpora and corpus linguistics 3. Concordances 4. Application I: The German progressive 5. Part-of-speech tagging 6. Fequency analysis 7. Application II: Compounds
Exemplar for Internal Assessment Resource German Level 1. Resource title: Planning a School Exchange
Exemplar for internal assessment resource German 1.5A for Achievement Standard 90887! Exemplar for Internal Assessment Resource German Level 1 Resource title: Planning a School Exchange This exemplar supports
Checklist Use this checklist to find out how much English you already know. Grundstufe 1 (Common European Framework: A1 Level)
Der XL Test: Was können Sie schon? Schätzen Sie Ihre Sprachkenntnisse selbst ein! Sprache: Englisch Mit der folgenden e haben Sie die Möglichkeit, Ihre Fremdsprachenkenntnisse selbst einzuschätzen. Die
CSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi
Propositional Logic: logical operators Negation ( ) Conjunction ( ) Disjunction ( ). Exclusive or ( ) Conditional statement ( ) Bi-conditional statement ( ): Let p and q be propositions. The biconditional
Elena Chiocchetti & Natascia Ralli (EURAC) Tanja Wissik & Vesna Lušicky (University of Vienna)
Elena Chiocchetti & Natascia Ralli (EURAC) Tanja Wissik & Vesna Lušicky (University of Vienna) VII Conference on Legal Translation, Court Interpreting and Comparative Legilinguistics Poznań, 28-30.06.2013
Lernsituation 9. Giving information on the phone. 62 Lernsituation 9 Giving information on the phone
Fachkunde 1, Lernfeld 2, Useful Office Vocabulary Lernsituation 9 Giving information on the phone Rolf astian, Managing Director of E Partners KG, recently visited the Promo World Fair in Düsseldorf, an
For those of you keen to have a written version on the podcast, here is the script below:
German Language Guide Script For those of you keen to have a written version on the podcast, here is the script below: Anna: Vorsicht! Scott: Oh sorry! Do you speak English it s kinda squashed in here,
Learn German. WITH Paul Noble. Review booklet
This booklet provides you with a quick and easy way to review and reinforce what you have learned during your audio course. The booklet should be used after you have begun working through the CDs as it
Multipurpsoe Business Partner Certificates Guideline for the Business Partner
Multipurpsoe Business Partner Certificates Guideline for the Business Partner 15.05.2013 Guideline for the Business Partner, V1.3 Document Status Document details Siemens Topic Project name Document type
Coffee Break German Lesson 06
LESSON NOTES WIE VIEL KOSTET DAS? In this episode of Coffee Break German we ll start by learning the numbers from zero to ten and then learn to deal with transactional situations involving paying for things
Satzstellung. Satzstellung Theorie. learning target. rules
Satzstellung learning target Aim of this topic is to explain how to arrange the different parts of a sentence in the correct order. I must admit it took quite a long time to handle this topic and find
Predicate Logic Review
Predicate Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Grammar A term is an individual constant or a variable. An individual constant is a lowercase letter from the beginning
Is Cloud relevant for SOA? 2014-06-12 - Corsin Decurtins
Is Cloud relevant for SOA? 2014-06-12 - Corsin Decurtins Abstract SOA (Service-Orientierte Architektur) war vor einigen Jahren ein absolutes Hype- Thema in Unternehmen. Mittlerweile ist es aber sehr viel
LEARNING AGREEMENT FOR STUDIES
LEARNING AGREEMENT FOR STUDIES The Student Last name (s) First name (s) Date of birth Nationality 1 Sex [M/F] Academic year 20../20.. Study cycle EQF level 6 Subject area, Code Phone E-mail 0421 The Sending
Hybrid Strategies. for better products and shorter time-to-market
Hybrid Strategies for better products and shorter time-to-market Background Manufacturer of language technology software & services Spin-off of the research center of Germany/Heidelberg Founded in 1999,
DISCRETE MATH: LECTURE 3
DISCRETE MATH: LECTURE 3 DR. DANIEL FREEMAN 1. Chapter 2.2 Conditional Statements If p and q are statement variables, the conditional of q by p is If p then q or p implies q and is denoted p q. It is false
O CONNOR ebook How do I say that in English?
O CONNOR ebook How do I say that in English? O CONNOR Kommunikation ohne Grenzen Ihr Spezialist für Sprachund Kommunikationstraining O CONNOR ebook How do I say that in English? Dear English Learner, First
Programme Director, Mr Josef Lederer
SPEECH DELIVERED BY THE CONSUL GENERAL AT A SCHENKER DINNER IN STUTTGART HELD ON FRIDAY 31 OCTOBER 2008 Programme Director, Mr Josef Lederer Sehr geehrter Leiter der Geschäftsstellen Stuttgart Herr Etzel,
Handout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
Complex Predications in Argument Structure Alternations
Complex Predications in Argument Structure Alternations Stefan Engelberg (Institut für Deutsche Sprache & University of Mannheim) Stefan Engelberg (IDS Mannheim), Universitatea din Bucureşti, November
Predicate Logic. For example, consider the following argument:
Predicate Logic The analysis of compound statements covers key aspects of human reasoning but does not capture many important, and common, instances of reasoning that are also logically valid. For example,
Paraphrasing controlled English texts
Paraphrasing controlled English texts Kaarel Kaljurand Institute of Computational Linguistics, University of Zurich [email protected] Abstract. We discuss paraphrasing controlled English texts, by defining
Mathematical Induction
Mathematical Induction In logic, we often want to prove that every member of an infinite set has some feature. E.g., we would like to show: N 1 : is a number 1 : has the feature Φ ( x)(n 1 x! 1 x) How
I-Q SCHACHT & KOLLEGEN QUALITÄTSKONSTRUKTION GMBH ISO 26262:2011. Liste der Work Products aus der Norm
I-Q SCHACHT & KOLLEGEN QUALITÄTSKONSTRUKTION GMBH ISO 26262:2011 Liste der Work Products aus der Norm 1. Work Products in der ISO 26262:2011 1.1 Liste ISO-26262:2011, part 1 - Vocabulary no relevant work
I Textarbeit. Text 1. I never leave my horse
BEJ Musterprüfung Englisch (11020) 1 I Textarbeit Text 1 I never leave my horse 1 5 10 15 20 Police officers in Ireland don t carry guns. But they often ride through Dublin on horses. Julie Folan is a
What s in a Lexicon. The Lexicon. Lexicon vs. Dictionary. What kind of Information should a Lexicon contain?
What s in a Lexicon What kind of Information should a Lexicon contain? The Lexicon Miriam Butt November 2002 Semantic: information about lexical meaning and relations (thematic roles, selectional restrictions,
Arguments and Dialogues
ONE Arguments and Dialogues The three goals of critical argumentation are to identify, analyze, and evaluate arguments. The term argument is used in a special sense, referring to the giving of reasons
SYNTAX AND SEMANTICS OF CAUSAL DENN IN GERMAN TATJANA SCHEFFLER
SYNTAX AND SEMANTICS OF CAUSAL DENN IN GERMAN TATJANA SCHEFFLER Department of Linguistics University of Pennsylvania [email protected] This paper presents a new analysis of denn (because) in German.
Machine Learning for natural language processing
Machine Learning for natural language processing Introduction Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2016 1 / 13 Introduction Goal of machine learning: Automatically learn how to
Overview of the TACITUS Project
Overview of the TACITUS Project Jerry R. Hobbs Artificial Intelligence Center SRI International 1 Aims of the Project The specific aim of the TACITUS project is to develop interpretation processes for
Get Related Schatzsuche in SciFinder Scholar
Get Related Schatzsuche in SciFinder Scholar Schatzsuche in Dokumenten Get related zitierende Schriften (ab 1999 *) Get related zitierte Schriften (ab 1907) Get related Substances! NEU in 2002 Get related
IBM Security. Alle Risiken im Blick und bessere Compliance Kumulierte und intelligente Security Alerts mit QRadar Security Intelligence
IBM Security Alle Risiken im Blick und bessere Compliance Kumulierte und intelligente Security Alerts mit QRadar Security Intelligence Peter Kurfürst Vertrieb IBM Security Lösungen Enterprise-Kunden Baden-Württemberg
An activation-based model of agreement errors in production and comprehension
An activation-based model of agreement errors in production and comprehension Lars Konieczny ([email protected]) Center for Cognitive Science, IIG, Univ. Freiburg Friedrichstr. 50, 79098 Freiburg
Product Quality and Environmental Standards: The Effect of an International Environmental Agreement on Tropical Timber Trade
Please scroll down for the English version Sehr geehrte Abonnentinnen und Abonnenten, wir freuen uns, Sie per Newsletter über die neuesten Entwicklungen des FIW-Projekts informieren zu dürfen. Dieses Mal
Last time we had arrived at the following provisional interpretation of Aquinas second way:
Aquinas Third Way Last time we had arrived at the following provisional interpretation of Aquinas second way: 1. 2. 3. 4. At least one thing has an efficient cause. Every causal chain must either be circular,
A Few Basics of Probability
A Few Basics of Probability Philosophy 57 Spring, 2004 1 Introduction This handout distinguishes between inductive and deductive logic, and then introduces probability, a concept essential to the study
The German response particle doch as a case of contrastive focus
The German response particle doch as a case of contrastive focus Elena Karagjosova University of Oslo 1 Introduction The accented German response particle (henceforth, RP) doch though is typically used
Julia Englert, PhD Student. Curriculum Vitae
Julia Englert, PhD Student Curriculum Vitae Name: Nationality: Julia Valerie Englert German Date of Birth: April 14 th 1987 E-Mail: [email protected] Phone 0049-681-302-68563 Office Address: Saarland
Software / FileMaker / Plug-Ins Mailit 6 for FileMaker 10-13
Software / FileMaker / Plug-Ins Mailit 6 for FileMaker 10-13 Seite 1 / 5 Mailit 6 for FileMaker 10-13 The Ultimate Email Plug-In Integrate full email capability into your FileMaker 10-13 solutions with
(Incorporated as a stock corporation in the Republic of Austria under registered number FN 33209 m)
Prospectus Supplement No. 2 Erste Group Bank AG (Incorporated as a stock corporation in the Republic of Austria under registered number FN 33209 m) EUR 30,000,000,000 Debt Issuance Programme This supplement
Support verb constructions
Support verb constructions Comments on Angelika Storrer s presentation Markus Egg Rijksuniversiteit Groningen Salsa-Workshop 2006 Outline of the comment Support-verb constructions (SVCs) and textual organisation
2. The Language of First-order Logic
2. The Language of First-order Logic KR & R Brachman & Levesque 2005 17 Declarative language Before building system before there can be learning, reasoning, planning, explanation... need to be able to
Upgrading Your Skills to MCSA Windows Server 2012 MOC 20417
Upgrading Your Skills to MCSA Windows Server 2012 MOC 20417 In dieser Schulung lernen Sie neue Features und Funktionalitäten in Windows Server 2012 in Bezug auf das Management, die Netzwerkinfrastruktur,
Diese Liste wird präsentiert von. Netheweb.de
Diese Liste wird präsentiert von Netheweb.de Die Liste enthält 1000 Do-Follow Blogs, die zum Linkbuilding genutzt werden können, es kann sein, dass verkürzte URL s nicht korrekt weiter geleitet werden.
Exemplar for Internal Achievement Standard. German Level 1
Exemplar for Internal Achievement Standard German Level 1 This exemplar supports assessment against: Achievement Standard 90885 Interact using spoken German to communicate personal information, ideas and
Language considerations for developing VoiceXML in German
Language considerations for developing VoiceXML in German This section contains information that is specific to German. If you are developing German voice applications, use the information in this section,
Invalidity in Predicate Logic
Invalidity in Predicate Logic So far we ve got a method for establishing that a predicate logic argument is valid: do a derivation. But we ve got no method for establishing invalidity. In propositional
Innovative network monitoring technologies for hydraulically not separated large zones
Innovative network monitoring technologies for hydraulically not separated large zones MWM Martinek Water Management AUSTRIA What means Sisyphus to Water-Loss-Reduction? According to Greek Mythology Zeus
Math 3000 Section 003 Intro to Abstract Math Homework 2
Math 3000 Section 003 Intro to Abstract Math Homework 2 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 2012 Solutions (February 13, 2012) Please note that these
German Language Resource Packet
German has three features of word order than do not exist in English: 1. The main verb must be the second element in the independent clause. This often requires an inversion of subject and verb. For example:
language-related erp components: n400
language-related erp components: n400 Based on Luck & Kappenmann (2012) and Kutas & Federmeier (2011) Alina Karakanta, Max Paulus 19.11.2015, Supervisor: Sahri Morbey Saarland University Kutas & Hillyard
FOR TEACHERS ONLY The University of the State of New York
FOR TEACHERS ONLY The University of the State of New York REGENTS HIGH SCHOOL EXAMINATION G COMPREHENSIVE EXAMINATION IN GERMAN Friday, June 17, 2005 1:15 to 4:15 p.m., only SCORING KEY Updated information
If an English sentence is ambiguous, it may allow for more than one adequate transcription.
Transcription from English to Predicate Logic General Principles of Transcription In transcribing an English sentence into Predicate Logic, some general principles apply. A transcription guide must be
Sentences, Statements and Arguments
Sentences, Statements and Arguments As you learned from studying the uses of language, sentences can be used to express a variety of things. We will now center our attention on one use of language, the
Kapitel 2 Unternehmensarchitektur III
Kapitel 2 Unternehmensarchitektur III Software Architecture, Quality, and Testing FS 2015 Prof. Dr. Jana Köhler [email protected] IT Strategie Entwicklung "Foundation for Execution" "Because experts
Language Technology II Language-Based Interaction Dialogue design, usability,evaluation. Word-error Rate. Basic Architecture of a Dialog System (3)
Language Technology II Language-Based Interaction Dialogue design, usability,evaluation Manfred Pinkal Ivana Kruijff-Korbayová Course website: www.coli.uni-saarland.de/courses/late2 Basic Architecture
Likewise, we have contradictions: formulas that can only be false, e.g. (p p).
CHAPTER 4. STATEMENT LOGIC 59 The rightmost column of this truth table contains instances of T and instances of F. Notice that there are no degrees of contingency. If both values are possible, the formula
2012-06-18 23:09:13.387626 [scheduler thread(5)]: AdvancedCardAllocation.GetAvailableCardsForChannel took 7 msec
card 2 = FireDTV, card 3 = KNC1 die gelben Zeilen zeigen: Es sind beide Karten frei und der Scheduler wählt Karte 2 Erfolgreiches tunen einer Sendung auf Karte 2 / FireDTV 3SAT Made in Munich 18.06.2012
α α λ α = = λ λ α ψ = = α α α λ λ ψ α = + β = > θ θ β > β β θ θ θ β θ β γ θ β = γ θ > β > γ θ β γ = θ β = θ β = θ β = β θ = β β θ = = = β β θ = + α α α α α = = λ λ λ λ λ λ λ = λ λ α α α α λ ψ + α =
Big Data & Security. Edgar Weippl SBA Research
Big Data & Security Edgar Weippl SBA Research Security Challenges Confidentiality Cloud storage (e.g. Dropbox) Authentication (e.g. WhatsApp) Open data vs. unintended data leaks Availability Dependability
Rules, RIF and RuleML
Rules, RIF and RuleML Rule Knowledge l Rules generalize facts by making them conditional on other facts (often via chaining through further rules) l Rules generalize taxonomies via multiple premises, n-ary
Idioms and Transformations
Idioms and Transformations Gereon Müller, IDS Mannheim, July 2000 [email protected] (A part of a talk given at the GGS meeting in Potsdam, June 2000) 1. Background There is a standard objection:
Artificial Intelligence
Artificial Intelligence ICS461 Fall 2010 1 Lecture #12B More Representations Outline Logics Rules Frames Nancy E. Reed [email protected] 2 Representation Agents deal with knowledge (data) Facts (believe
estos uacsta Server for SIP Phones 4.0.7.3683
estos uacsta Server for SIP Phones 4.0.7.3683 1 estos uacsta Server for SIP Phones... 4 2 Voraussetzungen... 5 2.1 Installation und Betrieb... 5 2.2 Communication with Telephones... 5 2.3 Communications
I. Thinking and Thinking About Thinking A. Every human being thinks and thinks continually, but we do little thinking about our thinking.
Philosophy 3304 Introduction to Logic Logic and World Views I. Thinking and Thinking About Thinking A. Every human being thinks and thinks continually, but we do little thinking about our thinking. B.
CS510 Software Engineering
CS510 Software Engineering Propositional Logic Asst. Prof. Mathias Payer Department of Computer Science Purdue University TA: Scott A. Carr Slides inspired by Xiangyu Zhang http://nebelwelt.net/teaching/15-cs510-se
The Refutation of Relativism
The Refutation of Relativism There are many different versions of relativism: ethical relativism conceptual relativism, and epistemic relativism are three. In this paper, I will be concerned with only
A Semantical Perspective on Verification of Knowledge
A Semantical Perspective on Verification of Knowledge Paul Leemans, Jan Treur, Mark Willems Vrije Universiteit Amsterdam, Department of Artificial Intelligence De Boelelaan 1081a, 1081 HV Amsterdam The
Coffee Break German. Lesson 03. Study Notes. Coffee Break German: Lesson 03 - Notes page 1 of 15
Coffee Break German Lesson 03 Study Notes Coffee Break German: Lesson 03 - Notes page 1 of 15 LESSON NOTES ICH KOMME AUS DEUTSCHLAND. UND SIE? In this lesson of Coffee Break German we will learn to talk
Predicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.
Predicate Logic Example: All men are mortal. Socrates is a man. Socrates is mortal. Note: We need logic laws that work for statements involving quantities like some and all. In English, the predicate is
Designing and Deploying Messaging Solutions with Microsoft Exchange Server 2010 MOC 10233
Designing and Deploying Messaging Solutions with Microsoft Exchange Server MOC 10233 In dieser Schulung erhalten Sie das nötige Wissen für das Design und die Bereitstellung von Messaging-Lösungen mit Microsoft
Mit einem Auge auf den mathema/schen Horizont: Was der Lehrer braucht für die Zukun= seiner Schüler
Mit einem Auge auf den mathema/schen Horizont: Was der Lehrer braucht für die Zukun= seiner Schüler Deborah Löwenberg Ball und Hyman Bass University of Michigan U.S.A. 43. Jahrestagung für DidakEk der
SEMINAR. Patenting Software and Computer-Related Inventions. Recent Developments in the U.S. and Europe
Eine gemeinsame Veranstaltung von mit den Erfahrungen und dem Wissen der Experten: Dr. Conrad Cramphorn Giesecke & Devrient, München Richard Gilly Seyfarth Shaw LLP, Washington, USA Brian L. Michaelis
Über die Semantik von Modellierungssprachen
Über die Semantik von Modellierungssprachen und des UML-Standards Prof. Dr. Bernhard Rumpe Technische Universität Braunschweig http://www.sse.cs.tu-bs.de/ Seite 2 What is a model? And why do we need modeling
How To Talk To A Teen Help
Sprechen - Speaking Das Sprechen in der englischen Sprache ist viel leichter, wenn du einige Tipps beherzigst! 1. Bevor du ein Gespräch beginnst, überlege dir: Was ist die Situation? Welche Rolle soll
Department of Geography - Birgit Sattler - University of Duisburg-Essen ILIAS. in geography and landscape architecture
ILIAS in geography and landscape architecture ILIAS in geography and landscape architecture computer skills and internet access of the students practical experience with ILIAS selected evaluation results
LEHMAN BROTHERS SECURITIES N.V. LEHMAN BROTHERS (LUXEMBOURG) EQUITY FINANCE S.A.
SUPPLEMENTS NO. 2 DATED 6 JUNE 2008 in accordance with 6(2) and 16 of the German Securities Prospectus Act to the two published Base Prospectuses, one per Issuer (together the "Base Prospectus") relating
