Krystian Jobczyk

Comparative Approach to the Multi-Valued Logic Construction for Preferences

This paper is aimed at the giving of a comparative approach to the preferences modelling. This approach is conceived to grasp the fuzzy nature of preferences what determines the choice two fuzzy logic formalisms for their representation discussed by P. Hajek and L. Godo. These two (appropriately modified) formalism are used to propose two formalism for preferences: Fuzzy Modal Preferential Logic (FMPL) and Comparative Possibilistic Multi-Modal Propositional Logic (CPMPL). We also justify some metalogical properties of both systems such as their completeness and we discuss a satisfiability problem for them. In result, we propose a short juxtaposition of the properties of the considered systems.

Systems of Temporal Logic for a Use of Engineering. Toward a More Practical Approach

This paper is aimed at the evaluating of utility of 3 temporal logics: linear temporal logic (LTL), Allen’s interval algebra and Halpern-Shoham interval logic from the point of view of the engineering practice. We intend to defend the thesis that chosen systems are only partially able to satisfy typical requirements of engineers.

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation

This paper is aimed at the engineering evaluating of 3 well-known temporal logic systems: of the Linear Temporal Logic (LTL), of a Fuzzy Linear Temporal Logic (FLTL) and some alternative fuzzy extension of LTL – called a Fuzzy-Time Temporal Logic as a system suitable for an explicit rendering of a fuzzy nature of time. We intend to formulate and defend the thesis – on a base of a behavior of robot in the block world – that chosen systems are only partially capable of satisfying typical requirements of engineers.

Selected Approaches Towards Taxonomy of Business Process Anomalies

Modeling based on a graphical notation understandable for different specialists has become very popular. Within the area of business processes, the most common one is the Business Process Modeling and Notation (BPMN). BPMN is aimed at all business users who design, analyze, manage and monitor business processes. BPMN specification is relatively precise, but it provides a descriptive form presented at some abstract, graphical level. The main focus of this chapter is an attempt to present an overview of the anomalies which are likely to occur when modeling with use of BPMN.

A general method of the hybrid controller construction for temporal planning with preferences

This paper is aimed at presenting some general construction method of the hybrid plan controller for some task of temporal planning with preferences. This construction is multi-stage and it begins with a description of a chosen robot environment and its plan in some extended version of Linear Temporal Logic. This description is later transformed to the appropriate preferential Büchi automaton. In the same way, the real plan performing by the robot is encoded by the similar automaton. Finally, both automata are exploited to construct its product automaton, which is later described in PROLOG.

Overview of time issues with temporal logics for Business Process Models

Process models can specify various aspects of business processes. In this paper, we present an overview of the existing solutions for describing time aspects of such models. We focus on Business Process Model and Notation and provide examples of representing time patterns in this notation. As temporal issues can be specified using temporal logics, we provide a short overview of selected temporal logics which can be used to specify the time patterns in business process models.

Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL

This paper presents a comparative analysis of expressive power of PDDL and its known extensions versus a language of a Fuzzy Logic for Integrals (as a far extension of Łukasiewicz logic) with respect to some components of temporal planning. This comparative perspective is determined not only by the problem of the representation of planning objects, actions and preferences, but also by some ability of both languages to express the plan construction.

Comparison of selected modeling notations for process, decision and system modeling

System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.

Dynamic Epistemic Preferential Logic of Action

H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi proposed in 2003 some complete formalism for representation of actions for Multi-Agent Systems. This paper is aimed at proposing a new preferential extension of this formalism in terms of dynamic-epistemic logic supported by a unique multi-valued logic. This new system is interpreted in the interval fibred semantics on a base of earlier ideas of D. Gabbay.

Why Systems of Temporal Logic Are Sometimes (Un)useful

This paper is aimed at the evaluating of utility of 3 temporal logics: linear temporal logic (LTL) and Halpern-Shoham interval logic from the point of view of the engineering practice. We intend to defend the thesis that chosen systems are only partially capable of satisfying typical requirements of engineers.