On Commitments Creation, Compliance and Violation

Mobaiddin, Asma; Obeid, Nadim

doi:10.1007/978-3-319-92058-0_45

Cited by 2 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are many alternatives in the literature that deal with knowledge representation and reasoning issues [10] [18]. However, when this knowledge is characterized as contextual knowledge (i.e.…”

Section: Some Issues In Contextual Reasoningmentioning

confidence: 99%

“…Defeasible logic (DL) [22] is a well-known skeptical nonmonotonic logic that can be used in dynamic environments due to its characteristics: it is expressive, natural, not ambiguous and programmable. It has attracted many researchers to incorporate it in different application domains such as modeling of contracts [23], legal reasoning [24], modeling social agents [25], modeling social commitments [15] [17] [18], etc. The most significant feature of DL is that it preserves the consistency of the system regardless of conflicts because it does not produce contradictory conclusions.…”

Section: Some Issues In Contextual Reasoningmentioning

confidence: 99%

See 1 more Smart Citation

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

Al-Anbaki¹,

Obeid²,

Eddin³

2019

IJACSA

Self Cite

View full text Add to dashboard Cite

In human to human communication, context increases the ability to convey ideas. However, in human to application and application to application communication, this property is difficult to attain. Context-awareness becomes an emergent need to achieve the goal of delivering more user-centric personalized services, especially in ubiquitous environments. However, there is no agreed-upon generic framework that can be reused by deployed applications to support context-awareness. In this paper, a defeasible logic-based framework for contextawareness is proposed that can enhance the functionality of any deployed application. The nonmonotonic nature of defeasible logic has the capability of attaining justifiable decisions in dynamic environments. Classical defeasible logic is extended by metarules to increase its expressiveness power, facilitate its representation of complex multi-context systems, and permit distributed reasoning. The framework is able to produce justified decisions depending on both the basic functionality of the system that is itself promoted by contextual knowledge and any crosscutting concerns that might be added by different authorities or due to further improvements to the system. Active concerns that are triggered at certain contexts are encapsulated in separate defeasible theories. A proof theory is defined along with a study of its formal properties. The framework is applied to a motivating scenario to approve its feasibility and the conclusions are analyzed using argumentation as an approach of reasoning.

show abstract

Section: Some Issues In Contextual Reasoningmentioning

confidence: 99%

Section: Some Issues In Contextual Reasoningmentioning

confidence: 99%

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

Al-Anbaki¹,

Obeid²,

Eddin³

2019

IJACSA

Self Cite

View full text Add to dashboard Cite

show abstract

On the Logical Foundation of a Personalized Medical Prescription System

2020

View full text Add to dashboard Cite

This paper, lays down the logical foundations for a personalized medical prescription system. The proposed system employs detailed pharmaceutical and medical knowledge about a medication and its effects or side effects on the patient, which may go beyond what is available in medication leaflets. The ontology was initially built for the proposed system and employs the description logic system, ALC, for knowledge representation. However, the uncertain nature of medical and medicinal knowledge poses some problems such as drug-drug interactions and drug-disease interactions, which render ALC inadequate to represent and reason within a system such as a personalized medical prescription system. Indeed, there is a need for a more flexible representation that allows reasoning with incomplete knowledge and possibly inconsistent cases. ALC is extended with defeasible rules to obtain defeasible ALC. Defeasible ALC allows the prevention of adverse drug interactions, detection drug-drug interactions and detection of drugdisease interactions. The ultimate purpose of this paper is providing to provide a standard knowledge base system toward a medical prescription capable of dealing with incomplete knowledge, conflicting information (inconsistencies) and exceptions cases, which will enhance individual healthcare and provide an appropriate prescription. This is accomplished by expanding the capabilities of description logic with defeasible rules, to achieve an accurate prescription decision for any patient's condition(s). Once implemented, a personalized medical prescription system intends to assist, not to replace, the clinician during medical prescription(s) or the pharmacist(s).INDEX TERMS Knowledge base system, medical services, medical treatment, health information management, medicine prescription.

show abstract

On Commitments Creation, Compliance and Violation

Cited by 2 publications

References 23 publications

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

A Defeasible Logic-based Framework for Contextualizing Deployed Applications

On the Logical Foundation of a Personalized Medical Prescription System

Contact Info

Product

Resources

About