跳转到内容

历史学家知识工程/圣诞故事建模

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://wikibooks.cn/wiki/Knowledge_Engineering_for_Historians/Modelling_Xmas_Story"
华夏公益教科书