論法條之知識表現、非單調邏輯及其關聯性

Date Issued

2004-07-31

Date

2004-07-31

Author(s)

DOI

922414H002021

URI

http://ntur.lib.ntu.edu.tw//handle/246246/16903

http://ntur.lib.ntu.edu.tw/bitstream/246246/16903/1/922414H002021.pdf

Subjects

Rechtssatz

knowledge representation

nonmonotonic logic

logic programming

rule

exception

principle

prima facie

defeasible logic

negation as failure

computational logic

Abw?gung

forward-chaining

backward-chaining

undercutter

rebutter

die Gewichtsformel

the weight formula

fixed point

Publisher

臺北市：國立臺灣大學國家發展研究所

Type

report

File(s)

Name

922414H002021.pdf

Size

430.3 KB

Format

Adobe PDF

Checksum

(MD5):d38c8ecfa5efde46c4fd8ad44d996c7d