Construction of Logical Structures on Specialization Systems

Author

Akama, Kiyoshi ; Nantajeewarawat, Ekawit

Author_Institution

Inf. Initiative Center, Hokkaido Univ., Sapporo, Japan

fYear

2011

fDate

11-14 Dec. 2011

Firstpage

1026

Lastpage

1031

Abstract

A specialization system is an axiomatic structure for specifying a set of atomic formulas and a set of specialization operations on them. This paper formalizes the concept of logical structure and presents three basic ways of logical structure construction, i.e., generating a logical structure from a specialization system, constructing a conjunctive logical structure, and logical structure morphing. Instantiations of the proposed framework in the context of first-order logic, clausal-form logic, and a basic description logic are illustrated. The merits of the framework in understanding different logical systems and logical structure extension are described.

Keywords

formal logic; axiomatic structure; basic description logic; clausal-form logic; conjunctive logical structure construction; first-order logic; logical structure extension; logical structure morphing; logical systems; specialization systems; Bridges; Concrete; Context; Educational institutions; Electronic mail; Knowledge based systems; Syntactics; logical structure; logical structure construction; logical structure extension; specialization system;

fLanguage

English

Publisher

ieee

Conference_Titel

Information and Communication Technologies (WICT), 2011 World Congress on

Conference_Location

Mumbai

Print_ISBN

978-1-4673-0127-5

Type

conf

DOI

10.1109/WICT.2011.6141389

Filename

6141389