Knowledge Representation of Design in Many-Sorted Logic
نویسنده
چکیده
The pape r p r e s e n t s a f o r m a l t o o l o f m o d e l l i n g o f c o n s t r u c t i o n a l d e s i g n , where t h e c a r d i n a l i s s u e i s knowledge r e p r e s e n t a t i o n . I t i s shown t h a t t h e s t r u c t u r e s o f c l a s s i c a l m a t h e m a t i c a l l o g i c , such a s t t y p e m a n y s o r t e d m o d e l s , can b e a p p l i e d a l m o s t d i r e c t l y t o r e p r e s e n t t h e w o r l d o f a c e r t a i n d e s i g n i n g t a s k . U s i n g t h e PROLOG programming s y s t e m , t h e l o g i c a l r e p r e s e n t a t i o n o f t h e t a s k y i e l d s , a t t h e same t i m e , i t s au toma ted s o l u t i o n . The most i m p o r t a n t moment o f m o d e l l i n g a t a s k o f t h i s k i n d i s f i x i n g t h e a p p r o p r i a t e t y p e o f t h e s t r u c t u r e s . A PROLOG program f o r d e s i g n i n g m a n y s t o r i e d b u i l d i n g s i s t a k e n a s a n examp le .
منابع مشابه
The completeness of logic programming with sort predicates
An order-sorted logic can be regarded as a generalized first-order predicate logic that includes many and ordered sorts (i.e. a sort-hierarchy). In the fields of knowledge representation and AI, this logic with sort-hierarchy has been used to design a logic-based language appropriate for representing taxonomic knowledge. By incorporating the sort-hierarchy, order-sorted resolution and sorted lo...
متن کاملExistential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex sorted expressions when they are true in any possible world (as rigid) or some possible worlds (as modality) such as time, space, belief, or situ...
متن کاملCombining Order-Sorted Logic Programming with Formal Ontology
In formal ontology, entity types and relationships are philosophically defined, and the properties of objects are classified on the basis of sortality, rigidity, and identity (called property classification). Sorts and unary predicates are semantically identical in order-sorted logic, but they are respectively sortal and non-sortal (i.e., they are distinguished) in a formal ontology. This ontol...
متن کاملKnowledge Based Speci cation of the Design Process
Due to the unprecedented pace of technology development and the increasing exibility of manufacturing, there is a growing demand for design automation. Since design often requires creativity or even ingenuity, it is one of the most complex tasks humans perform. Because of its complexity, design automation has been limited to routine and detail design. Recently, however, attention has been shift...
متن کاملAn E cient Constraint Language for Polymorphic Order-sorted Resolution
In recent years various sorted logics have been developed, mostly to facilitate knowledge representation and to speed up automated deduction. We present a polymorphic order-sorted logic that can be implemented e ciently. Because the polymorphism is almost unrestricted, it is possible for two terms to have an exponential number of maximally general uni ers. To guarantee a single most general uni...
متن کاملOntological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non-sortal). This ontological analysis is an essential notion to deal with properties (or sorts) of objects in knowledge representation and reasoning. In this paper, we propose an extension of an order-sorted logic with th...
متن کامل