2007年4月16日 星期一

AAI Reading Notes - Some Terms(2)

Reference: 科學哲學課程紀要
  • 演繹法(deduction) 最典型(簡單)的演繹法是亞里斯多德的「三段論法」。 大前提: P -> Q (成立) 小前提: P (為真) 則結論: Q (為真) 例如:
    大前提: 若天下雨則地濕。 小前提:天下雨。 結論: 地濕。
    * 演繹法可以有很複雜的推論過程,但其基本結構即是三段論法。

  • 歸納法(induction) 在觀察了N個實例p1, p2, p3,…,pn均為真之後,歸納出其通則P為真。 例如:
    看了n天的太陽均自東方升起,歸納得到:每天的太陽均由東方升起。

  • 設證法(abduction) 很像演繹法,但演繹法的結論在此是小前提;演繹法的小前提,在此成了結論。結論不一定為真。許多設計的推論過程是設證法。 大前提: P -> Q (成立) 小前提: Q (為真) 則結論: P (不一定為真) 例如:
    大前提: 若杯子有把手,則手不會被燙到。 小前提: (想設計)手不會被燙到(的杯子)。 結論: (設計)有把手的杯子。
    【討論:要設計一個不燙手的杯子,也可能是加一「底座」,而非加「把手」。雖然加上把子可以達成設計目標,但非一定如此不可】

  • 類比法(analogy) 前提一: P -> Q (成立) 前提二: r ≒ P (r 類似 P) 前提三: s ≒ Q (s 類似 Q) 前提四: r (為真) 結論: s (為真) 例如:
    前提一: 健康的肺,可以使身體舒暢。 前提二: 公園綠地如肺。 前提三: 都市如身體。 前提四: 有充分的公園綠地。 結論: 可以有舒暢的都市。
  • (... 閱讀「AAI Reading Notes - Some Terms(2)」全文)

    2007年4月14日 星期六

    Jess Note

    Reference: Jess document
  • salience: use to define the priority of rules, higher value have higher priority.
    Jess> (defrule example-6
    (declare (salience -100))
    (command exit-when-idle)
    =>
    (printout t "exiting..." crlf))
  • the following code can match expressions with one pair parenthesis.
    ?f <- (expr $?front "(" $?middle ")" $?end)
    $?front can match the string until reach the first "(" $?middle can match the string until reach the first ")" so does $?end.
  • clear: clear working memory. The working memory will be empty.
  • reset: reset working memory and insert all facts in deffacts.
  • batch hw2.clp: execute the Jess file named hw2.clp
  • all command must be enclosed with parenthesis
  • (... 閱讀「Jess Note」全文)

    2007年4月9日 星期一

    AAI Reading Notes - Some Terms(1)

  • CYC:(wikipedia)(link1)
  • frame-language: (wikipedia) Like Object-orient language. A structure with slots: frame name, slot name and slot value. Frames are organized as hierarchy structure for inferring and reasoning.
  • Predicate:(citation) A predicate is a verb phrase template that describes a property of objects, or a relationship among objects represented by the variables.
  • CycL: (wikipedia) Based on predicate calculus and has a syntax similar to that of the Lisp programming language.
  • (... 閱讀「AAI Reading Notes - Some Terms(1)」全文)

    2007年4月2日 星期一

    MATLAB Notes(2)

    (參考: 張智星 MATLAB程式設計【入門篇】)
  • 一個 *.m 檔的 function 可以不只一個,但只有第一個 function 是可以給外面 call 的~ 其他的都是給裡面的 functions 互 call。
  • imread('test.jpg') 讀進來的矩陣 type 是 unit8/unit16 的資料型態,要做 frame difference 運算要先轉成 double。
  • A = imread('test.jpg'); B = rgb2gray(A); % RGB -> gray C = double(B)+1; % Because of the offset, must add 1 to convert to double
  • imshow: 轉成灰階之後,bitmap 改變,不能用原來的 image(A) 看圖,要用這個。
  • figure, imshow(B);
  • clc: clear command window
  • clear all / clear A: clear all variable or variable A
  • whos: see the workspace(working memory)
  • plot(A): 畫出 A 的曲線
  • type filename.txt: show the content of filename.txt
  • 關於檔案:
  • fid = fopen('filename.txt', 'w'); % 'w' for write, 'r' for read fprintf(fid, 'string string'); fclose(fid); dir('.'); % see all files at current directory, also include '.' and '..' dir('./*.jpg'); % see all JPEG files at current directory. files = dir('./*.jpg'); filename = files(1).name; % get the first file's name.

    (... 閱讀「MATLAB Notes(2)」全文)

    2007年4月1日 星期日

    MATLAB Notes(1)

    (參考: 張智星 MATLAB程式設計【入門篇】)
  • *.m 是 MATLAB 的程式檔案格式,依照內容又可分為 script 跟 function 兩種。
  • 呼叫 function 是用 "file name" (所以一個檔案只能有一個 function?)
  • 範例:(factTest.m)
    function output = fact(n) % FACT Calculate factorial of a given positive integer (for-loop version) output = 1; for i = 1:n,    output = output * i; end
    執行: (命令列)
    >> y = factTest(5) y =    120
  • function 沒有回傳值怎麼辦?

  • (... 閱讀「MATLAB Notes(1)」全文)