跳轉到內容

歷史學家知識工程/聖誕故事建模

Add links
來自華夏公益教科書
< 歷史學家知識工程
此頁面可能需要稽核質量。

聖誕故事建模

[編輯 | 編輯原始碼]

我們現在將使用我們的知識工程技能來對聖誕節故事進行建模，這些故事記錄在馬太福音和路加福音中，這樣歷史學家就可以比較和對比它們。

功能先決條件

[編輯 | 編輯原始碼]

馬太福音和路加福音想表明拿撒勒的耶穌是彌賽亞。馬太福音和路加福音想表明拿撒勒的耶穌是彌賽亞；這就需要我們建立模態陳述和投影微理論。

In Mt: GospelOfMatthewIntentionMt. 
f: (beliefs (AuthorFn Matthew-BookOfBible) 
     (isa JesusOfNazareth Messiah)). 

In Mt: GospelOfMatthewMt. 
f: (isa JesusOfNazareth Messiah). 

In Mt: GospelOfLukeIntentionMt. 
f: (beliefs (AuthorFn Luke-BookOfBible) 
     (isa JesusOfNazareth Messiah)). 

In Mt: GospelOfLukeMt. 
f: (isa JesusOfNazareth Messiah).

從舊約，特別是它的預言，馬太福音和路加福音知道彌賽亞必須出生在伯利恆。然而，從拿撒勒的耶穌的歷史生活中，他們也知道耶穌必須最終住在拿撒勒——正如他的名字所暗示的那樣。

預言先決條件

[編輯 | 編輯原始碼]

關於誕生地位置的預言段落是先知彌迦書 5:2

'但你，伯利恆，在猶大地的土地上，
  在猶大諸領袖中決不至微，
因為從你那裡必將出來一位領袖
  他必作我百姓以色列的牧人。'

關於童貞女懷孕的預言段落是在以賽亞書 7:14

童貞女必懷孕生子，給他起名叫以馬內利，意思就是“神與我們同在”。

兩福音書從這兩個預言段落中融合的關鍵方面可以用以下方式表示

In Mt: MessianicPropheciesMt.
f: (implies
      (and
        (isa ?SON MalePerson)
        (isa ?VIRGIN Virgin)
        (isa ?B-DAY BirthingEvent)
        (birthChild ?B-DAY ?SON)
        (birthParent ?B-DAY ?VIRGIN)
        (locationOf ?B-DAY Bethlehem))
      (isa ?SON Messiah)).

歷史先決條件

[編輯 | 編輯原始碼]

基本問題可以用以下規則表示

In Mt: FertileCrescentNamingConventionMt.
f: (implies
      (and
         (isa ?PERSON FamousPerson)
         (isa ?EVENT Childhood)
         (animateActedOn ?EVENT ?PERSON)
         (locationOf ?EVENT ?TOWN)
         (firstName ?PERSON ?NAME))
      (ist EnglishLexiconMt 
         (commonNickName ?PERSON (WordConcatenationFn ?NAME Of-TheWord ?TOWN))).

這條規則解釋了希羅多德以及它解釋了拿撒勒的耶穌。這意味著耶穌童年的故事必須被帶回來，最終在加利利的拿撒勒村莊結束。

聖誕故事的不同之處

[編輯 | 編輯原始碼]

現在我們開始討論馬太福音和路加福音提供的兩個故事之間的個體差異。會立即發現，這兩個故事不可能在同一個推理環境中同時存在而不會產生矛盾。

奇蹟誕生的宣告

[編輯 | 編輯原始碼]
  1. 誰是宣告的接收者？
  2. 宣告是否先於懷孕的開始？
  3. 宣告在何地何時發生？
Constant: AnnouncementOfBirthOfMessiah.
In Mt: SharedNewTestamentMt.
isa: AnnouncingSomething.
ibtGenerated: BirthOfMessiah-IBT.

注意，包含資訊的事物，即天使的資訊，也將被表示為它自己的上下文，一個從包含資訊的事物（即宣告）派生的命題資訊事物。雖然這些宣告略有不同，但它們足夠相似，以至於我們可以用以下表示方法來表示它們。

In Mt: BaseMt.
f: (genlMt (PITofIBTFn BirthOfMessiah-IBT) SharedNewTestamentMt). 
In Mt: (PITofIBTFn BirthOfMessiah-IBT).
f: (thereExists ?EVENT
     (and 
       (thereExists ?SON
         (isa ?EVENT Birth)
         (birthParent ?EVENT Mary-MotherOfJesus)
         (birthChild ?EVENT ?SON) 
         (isa ?SON MalePerson)
         (nameString ?SON "Jesus"))
       (startsAfterEndOf ?EVENT AnnouncementOfBirthOfMessiah)).

現在我們來看看這些差異的本質。首先，接收者是不同的

In Mt: GospelAccordingToLukeMt.
senderOfInfo: Gabriel-ArchAngel.
f: (intendedAudience BirthOfMessiah-IBT Mary-MotherOfJesus).

In Mt: GospelAccordingToMatthewMt.
senderOfInfo: (SomeFn Angel).
f: (intendedAudience BirthOfMessiah-IBT Joseph-FatherOfJesus).

其次，時間關係與懷孕不同

In Mt: SharedNewTestamentMt.
Constant: MiraculousPregnancyOfMaryWithJesus.
isa: Pregnancy.
physiologicalConditionAffects: Mary-MotherOfJesus. 

In Mt: GospelAccordingToLukeMt.
f: (startsAfterEndOf MiraculousPregnancyOfMaryWithJesus AnnouncementOfBirthOfMessiah).

In Mt: GospelAccordingToMatthewMt.
f: (startsAfterStartOf AnnouncementOfBirthOfMessiah MiraculousPregnancyOfMaryWithJesus).

現在我們將忽略其中一個宣告是在夢中發生的這一事實（就像它們總是在馬太福音中那樣），而另一個宣告則是在瑪麗亞的家中大白天發生（這可能意味著在她的父母的家中）。但是我們可以捕捉到宣告發生在不同城市的事實

In Mt: GospelAccordingToLukeMt.
f: (eventOccursAt AnnouncementOfBirthOfMessiah NazarethGalilee).

In Mt: GospelAccordingToMatthewMt.
f: (eventOccursAt AnnouncementOfBirthOfMessiah BethlehemJudea).

確定誕生地

[編輯 | 編輯原始碼]
  1. 瑪麗亞和約瑟夫必須做些什麼才能到達伯利恆？
  2. 出生在哪裡發生？

我們已經指出，根據馬太福音，約瑟夫和瑪麗亞一直住在伯利恆，而在路加福音中，他們必須根據羅馬皇帝奧古斯都頒佈的人口普查前往伯利恆。

In Mt: GospelOfMatthewMt.
f: (residesInRegion Mary-MotherOfJesus BethlehemJudea).
f: (residesInRegion Joseph-FatherOfJesus BethlehemJudea).

In Mt: GospelOfLukeMt.
f: (residesInRegion Mary-MotherOfJesus NazarethGalilee).
f: (residesInRegion Joseph-FatherOfJesus NazarethGalilee).

Constant: JourneyToBethlehemForCensus.
isa: Travel-TripEvent.
doneBy: Joseph-FatherOfJesus, Mary-MotherOfJesus.
fromLocation: NazarethGalilee.
toLocation: BethlehemJudea.

現在，我們已經將這對神聖的夫婦安全地帶到了伯利恆，準備實現預言，我們可以描述分娩事件了。

In Mt: BirthOfTheMessiah.
isa: BirthEvent.
birthParent: Mary-MotherOfJesus.
birthChild: JesusOfNazareth.

In Mt: GospelOfMatthewMt.
Constant: HouseOfJosephInBethlehem.
isa: House.
f: (owns Joseph-FatherOfJesus HouseOfJosephInBethlehem).
f: (eventOccursAt BirthOfTheMessiah HouseOfJosephInBethlehem).

In Mt: GospelOfLukeMt.
Constant: StableWhereJesusWasBorn.
isa: Stable.
internalSubRegion: BethlehemJudea.
adjacentTo: (SomeFn HotelBuilding).
f: (eventOccursAt BirthOfTheMessiah StableWhereJesusWasBorn).

第一批訪客

[編輯 | 編輯原始碼]

從目前所顯示的內容來看，如何處理第一批訪客應該很清楚了，即路加福音中的牧羊人與馬太福音中的東方智者或賢士。事實上，這些被留作讀者練習，因為它們在如何解決這個問題方面沒有新增任何新內容。

前往拿撒勒

[編輯 | 編輯原始碼]
  1. 前往拿撒勒的路線有多直接？

我們上面關於耶穌嬰兒訪客的論述也同樣適用於最終返回拿撒勒。在馬太福音中，夢中出現了天使異象，他們首先前往埃及，然後返回加利利（途徑猶大）。路加福音甚至沒有講述返回的故事。

時間修正

[編輯 | 編輯原始碼]

我們之前所述的表述中實際上存在至少一個細微的錯誤：具體來說，我們忽略了微理論上下文的時態範圍在某些情況下比我們所述的事實更大。單個事件是可以的——這裡，行動者和角色分配被理解為僅限於事件的時態範圍，而不限於包含上下文的時態範圍。但是，我們關於約瑟夫和瑪麗亞在馬太福音中的居住宣告又如何呢？

;; WRONG WRONG WRONG WRONG
In Mt: GospelOfMatthewMt.
f: (residesInRegion Mary-MotherOfJesus BethlehemJudea).
f: (residesInRegion Joseph-FatherOfJesus BethlehemJudea).

這是錯誤的，因為他們也在埃及住了幾年，然後他們一起搬到了拿撒勒——我們已經討論過這個問題。在GospelOfMatthewMt中所斷言的任何內容都將具有整個故事時間的時態範圍，即從開篇的家譜到福音書結尾的耶穌昇天。

通常情況下，時間限定通常被理解為對映到一個絕對的時間軸，比如儒略曆。

In Mt: GospelOfMatthewMt.
Time Dimension: (TimeIntervalInclusiveFn (YearBCE-JulianFn 7) (YearBCE-JulianFn 3)).
Time Parameter: Time-Point.
f: (residesInRegion JesusOfNazareth BethlehemJudea).

然而，對於我們的情況來說，這通常是不合適的；對於這裡敘述的許多事件，我們沒有日期（有時我們甚至可能沒有粗略的估計）。幸運的是，時間限定並不侷限於絕對日期。相反，事件的時間限制可以向上推到時間維度。因此，只要這些事件本身在時間順序上彼此相關，我們就可以用故事時間來關聯這些限制。

In Mt: GospelOfMatthewMt.
Constant: HolyFamilyHidingInEgypt.
isa: Event.
startsAfterEndOf: BirthOfTheMessiah.
endsBeforeStartOf: HolyFamilyBackInNazareth.
f: (subEvents ChildhoodOfJesusOfNazareth HolyFamilyHidingInEgypt).

Time Dimension: (TemporalExtentInMtFn HolyFamilyHidingInEgypt GospelOfMatthewMt)
Time Parameter: Time-Point.
f: (residesInRegion JesusOfNazareth Egypt).
摘自"https://wikibook.tw/wiki/Knowledge_Engineering_for_Historians/Modelling_Xmas_Story"
華夏公益教科書