Alkuperä Markup Language

Alkuperä Markup Language on interlingva edustaa ja jakaa tietoa siitä, miten tiedot julkaistaan ​​Internetissä väitettiin peräisin tietolähteet ja / tai peräisin Web tietoja älykkäitä agentteja. Kieli alun perin kehitetty tukemaan DARPA Agentti Markup Language, tavoitteena selittää miten automatisoitu lause provers peräisin päätelmiä joukko aksioomat. Tiedot, päättely vaiheet, päättely sääntöjä, ja aineet ovat kolme tärkeintä elementtiä kielen. Yhteydessä päättelyn vaiheessa, tiedot voi näytellä edeltävä ja johtopäätös. Tiedot voi myös näytellä selviö, että on pohjimmiltaan johtopäätös ilman edeltäjiä. PML käyttää laaja filosofinen määritelmää aineen verrattuna muihin tarkempaa määritelmää agentti.

Käyttö PML seuraavissa hankkeissa kehittynyt kieli uusiin suuntiin laajentamatta mahdollisuudet edustaa lähtöpaikkaa tiedon tuolla puolen ATPS ja automatisoitu perustelut. Alkuperäinen sarja vaatimuksia lievennettiin sisältää seuraavat: tiedot alunperin edustettuina looginen lauseita Knowledge Interchange Format annettiin olla tietoja millä tahansa kielellä kirjoitettuja myös Englanti kieli; ja päättely sääntöjä perin määritelty kuvioita yli edeltäjiä ja päätelmät päättelyn vaiheet saa underspecified kunhan ne tunnistettiin ja nimettiin. Nämä helpotuksia olivat välttämättömiä selittämään, miten tieto erotetaan tekstistä avulla tiedon poiminta komponentteja. Parannuksia myös vaatia edelleen ymmärtää motivaation tarpeessa automaattisen lause provers johtaa päätelmät: uusia ominaisuuksia lisättiin merkitä miten tieto roolissa aksioomat olivat määritteitä kuten väitteet peräisin tietolähteitä; ja käsite kysymyksiä ja vastauksia esiteltiin kieli selittää kolmannen osapuolen agentti miksi automatisoitu lause prover käytettiin todistaa lause annetusta joukko aksioomat.

Kehityshistoria

Ensimmäinen versio PML kehitettiin Stanfordin yliopiston Knowledge Systems Laboratory vuonna 2003 ja oli alunperin mukana kirjoittamassa Paulo Pinheiro, Deborah McGuinness, ja Richard Fikes. Toinen versio PML kehitetty 2007 modularisoitu pML1 kolmeen moduulit vähentää ylläpitokustannuksia ja uudelleenkäyttö kustannukset: Alkuperä, perustelut, ja luottamus suhteet. Uusi versio PML perustuu World Wide Web Consortiumin PROV on kehitteillä.

Edellinen artikkeli Şahmeran
Seuraava artikkeli Aikajana Kolumbian historia