Logical control of an elevator with defeasible logic

Covington M.A.

首页> 外文期刊>IEEE Transactions on Automatic Control >Logical control of an elevator with defeasible logic

【24h】

Logical control of an elevator with defeasible logic

机译：具有不可行逻辑的电梯逻辑控制

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The elevator control program of Dyck and Caines (1995) can be implemented more concisely in d-Prolog, a defeasible logic programming system developed by Nute (1992, 1996, 1997). To demonstrate this, the program is recast, first into ordinary Prolog and then into d-Prolog. In defeasible logic, more specific rules take precedence over more general ones. Thus, the d-Prolog programmer can state general rules and then give explicit exceptions, just as humans do when explaining complex regularities to each other.

机译：Dyck和Caines（1995）的电梯控制程序可以在d-Prolog中更简洁地实现，d-Prolog是Nute（1992，1996，1997）开发的可行的逻辑编程系统。为了证明这一点，首先将程序重铸为普通的Prolog，然后再转换为d-Prolog。在可废止的逻辑中，更具体的规则优先于更一般的规则。因此，d-Prolog程序员可以陈述一般规则，然后给出明确的例外，就像人类在相互解释复杂的规则时一样。

著录项

来源
《IEEE Transactions on Automatic Control》 |2000年第7期|P.1347-1349|共3页
作者
Covington M.A.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类自动化系统;
关键词

相似文献

外文文献
中文文献
专利

1. Logical control of an elevator with defeasible logic [J] . Covington M.A. IEEE Transactions on Automatic Control . 2000,第7期

机译：具有不可行逻辑的电梯逻辑控制
2. Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming [J] . Alsinet Teresa, Bejar Ramon, Godo Lluis, Journal of experimental and theoretical artificial intelligence (Online) . 2016,第1a2期

机译：加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性
3. BIO logical agents: Norms, beliefs, intentions in defeasible logic [J] . Guido Governatori, Antonino Rotolo Autonomous agents and multi-agent systems . 2008,第1期

机译：BIO逻辑主体：可废止逻辑中的规范，信念，意图
4. Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties [C] . Carlos I. Chesnevar, Guillermo R. Simari, Lluis Godo, European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty(ECSQARU 2005); 20050706-08; Barcelona(ES) . 2005

机译：可能的不可行逻辑编程中基于参数的扩展运算符：表征和逻辑属性
5. OBJECTIVITY, LOGIC, AND THE JUSTIFICATION OF SCIENCE: THE CASE OF CARNAP'S "THE LOGICAL STRUCTURE OF THE WORLD" (LOGICAL POSITIVISM, FOUNDATIONALISM, VIENNA CIRCLE, UNITY OF SCIENCE, ANALYTIC PHILOSOPHY). [D] . SERNIAK-CATUDAL, DONNA. 1985

机译：客观性，逻辑性和科学正义性：以卡纳普的“世界的逻辑结构”为例（逻辑实证主义，基金会主义，维也纳循环，科学统一，分析哲学）。
6. Logic Forest: an ensemble classifier for discovering logical combinations of binary markers [O] . Bethany J. Wolf, Elizabeth G. Hill, Elizabeth H. Slate -1

机译：逻辑林：用于发现二进制标记的逻辑组合的整体分类器
7. Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming [O] . Alsinet, Teresa, Béjar, Ramón, Godo, Lluis, 2016

机译：加权不可行逻辑编程的最大理想递归语义的形式化和逻辑属性

Logical control of an elevator with defeasible logic

摘要

著录项

相似文献

相关主题

期刊订阅