In order to effectively implement guidance structures in a computational social system, directives which are specified in general terms of duties and rights need to be transformed in terms of powers and liabilities at...
详细信息
ISBN:
(纸本)9781643680491;9781643680484
In order to effectively implement guidance structures in a computational social system, directives which are specified in general terms of duties and rights need to be transformed in terms of powers and liabilities attributed to social parties. The present paper is a work in progress report on an axiomatization of power structures in a logic programming setting, covering the intentional level in specifying actions, the connection between productive characterization of actions and causation, the default nature of action specifications, failures and omissions, the relations of causation and power, and the concept of interfering actions.
Our ultimate goal is to conceive an extension of Answer Set programming with language constructs from dynamic (and temporal) logic to provide an expressive computational framework for modeling dynamic applications. To...
详细信息
ISBN:
(纸本)9783030205287;9783030205270
Our ultimate goal is to conceive an extension of Answer Set programming with language constructs from dynamic (and temporal) logic to provide an expressive computational framework for modeling dynamic applications. To address this in a semantically well founded way, we generalize the definition of Dynamic Equilibrium logic to accommodate finite linear time and extend it with a converse operator in order to capture past temporal operators. This results in a general logical framework integrating existing dynamic and temporal logics of Here-and-There over both finite and infinite time. In the context of finite time, we then develop a translation of dynamic formulas into propositional ones that can in turn be translated into logic programs.
We develop a compilation scheme and categorical abstract machine for execution of logic programs based on allegories, the categorical version of the calculus of relations. Operational and denotational semantics are de...
详细信息
We present a top-k query answering procedure for Fuzzy logic programming, in which arbitrary computable functions may appear in the rule bodies to manipulate truth values. The top-k ranking problem, i.e. determining t...
详细信息
We present a top-k query answering procedure for Fuzzy logic programming, in which arbitrary computable functions may appear in the rule bodies to manipulate truth values. The top-k ranking problem, i.e. determining the top k answers to a query, becomes Important as soon as the set of facts becomes quite large. (C) 2012 Elsevier B.V. All rights reserved.
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic logic, we accomplish th...
详细信息
In this paper, we discuss the computational complexity of Read-once resolution (ROR) with respect to Horn formulas. Recall that a Horn formula is a boolean formula in conjunctive normal form (CNF), such that each clau...
详细信息
Answer Set programming (ASP) is an established logic-based programming paradigm which has been successfully applied for solving complex problems since it features efficient implementations. In previous work we showed ...
详细信息
We elaborate upon the formal foundations of hybrid Answer Set programming (ASP) and extend its underlying logical framework with aggregate functions over constraint values and variables. This is achieved by introducin...
详细信息
In this paper, we present the tool$$\mathsf {Uhura}$$ for developing answer-set programs by means of specifying problem descriptions in a controlled natural language which then are translated into answer-set programmi...
详细信息
Student-Centered Learning is a must in the Teaching & Learning delivery method for any engineering technology courses as outlined in the Engineering Technology Programme Accreditation Standard 2020. The aim of thi...
详细信息
ISBN:
(数字)9781665415507
ISBN:
(纸本)9781665415514
Student-Centered Learning is a must in the Teaching & Learning delivery method for any engineering technology courses as outlined in the Engineering Technology Programme Accreditation Standard 2020. The aim of this study is to evaluate the effectiveness of the Cooperative Learning Jigsaw method in teaching basic ladder logic programming, a sub-topic in Programmable logic Controller subject offered for Bachelor of Engineering Technology in Mechatronics. The subtopic is divided into three parts; the students are divided into three groups and each part is given to one group. At the end of the lesson, a quiz was given to test students' understanding of the sub-topic. A survey is also done to get their perception of the Jigsaw method. The study shows that while the Jigsaw method is able to achieve the intended learning outcomes and improve soft skills; it also can slow down the learning process if the scaffolding was not solid.
暂无评论