You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Westminster » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Westminster

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Deontic extension of deductive verification of component model: combining computation tree logic and deontic logic in natural deduction style calculus

Type

E - Conference contribution

DOI

Name of conference/published proceedings

Proceedings of the 4th Indian International Conference on Artificial Intelligence (IICAI-09), December 16-18, 2009, SIT, Tumkur, India

Volume number

Issue number

First page of article

166

ISSN of proceedings

Year of publication

2009

URL

http://westminsterresearch.wmin.ac.uk/7337/

Number of additional authors

Additional information

<11> Originality: Normative reasoning is core in modelling the behaviour of component based systems while non-deterministic temporal reasoning is core in capturing its dynamic nature. This paper is the first to merge these two frameworks extending the underlying computation tree logic with norms - permissions, obligations.

Significance: Not only the paper formally defines the concept of configuration/re-configuration but it also brings the methodological power of natural deduction goal-directed reasoning. This provides more transparent proofs and leads us to a lower complexity of the overall verification scenario.

Rigour: Mathematical proofs of the soundness and completeness of the proposed method are established.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract