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 30 of 79 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