東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Deterministic inductive logic: A mu...

Brewer, Allen Eddy.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Deterministic inductive logic: A multi-valued logic for reasoning about categories./
Author:	Brewer, Allen Eddy.
Description:	246 p.
Notes:	Chair: Claude E. Walston.
Contained By:	Dissertation Abstracts International62-01A.
Subject:	Information Science. -
Online resource:	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