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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.