Tomasz Zurek

Modeling teleological interpretation

The paper presents a model of teleological interpretation of statutory legal rules as well as an example of the genuine law case, which has been modeled with use of established methodology.

Quality of Protection Evaluation of Security Mechanisms

Recent research indicates that during the design of teleinformatic system the tradeoff between the systems performance and the system protection should be made. The traditional approach assumes that the best way is to apply the strongest possible security measures. Unfortunately, the overestimation of security measures can lead to the unreasonable increase of system load. This is especially important in multimedia systems where the performance has critical character. In many cases determination of the required level of protection and adjustment of some security measures to these requirements increase system efficiency. Such an approach is achieved by means of the quality of protection models where the security measures are evaluated according to their influence on the system security. In the paper, we propose a model for QoP evaluation of security mechanisms. Owing to this model, one can quantify the influence of particular security mechanisms on ensuring security attributes. The methodology of our model preparation is described and based on it the case study analysis is presented. We support our method by the tool where the models can be defined and QoP evaluation can be performed. Finally, we have modelled TLS cryptographic protocol and presented the QoP security mechanisms evaluation for the selected versions of this protocol.

Representation of an actual divorce dispute in the parenting plan support system

This paper evaluates the Parenting Plan Support System, a partially implemented decision support system designed to help parents to draft an agreement concerning relations with their children after the divorce, against the background of a real-life case. The focus here is on knowledge representation issues and the functioning of the inference engine.

Legal Advisory System for the Agricultural Tax Law

The authors of this study attempted to develop an advisory tool functioning in the scope of the Agricultural Tax Act. The focus of the authors in this study was on presenting the outcome of the efforts connected with building the ontology which would allow for representing individual cases, and dealing with cases not expressly regulated by law. This study will also outline the structure and concept of the system in question.

Supporting of legal reasoning for cases which are not strictly regulated by law

Statute law legislators are usually not in a position to foresee each and every situation or event which may actually occur in real life. That is why lawyers in the course of their everyday practice very often struggle with interpreting the cases which are not expressly regulated in the law. The legal theory and practice has given rise to a wide array of methods to deal with this type of problems. The solutions described in this article have been implemented in the advisory system developed by the authors whose main goal is to provide automatic legal advice on the Agricultural Tax

Goals, values, and reasoning

Abstract It is impossible to model human reasoning without taking into consideration the values and goals behind a decision. Although the problem of inference with values and goals has been discussed by a number of authors, many issues still stand in need of further development. The main purpose of this work is to discuss the issue of modeling of values and goals in reasoning and argumentation, hence the need for an analysis of existing definitions of values and goals, a discussion of relations between them, and the formulation of value- and goal-based mechanisms of reasoning.

Modeling value-based reasoning for autonomous agents

The issue of decision-making and teleological reasoning of autonomous agents constitutes the current work topic for many researchers. The author of [1] presents a framework allowing for teleological reasoning with the use of values and the possibility of autonomous goal-setting by a device. In this paper we propose to extend this framework by a new manner of representation of the level of value promotion including the required modifications of the reasoning mechanism. The proposed model may become a formal foundation for the realization of the autonomous agent.

Modeling conflicts between legal rules

The main aim of this work is to formalize the mechanism of resolving conflicts between statutory legal rules with a view to implementing them into a legal advisory system. The model is build on the basis of the ASPIC+ argument modeling framework. The paper presents a discussion and a formal model of the mechanism of conflict recognition as well as models of three different mechanisms of conflict solving and a discussion of the relations between them.

On the Modelling of Context-Aware Security for Mobile Devices

Security management in wireless networks has to deal with the changing character of the environment, which can further lead to decision making problem for unexpected events. Among a huge list of devices, the mobile ones are especially vulnerable to this situation. The solution for adapting systems and applications to dynamic environments can be context-aware description of the user actions, which gives a possibility to take into account the factors that influence these actions. In the article, we propose a context-aware security adjusting model, which is based on proposition logic and incorporates mechanisms that assist in the reasoning process. The main benefits that differentiate our approach from similar ones are a formal representation of the model, the usage of the whole spectrum of context attributes, the detection and analysis of contextual data integrity, and conflicting rules’ eradication capability. All these traits transcribe into a more effective way of adjusting security measures in accordance with existing circumstances. To illustrate the proposed approach, we present the case study of context-aware security management for mobile devices.

Framing a Knowledge Base for a Legal Expert System Dealing with Indeterminate Concepts

Despite decades of development of formal tools for modelling legal knowledge and reasoning, the creation of a fully fledged legal decision support system remains challenging. Among those challenges, such system requires an enormous amount of commonsense knowledge to derive legal expertise. This paper describes the development of a negotiation decision support system (the Parenting Plan Support System or PPSS) to support parents in drafting an agreement (the parenting plan) for the exercise of parental custody of minor children after a divorce is granted. The main objective here is to discuss problems of framing an intuitively appealing and computationally efficient knowledge base that can adequately represent the indeterminate legal concept of the well-being of the child in the context of continental legal culture and of Polish law in particular. In addition to commonsense reasoning, interpretation of such a concept demands both legal expertise and significant professional knowledge from other domains.