U semantika i pragmatika, entailment je načelo da pod određenim uvjetima istina jedne izjave osigurava istinitost druge izjave. Također se zove stroga implikacija, logična posljedica, i semantička posljedica.
Postoje dvije vrste zagorčavanja koje su "najčešće na jeziku", kaže Daniel Vanderveken istina uvjetna i nelokurzivne veze. "Na primjer," kaže, "the performativne rečenica 'Molim te da mi pomogneš' podrazumijeva imperativna rečenica 'Molim te pomozi mi!' a istina uvjetno povlači za sobom deklarativna rečenica 'Ti mi možeš pomoći'" (Značenje i govorni činovi: Načela upotrebe jezika, 1990).
Komentar
"[O] ne izjava podrazumijeva drugi kad je drugi logično nužna posljedica prvog, kao Alan živi u Torontu podrazumijeva Alan živi u Kanadi. Imajte na umu da odnos povlaštenja, za razliku od odnosa kod parafraza, jednosmjerna je: nije tako Alan živi u Kanadi podrazumijeva Alan živi u Torontu. "(Laurel J. Brinton, Struktura suvremenog engleskog jezika: jezični uvod. John Benjamins, 2000)
"[M] dopuštaju sve, ako ne i sve, asertivne rečenice (izjave, prijedlozi) jezika
zaključci isključivo na temelju njihovih značenja. Na primjer, kad kažem Ben je ubijen, onda onaj tko je to razumio izjava a prihvati njegovu istinu također će prihvatiti istinitost izjave Ben je mrtav. "(Pieter A. M. Seuren, Zapadna lingvistika: povijesni uvod. Wiley-Blackwell, 1998.)Povezanost
entailment može se smatrati odnosom između jedne rečenice ili skupa rečenica, entažnih izraza i druge rečenice, onoga što se podrazumijeva... Možemo pronaći bezbroj primjera gdje se odnosni odnosi postižu između rečenica i bezbroj gdje ih nema. Engleska rečenica (14) normalno se tumači tako da uključuje rečenice u (15), ali ne uključuje one u (16).
(14) Lee je strastveno poljubio Kim.
(15)
a. Lee je poljubila Kim.
b. Kim je poljubila Lee.
c. Kim se poljubila.
d. Lee je dotaknula Kim usnama.
(16)
a. Lee se udala za Kim.
b. Kim je poljubila Leeja.
c. Lee je puno puta poljubila Kim.
d. Lee nije poljubio Kim.
(Gennaro Chierchia i Sally McConnell-Ginet, Značenje i gramatika: uvod u semantiku. MIT Press, 2000)
Izazov utvrđivanja značenja
"Semantičko povlačenje je zadatak odrediti, na primjer, rečenicu: 'Wal-Mart se danas na sudu branio od tvrdnji da su njezine radnice ostale bez posla u upravi jer su žene'podrazumijeva to'Wal-Mart je tužen zbog seksualne diskriminacije.'
"Utvrđivanje je li značenje datog isječka teksta podrazumijeva onaj drugog ili imaju li isto značenje temeljni je problem u prirodni jezik razumijevanje koje zahtijeva sposobnost izvlačenja nad inherentnim sintaksni i semantičke varijabilnosti u prirodnom jeziku. Taj je izazov u srcu mnogih zadataka obrade prirodnog jezika na visokoj razini, uključujući odgovaranje na pitanja i informacije Dohvaćanje i vađenje, Strojni prijevod i drugi koji pokušavaju rasuđivati i uhvatiti značenje jezičnog izrazi.
"Istraživanja u obradi prirodnog jezika u posljednjih nekoliko godina koncentrirana su na razvoj resursa koji pružaju više razina sintaktičke i semantičke analize, rješavaju kontekstualno osjetljive nejasnoćei identificirati relacijske strukture i apstrakcije... ". (Rodrigo de Salvo Braz i sur., "Model zaključivanja za semantičko uključivanje u prirodne jezike." Izazovi strojnog učenja: Procjena prediktivne nesigurnosti, klasifikacija vizualnih objekata i prepoznavanje tekstualne privlačnosti, ed. napisali Joaquin Quiñonero Candela i sur. Springer, 2006.)