道义逻辑
义务论伦理学
计算机科学
规范性
一致性(知识库)
业务词汇和业务规则的语义
软件工程
人工智能
程序设计语言
工程类
法学
认识论
运营管理
哲学
在制品
业务流程
政治学
业务规则
作者
Dareen A. Salama,Nora El-Gohary
出处
期刊:Journal of Computing in Civil Engineering
[American Society of Civil Engineers]
日期:2013-02-09
卷期号:27 (6): 681-698
被引量:53
标识
DOI:10.1061/(asce)cp.1943-5487.0000298
摘要
Automated compliance checking (ACC) in the construction domain continues to be a challenge. Current ACC systems do not provide the level of knowledge representation and reasoning that is needed to efficiently interpret applicable norms (e.g., laws, regulations, contractual requirements, advisory practices) and check conformance of designs and operations to those interpretations. In this paper, the authors explore a new approach to ACC and propose to apply theoretical and computational developments in the fields of deontology, deontic logic, and natural language processing to the problem of compliance checking in construction. Deontology is a theory of rights and obligations, and deontic logic is a branch of modal logic that deals with obligations, prohibitions, and permissions. This paper focuses on presenting a deontology for ACC in construction. The deontic model is composed of a hierarchy of normative concepts, interconcept relations, and deontic axioms (rules represented using deontic logic). The deontology was evaluated through formal competency questions, automated consistency checking, automated redundancy checking, expert evaluation, and application-oriented evaluation. The deontic model was manually applied in checking the compliance of storm-water pollution prevention plans with applicable norms.
科研通智能强力驱动
Strongly Powered by AbleSci AI