Logics and operators

Logics and Operators

Terminological Logics with Modal Operators

Terminological knowledge representation formalisms can be used to represent objective, time-independent facts about an application domain. Notions like belief, intentions, and t ime which are essential for the representation of mult i-agent environments can only be expressed in a very l imi ted way. For such not i ons, modal logics w i th possible worlds semantics provides a formal ly well-foun...

wavelets, modulation spaces and pseudidifferential operators

مبحث تحلیل زمان-فرکانسی سیگنالها یکی از مهمترین زمینه های مورد بررسی پژوهشگران علوم ÷ایه کاربردی و فنی مهندسی میباشد.در این پایان نامه فضاهای مدولاسیون به عنوان زمینه اصلی این بررسی ها معرفی گردیده اند و نتایج جدیدی که در حوزه های مختلف ریاضی،فیزیک و مهندسی کاربرداساسی و فراوانی دارند استوار و بیان شده اند.به ویژه در این پایان نامه به بررسی و یافتن مقادیر ویژه عملگر های شبه دیفرانسیل با سمبل در...

Foundations of Refinement Operators for Description Logics

In order to leverage techniques from Inductive Logic Programming for the learning in description logics (DLs), which are the foundation of ontology languages in the Semantic Web, it is important to acquire a thorough understanding of the theoretical potential and limitations of using refinement operators within the description logic paradigm. In this paper, we present a comprehensive study whic...

Relaxation-based revision operators in description logics

As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime importance when knowledge is prone to change and inconsistency. In this paper we address both the generalization of the well-known AGM postulates, and the definition of concrete and well-founded revision operators in diffe...