◎ 易林生 九江市港口航運管理局
新時期,將計算機科學與法律相結合已成為大勢所趨,業內人士紛紛將目光聚焦于該領域,希望能夠將原理、案例或法律條款轉變成知識,基于相關知識展開推理,從而確定與新案例或新情況相符的解決方案。對海事案例而言,決策支持系統的作用主要是對歷史案例、評析情況及最終判決進行檢索,并以此為基礎,對新案例的走向加以預測,在幫助律師全面了解新案例內容的同時,為航海人員制定決策提供有力支持,使航行過程更加安全。
構建案例庫前,先要對案例特征進行準確且全面的描述。正常情況下,海事案例均包含六大要素,分別是案例概要、環境信息、船舶情況、事故原因、后果以及最終判決[2]。
案要所描述內容以案例類型、現場情況為主,包括但不限于發生事故的地點、時間和案例編號等,具體內容見圖1。

圖1 案要內容
其中,海事類型及編號為數值型,剩余要素為文本型。
該類信息可以細分為自然、地形以及交通環境,自然環境主要是指能見度、海面風向與風速等,交通環境則是指航行路線、航行規則還有航行密度。
該類信息主要是指涉案船舶所具有特征,例如,船舶性能、類型及尺寸,其中,僅有船舶類型為文本型,剩余信息均為數值型。
該類信息指的是調查人員經過調查所得出事故原因,通常分為直接/間接原因、主觀/客觀原因。其中,直接原因包括操作不當、決策失誤,間接原因是指安全管理存在漏洞,主觀原因有船舶系固不良、超載等,客觀原因則是指海況、氣象條件惡劣。
該類信息所描述內容,通常是事故所造成損失,例如,海域污染情況、船舶損害程度和人員傷亡數量,此外,還應針對不同事故情況進行補充說明。
最終判決所涉及內容較多,主要有法官解釋、備注、責任分配以及參考規則,上述因素均為文本型。
新一輪的課程改革承載著核心素養培養的旨趣,對數學課堂教學提出了新的要求,課堂留白藝術的運用就是頗具魅力的一個重要方面.研究者基于對數學課堂留白藝術的理論探析,對教學實踐中存在的問題進行了反思.其中一些思考還是初步和概要的,許多問題尚未完全厘清,后續可根據數學課堂教學案例進行深入分析,結合具體問題提出更有針對性的教學策略與建議,并在實踐中積極檢驗、修正.
作為打造完整知識體系的關鍵一環,案例推理強調以歷史情況、既有資料和條件為依據,對案例進行推理,根據推理結果,設計相應的解決方案(如圖2所示)。現將推理流程歸納如下:第一步,收集案例,保證每個案例都包括問題、結果兩部分,第二步,將案例錄入對應案例庫,第三步,在出現新案例后,由決策支持系統對其進行描述,匯總案例庫案例、新案例的相似點,根據實證有效的歷史解決方案,確定全新解決方案,確保新案例能夠盡快解決。由此可見,案例推理的關鍵是不斷學習,保證推理系統具有良好的環境適應性。

圖2 海事案例推理
對本系統進行開發期間,應當重點關注功能模塊、檢索算法,確保所開發系統可直接用于海事案例推理,并為后續工作的開展提供理論依據。
對本系統進行開發期間,應嚴格遵循以下原則:首先是完備性,有關人員應當保證系統功能完備、各模塊高度契合,在上傳案例信息的同時,快速檢索并匹配歷史案例,為制定決策提供支持;其次是實用性,即根據工作需求確定設計方案,保證系統功能兼具實用性與針對性;再次是標準化,簡單來說,就是系統開發符合技術規范所提出要求;最后是通用性,本系統應當能夠在不同配置的計算機內運行。除此之外,系統還應具有擴展性,確保在更新、修改或是擴充部分功能時,其他功能不會受到影響。
本系統共搭載七個功能模塊,七個模塊共同構成決策支持系統,并保證系統能夠發揮出應有作用。模塊一為用戶接口,作為連接設備和用戶的主體,該模塊主要負責表達案例信息,展示結果,檢驗參數匹配度,在此基礎上,對信息權重加以確定。模塊二為總控模塊,作為系統管控中心和用戶使用載體,該模塊所能提供的服務極多,包括但不限于獲取案例信息、維護案例庫、管理用戶及案例庫等。模塊三為建模模塊,主要負責建立案例庫,確保案例信息能夠得到長時間的保存。模塊四為獲取參數的模塊。該模塊能夠在系統運行的同時獲取案例參數,并對參數所具有一致性、匹配性進行快速檢測。模塊五為檢索參數的模塊。即根據用戶所提供參數,匹配相應的算法,確保所檢索歷史案例與新案例之間具有極高的重合度。模塊六為推理模塊。該模塊能夠根據案例庫既有案例展開推理,同時對用戶所提供參數進行快速處理,提高決策可行性與有效性。模塊七為維護模塊。該模塊主要提供兩項服務,一是確認用戶權限,二是檢查案例庫參數有效性,避免由于不合規或不合法的操作,導致案例庫損壞。
眾所周知,檢索海事案例的關鍵是以案例庫既有案例為依托,確定與新案例具有極高重合度或相似度的歷史案例。在案例推理過程中,案例檢索往往發揮著極為重要的作用,要想快速確定符合新案例的既有案例,關鍵是要對檢索技術進行升級,確保升級后技術具有良好的概括性,可快速確定案例特征,為后續環節的有序推進提供有力支持。目前,可用來檢索海事案例的方法主要有三種,分別是歸納索引、知識引導以及鄰近檢索,其中,鄰近檢索的適用范圍更廣,下文主要對該方法進行說明。
該算法強調以案例相似度為依據,對歷史案例進行檢索,從而確定最符合新案例的歷史案例,計算步驟如下:第一步,對歷史案例、新案例屬性重合度進行計算;第二步,結合屬性權值,對案例相似度加以確定。以碰撞案例為例,該類案例通常包含三種屬性,分別是數值、枚舉和字符串,其中,數值屬性主要是指船長、航行速度及方向、相鄰船舶距離;枚舉屬性是指海浪等級、能見度等級;字符串屬性則是指海區、船舶性能。對該類案例的屬性相似度進行計算時,應考慮三種情況,首先是數值,通過最小值法對相似度進行計算的公式如下:
上述公式中,xi代表歷史案例屬性,yi代表新案例屬性。其次是枚舉,若枚舉對象為字符串,則:
如果枚舉對象為數值,則:
上述公式中,R代表枚舉集合。max|R|代表R的最大值。min|R|代表R的最小值。最后是字符串,該屬性可直接進行匹配,并根據匹配程度確定相似度。對應公式如下:
除此之外,為確保檢索所得歷史案例與新案例相似度達到最高,有關人員還可以引入閾值,若案例相似度未達到閾值,則代表案例不匹配。
本系統將程序設計語言作為實現的關鍵,將滿足用戶需求作為最終目標,通過模塊調度的方式,使不同功能模塊的數據得到實時交換,在此基礎上,酌情引入控制程序流程、管理設備以及維護案例庫等典型功能,并基于主控模塊,對各功能模塊進行集成,使系統成為功能豐富、運行穩定的系統,確保其在案例推理過程中可發揮出應有作用。
系統操作平臺為win10,開發工具為JBuilder9。此外,有關人員還對界面設計組件包進行了優化,基于Swing、Awt對界面進行了設計,其中,作為Awt擴展組件包的Swing,主要負責提供圖形界面所需附加開發組件,保證界面具有良好的視覺效果,Awt負責提供開發主組件,將二者相結合,可使頁面開發速度、效果得到顯著提升[3]。
5.2.1 知識表示方式
案例知識指的是案例所遵循規律、實踐所積累經驗和認識。知識表示則強調通過編碼的方式,對案例特征、屬性以及發生過程進行整合,從而形成符合計算機認識規律的符號化數據結構。知識表示的方法較多,包括但不限于過程法、框架法和語義網絡法,本項目重點介紹框架法。
作為知識表示的數據結構和基本單位,框架能夠對對象屬性進行詳細且準確地描述,不同框架可以依托屬性關系進行連接,進而形成完整的框架網絡,確保對象之間所存在的關系能夠得到直接表達。正常情況下,均可以用框架槽表示對象屬性,并基于不同屬性的重要性,確定權值,以碰撞案例為例,該類案例往往只需考慮碰撞影響因素,即環境參數、運動參數,除特殊情況外,均不需要對其他因素進行分析。
5.2.2 日常維護要點
對案例庫進行維護時,應重點關注兩方面內容,分別是案例冗余程度、案例一致性。作為海事案例庫極為重要的組成部分,典型案例在推理、制定決策的過程中,具有無法被替代的作用,隨著使用年限的增加,案例庫內案例數量不斷增多,若類似案例數量過多,便會造成案例冗余,進而給案例庫利用率、檢索速度和有效性產生影響。要想避免出現該問題,關鍵是要在寫入案例前,先對案例進行檢查,確保案例具有良好的一致性和有效性,具體方法如下:第一步,打造臨時案例庫;第二步,確定匹配閾值;第三步,逐一對案例庫既有案例與新案例進行比較,確定相似度;第四步,比較相似度和閾值,如果相似度在匹配閾值之上,則可將案例寫入案例庫,反之,則要如實告知專家,由專家、專業人員制定最終決策。
新時期,隨著技術的發展,案例推理法已在諸多領域得到運用,將該方法用于海事領域,可為有關人員制定科學決策提供有力支持。本文以海事案例為研究對象,圍繞決策支持系統展開了討論,指出要想使系統發揮出應有作用,關鍵是要對創建案例庫、選擇檢索方法等工作引起重視。未來,有關人員應將目光聚焦于案例匹配、案例庫升級等方面,確保本系統能夠提供更符合用戶預期的功能,并為海事行業發展貢獻力量。