How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software

Luqi,; Cooke, Daniel E.

doi:10.1142/s021819409500006x

Cited by 15 publications

(6 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, in the logic programming realm, the use of extra-logical operators, embedded in the syntax of the language, are common, like the use of not operator in some implementations of Prolog. Similar attempts are reported in the software engineering domain [30], whereas in [6] the authors use techniques from Answer Set Programming (ASP), which allow to draw conclusions based on the lack of evidence of the contrary. Their approach augments the semantics of SW languages' constructs, in particular that of the DAML daml:subClassOf, with ASP programs to be fed into an ASP solver in order to allow drawn, default inferences to be dropped if opposite knowledge is found in the knowledge source.…”

Section: Knowledge Representation and Reasoning On The Semantic Webmentioning

confidence: 95%

On the Emergent Semantic Web and Overlooked Issues

Kalfoglou

Alani

Schorlemmer

et al. 2004

The Semantic Web – ISWC 2004

View full text Add to dashboard Cite

Abstract. The emergent Semantic Web, despite being in its infancy, has already received a lot of attention from academia and industry. This resulted in an abundance of prototype systems and discussion most of which are centred around the underlying infrastructure. However, when we critically review the work done to date we realise that there is little discussion with respect to the vision of the Semantic Web. In particular, there is an observed dearth of discussion on how to deliver knowledge sharing in an environment such as the Semantic Web in effective and efficient manners. There are a lot of overlooked issues, associated with agents and trust to hidden assumptions made with respect to knowledge representation and robust reasoning in a distributed environment. These issues could potentially hinder further development if not considered at the early stages of designing Semantic Web systems. In this perspectives' paper, we aim to help engineers and practitioners of the Semantic Web by raising awareness of these issues.

show abstract

Section: Knowledge Representation and Reasoning On The Semantic Webmentioning

confidence: 95%

On the Emergent Semantic Web and Overlooked Issues

Kalfoglou

Alani

Schorlemmer

et al. 2004

The Semantic Web – ISWC 2004

View full text Add to dashboard Cite

show abstract

“…The use of default rules has been proposed for the maintenance of software 6,13 in general, and requirements engineering 3,20,21 in particular. When the requirements of a software product are collected, it is usual that potential stakeholders have conflicting requirements for the system to be developed.…”

Section: Introductionmentioning

confidence: 99%

On the dynamics of default reasoning

Antoniou

2002

Int. J. Intell. Syst.

View full text Add to dashboard Cite

Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.

show abstract

“…Moreover default reasoning can be used to represent and reason with conflicting knowledge without being faced with the trivialization problems of first order logic (where any conclusion can be drawn from an inconsistent knowledge base). These features have led to the use of default reasoning in a variety of applications including requirements and software engineering (Luqi and Cooke, 1995;Zowghi and Offen, 1997;Antoniou, 1998).…”

Section: Introductionmentioning

confidence: 99%