The competence orientation is indispensible for a good learning and teaching process. Competence descriptions are very important for researchers, teachers and learners. They specify what learners are expected to achie...
详细信息
The competence orientation is indispensible for a good learning and teaching process. Competence descriptions are very important for researchers, teachers and learners. They specify what learners are expected to achieve in a course, they form the basis for teachers to design a course and specify for researchers which competencies should be measured. However, the current curricula in informatics are mostly input-orientated or lack descriptions of learning outcomes. Therefore, this article focuses on how to write competence descriptions. The chosen domain to exemplify this process is the domain of logic programming in upper secondary education. Based on a competence model for this domain different methods of describing competencies are outlined in detail and analysed. On the one hand experts can write competence descriptions. On the other hand expert interviews, module descriptions or schoolbook exercises can be used to formulate those. Furthermore, a new approach is presented. As a result of this research it is shown that learning outcomes for informatics views of logic programming are formulated.
Automated legal reasoning and its application in smart contract is getting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the a...
详细信息
Aspect extraction aims to extract fine-grained opinion targets from opinion texts. Recent work has shown that the syntactical approach performs well. In this paper, we show that logic programming, particularly Answer ...
详细信息
ISBN:
(纸本)9781479929023
Aspect extraction aims to extract fine-grained opinion targets from opinion texts. Recent work has shown that the syntactical approach performs well. In this paper, we show that logic programming, particularly Answer Set programming (ASP), can be used to elegantly and efficiently implement the key components of syntax based aspect extraction. Specifically, the well known double propagation (DP) method is implemented using 8 ASP rules that naturally model all key ideas in the DP method. Our experiment on a widely used data set also shows that the ASP implementation is much faster than a Java-based implementation. Syntactical approach has its limitation too. To further improve the performance of syntactical approach, we identify a set of general words from WordNet that have little chance to be an aspect and prune them when extracting aspects. The concept of general words and their pruning are concisely captured by 10 new ASP rules, and a natural extension of the 8 rules for the original DP method. Experimental results show a major improvement in precision with almost no drop in recall compared with those reported in the existing work on a typical benchmark data set. logic programming provides a convenient and effective tool to encode and thus test knowledge needed to improve the aspect extraction methods so that the researchers can focus on the identification and discovery of new knowledge to improve aspect extraction.
The ability to lazily manipulate long or infinite streams of data is an essential feature in the era of data-driven artificial intelligence. Yet, logic programming technologies currently fall short when it comes to ha...
详细信息
Determining which components are required for a system configuration, and whether they are compatible, can be a difficult task, especially in an industry with significant amounts of information that resides within a g...
详细信息
Recent work has shown how to use non-recursive Datalog as a programming language for view update strategies in relational databases. In this paper, we extend the idea by considering recursions in the Datalog language ...
详细信息
In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL-style rules are...
详细信息
ISBN:
(纸本)9783642358432
In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL-style rules are combined with logic rules for defining transformations. The proposal has been implemented so that a Prolog program is automatically obtained from a PTL program. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules.
Current agent architectures implementing the belief-desire-intention (BDI) model consider agents which respond reactively to internal and external events by selecting the first-available plan. Priority between plans i...
详细信息
The AEC sector is known to be highly fragmented, different experts requiring different information. Current BIM collaborative practices can be described as static as they are based on file exchange, mainly using IFC f...
详细信息
"Rules as Code"in this paper is used to refer to a proposed methodology of legislative and regulatory drafting.1 That legislation can be represented in declarative code for automation has long been recognize...
详细信息
暂无评论