東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Deterministic inductive logic: A mu...

Brewer, Allen Eddy.

FindBook

Google Book

Amazon

博客來

Deterministic inductive logic: A multi-valued logic for reasoning about categories.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Deterministic inductive logic: A multi-valued logic for reasoning about categories./
作者:	Brewer, Allen Eddy.
面頁冊數:	246 p.
附註:	Chair: Claude E. Walston.
Contained By:	Dissertation Abstracts International62-01A.
標題:	Information Science. -
電子資源:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3001355
ISBN:	0493099735

Deterministic inductive logic: A multi-valued logic for reasoning about categories.
Brewer, Allen Eddy.

Deterministic inductive logic: A multi-valued logic for reasoning about categories. - 246 p.

Chair: Claude E. Walston.

Thesis (Ph.D.)--University of Maryland College Park, 2000.

In logic, induction is used to formulate theories (generalizations) from specifics, while deduction is used to derive theories (specializations) from axioms (generalizations). Induction has traditionally employed probabilistic models to formulate representations (models) analogous to logic's domains of discourse, where the resulting models are inherently non-deterministic. An implementation of classical deductive logic that applies to organizing conceptual spaces is ontology, where the classification of a universe of discourse may contain multiple levels of hierarchy to support successively refined deterministic subsets, which are used to facilitate conceptual differentiation. In this paper <italic>deterministic inductive logic</italic> is defined and described as the complement of classical (deterministic) deductive logic. The logic described is a multi-valued logic that supports formulating theories (generalizations) by combining “specifics” into categories or classes. Three primitive operators are defined and described that support: (1) <smcap>COMBINE </smcap>, (2) <smcap>COMPARE</smcap> and (3) <smcap>CONTRAST</smcap>. Examples are provided to show that deterministic inductive logic: (1) provides a method for building classifications by generalizing about specifics either by defining a class from its members, or a super-class from its member classes; and (2) facilitates the creation of hierarchical structures compatible with classical deductive logic (hierarchical subsumption). An approach is also described for implementing deterministic inductive logic to build information structures to organize and manage information analogously to the controlled vocabulary approach to organizing information.

ISBN: 0493099735Subjects--Topical Terms:

1017528
Information Science.

Deterministic inductive logic: A multi-valued logic for reasoning about categories.
LDR:02664nam 2200277 a 45 001 926200
005 20110421
008 110421s2000 eng d
020 $a 0493099735
035 $a (UnM)AAI3001355
035 $a AAI3001355
040 $a UnM $c UnM
100 1 $a Brewer, Allen Eddy. $3 1249733
245 1 0 $a Deterministic inductive logic: A multi-valued logic for reasoning about categories.
300 $a 246 p.
500 $a Chair: Claude E. Walston.
500 $a Source: Dissertation Abstracts International, Volume: 62-01, Section: A, page: 0010.
502 $a Thesis (Ph.D.)--University of Maryland College Park, 2000.
520 $a In logic, induction is used to formulate theories (generalizations) from specifics, while deduction is used to derive theories (specializations) from axioms (generalizations). Induction has traditionally employed probabilistic models to formulate representations (models) analogous to logic's domains of discourse, where the resulting models are inherently non-deterministic. An implementation of classical deductive logic that applies to organizing conceptual spaces is ontology, where the classification of a universe of discourse may contain multiple levels of hierarchy to support successively refined deterministic subsets, which are used to facilitate conceptual differentiation. In this paper <italic>deterministic inductive logic</italic> is defined and described as the complement of classical (deterministic) deductive logic. The logic described is a multi-valued logic that supports formulating theories (generalizations) by combining “specifics” into categories or classes. Three primitive operators are defined and described that support: (1) <smcap>COMBINE </smcap>, (2) <smcap>COMPARE</smcap> and (3) <smcap>CONTRAST</smcap>. Examples are provided to show that deterministic inductive logic: (1) provides a method for building classifications by generalizing about specifics either by defining a class from its members, or a super-class from its member classes; and (2) facilitates the creation of hierarchical structures compatible with classical deductive logic (hierarchical subsumption). An approach is also described for implementing deterministic inductive logic to build information structures to organize and manage information analogously to the controlled vocabulary approach to organizing information.
590 $a School code: 0117.
650 4 $a Information Science. $3 1017528
650 4 $a Library Science. $3 881164
690 $a 0399
690 $a 0723
710 2 0 $a University of Maryland College Park. $3 1249734
773 0 $t Dissertation Abstracts International $g 62-01A.
790 $a 0117
790 1 0 $a Walston, Claude E., $e advisor
791 $a Ph.D.
792 $a 2000
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3001355