Jazyk označení původu - Provenance Markup Language

The Jazyk označení původu (zkráceně PML; původně volal Důkazový značkovací jazyk) je interlingua pro reprezentaci a sdílení znalostí o tom, jak byly informace publikované na webu uplatňovány z informačních zdrojů nebo odvozeny z webových informací inteligentní agenti. Jazyk byl původně vyvinut na podporu Značkovací jazyk agenta DARPA s cílem vysvětlit, jak automatizované věty provers (ATP) odvozují závěry ze souboru axiomy. Informace, odvození kroky, odvozovací pravidla a agenti jsou tři hlavní stavební kameny jazyka. V kontextu odvozovacího kroku mohou informace hrát roli předchůdce (nazývaného také premisa) a závěru. Informace mohou také hrát roli axiomu, což je v zásadě závěr bez předchůdců. PML používá širokou filozofickou definici agenta na rozdíl od jakékoli jiné konkrétnější definice agenta.

Využití PML v následných projektech vyvinulo jazyk novými směry a rozšířilo jeho schopnost reprezentovat znalosti provenience nad rámec ATP a automatické uvažování. Původní sada požadavků byla uvolněna, aby zahrnovala následující: informace původně představované jako logické věty v Formát výměny znalostí směli být informace psané v jakémkoli jazyce, včetně anglický jazyk; a odvozovací pravidla původně definované jako vzory nad předchůdci a závěry závěrových kroků mohly být nespecifikovány, pokud byly identifikovány a pojmenovány. Tato uvolnění byla nezbytná pro vysvětlení, jak jsou znalosti extrahovány z textu pomocí komponent extrakce informací. Rovněž byla nutná vylepšení pro další pochopení motivace, která stojí za potřebou automatizovaných ověřovačů vět k odvození závěrů: byly přidány nové funkce pro anotaci toho, jak informace hrají roli axiomy byly atributy jako tvrzení z informačních zdrojů; a pojem otázek a odpovědí byl zaveden do jazyka, aby vysvětlil agentovi třetí strany, proč byl k prokázání věty (tj. odpovědi) z dané sady axiomů použit automatizovaný testovací teorém.

Historie vývoje

První verze PML (PML1) byla vyvinuta na Stanfordská Univerzita je Laboratoř znalostních systémů v roce 2003 a původně byl spoluautorem Paulo Pinheiro, Deborah McGuinness, a Richard Fikes.[1] Druhá verze PML (PML2) vyvinutá v roce 2007 modulovala PML1 na tři moduly, aby se snížila údržba a náklady na opětovné použití: původ, ospravedlnění a vztahy důvěry.[2] Nová verze PML (PML3) založená na World Wide Web Consortium PROV je ve vývoji.[3]

Reference

  1. ^ Paulo Pinheiro da Silva, Deborah L. McGuinness, Richard Fikes. Důkazový značkovací jazyk pro sémantické webové služby. Informační systémy 31(4-5): 381–395, 2006
  2. ^ Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Cynthia Chang. PML2: Modulární vysvětlení Interlingua. v Sborník seminářů AAAI 2007 o výpočtech s vědomím vysvětlení, Vancouver, Britská Kolumbie, Kanada, 22. – 23. Července 2007
  3. ^ http://inference-web.org/wiki/PML_3.0

externí odkazy