209,883 research outputs found
Reasoning about obligations in Obligationes : a formal approach.
Despite the appearance of `obligation' in their name, medieval obligational dispu-
tations between an Opponent and a Respondent seem to many to be unrelated to
deontic logic. However, given that some of the example disputations found in me-
dieval texts involve Respondent reasoning about his obligations within the context
of the disputation, it is clear that some sort of deontic reasoning is involved. In this
paper, we explain how the reasoning diers from that in ordinary basic deontic logic,
and dene dynamic epistemic semantics within which the medieval obligations can
be expressed and the examples evaluated. Obligations in this framework are history-
based and closely connected to action, thus allowing for comparisons with, e.g., the
knowledge-based obligations of Pacuit, Parikh, and Cogan, and stit-theory. The con-
tributions of this paper are twofold: The introduction of a new type of obligation into
the deontic logic family, and an explanation of the precise deontic concepts involved
in obligationes
Reasoning about Obligations in Obligationes: A Formal Approach
Despite the appearance of `obligation' in their name, medieval obligational dispu- tations between an Opponent and a Respondent seem to many to be unrelated to deontic logic. However, given that some of the example disputations found in me- dieval texts involve Respondent reasoning about his obligations within the context of the disputation, it is clear that some sort of deontic reasoning is involved. In this paper, we explain how the reasoning diers from that in ordinary basic deontic logic, and dene dynamic epistemic semantics within which the medieval obligations can be expressed and the examples evaluated. Obligations in this framework are history- based and closely connected to action, thus allowing for comparisons with, e.g., the knowledge-based obligations of Pacuit, Parikh, and Cogan, and stit-theory. The con- tributions of this paper are twofold: The introduction of a new type of obligation into the deontic logic family, and an explanation of the precise deontic concepts involved in obligationes
How Knowledge Affects Obligations:a Study on the Logic of Knowledge-Based Obligations
A doctor generally does not have an obligation to treat a person if the doctor does not know that he/she is ill. But when the doctor knows the person is ill, the doctor ought to treat him/her. So what we ought to do depends a lot on what we know at that moment. This thesis provides a logical formalization of the concept of knowledge-based conditional obligation which paraphrases `A ought to be achieved by an agent under the condition that he/she knows B'. This notion is characterized by a sound and strongly complete axiomatization in this thesis. Furthermore, the framework is dynamified in order to show how knowledge change affects obligation change. Accordingly, those situations where agents' obligations are updated by their dynamic information can be modelled. Besides information change, norm change may also lead to new obligations. The notion of relativized conditional obligations is proposed for conceptualizing obligations induced by different normative systems. Several types of updates on normative systems are studied. They bring about new obligations or defeat original obligations in different ways. In the final chapters, this thesis jumps out of the approach of `ought-to-be' obligations and conceptualizes the notion of knowledge-based `ought-to-do' obligation based on dynamic epistemic logic. The basic idea of defining this notion is that an action ought to be done if and only if the action always improves the initial situation to a better situation. A sound and strongly complete axiom system is also established
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
A framework and methodology---termed LogiKEy---for the design and engineering
of ethical reasoners, normative theories and deontic logics is presented. The
overall motivation is the development of suitable means for the control and
governance of intelligent autonomous systems. LogiKEy's unifying formal
framework is based on semantical embeddings of deontic logics, logic
combinations and ethico-legal domain theories in expressive classic
higher-order logic (HOL). This meta-logical approach enables the provision of
powerful tool support in LogiKEy: off-the-shelf theorem provers and model
finders for HOL are assisting the LogiKEy designer of ethical intelligent
agents to flexibly experiment with underlying logics and their combinations,
with ethico-legal domain theories, and with concrete examples---all at the same
time. Continuous improvements of these off-the-shelf provers, without further
ado, leverage the reasoning performance in LogiKEy. Case studies, in which the
LogiKEy framework and methodology has been applied and tested, give evidence
that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure
Knowledge Representation Concepts for Automated SLA Management
Outsourcing of complex IT infrastructure to IT service providers has
increased substantially during the past years. IT service providers must be
able to fulfil their service-quality commitments based upon predefined Service
Level Agreements (SLAs) with the service customer. They need to manage, execute
and maintain thousands of SLAs for different customers and different types of
services, which needs new levels of flexibility and automation not available
with the current technology. The complexity of contractual logic in SLAs
requires new forms of knowledge representation to automatically draw inferences
and execute contractual agreements. A logic-based approach provides several
advantages including automated rule chaining allowing for compact knowledge
representation as well as flexibility to adapt to rapidly changing business
requirements. We suggest adequate logical formalisms for representation and
enforcement of SLA rules and describe a proof-of-concept implementation. The
article describes selected formalisms of the ContractLog KR and their adequacy
for automated SLA management and presents results of experiments to demonstrate
flexibility and scalability of the approach.Comment: Paschke, A. and Bichler, M.: Knowledge Representation Concepts for
Automated SLA Management, Int. Journal of Decision Support Systems (DSS),
submitted 19th March 200
Detection and resolution of normative conflicts in multi-agent systems : a literature survey
Peer reviewedPostprin
- …