Title :
Construction of Logical Structures on Specialization Systems
Author :
Akama, Kiyoshi ; Nantajeewarawat, Ekawit
Author_Institution :
Inf. Initiative Center, Hokkaido Univ., Sapporo, Japan
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;
Conference_Titel :
Information and Communication Technologies (WICT), 2011 World Congress on
Conference_Location :
Mumbai
Print_ISBN :
978-1-4673-0127-5
DOI :
10.1109/WICT.2011.6141389
