this paper describes a proposal which extends Allen's interval algebra by adapting the formalism for dealing with binary relations involving time periods with uncertain boundaries. the extended formalism has been ...
详细信息
Deontic logicprogramming (DLP) is a framework combining deontic logic and non-monotonic logicprogramming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation ...
详细信息
Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. the obtained patterns require an interpretation that is usually achieved using some background kno...
详细信息
Knowledge Discovery consists in discovering hidden regularities in large amounts of data using data mining techniques. the obtained patterns require an interpretation that is usually achieved using some background knowledge given by experts from several domains. On the other hand, the rise of Linked Data has increased the number of connected cross-disciplinary knowledge, in the form of RDF datasets, classes and relationships. Here we show how Linked Data can be used in an inductivelogicprogramming process, where they provide background knowledge for finding hypotheses regarding the unrevealed connections between items of a cluster. By using an example with clusters of books, we show how different Linked Data sources can be used to automatically generate rules giving an underlying explanation to such clusters.
Capacity planning is a challenging issue for designing next generation optical core networks. this paper presents a fuzzy linear programming (FLP) approach for capacity planning in optical networks under long-term dem...
详细信息
ISBN:
(纸本)9781424477982
Capacity planning is a challenging issue for designing next generation optical core networks. this paper presents a fuzzy linear programming (FLP) approach for capacity planning in optical networks under long-term demand uncertainty where the information of traffic loads is imprecise by nature. the simplicity of fuzzy logic is integrated with linear programming for capacity planning in optical backbones. the uncertainties in demand matrix are represented by membership functions using alpha-cut concept to provide a mathematical framework for dealing with non statistical uncertainties. the proposed approach offers the ability of consideration all conditions for decision making in optical networks. Simulation results show the efficiency of fuzzy linear programming method for capacity planning in optical networks. the proposed approach could be extended for considering other uncertainty sources in capacity planning problem of optical networks such as objective function and constraints.
A key feature of ProPPR, a recent probabilistic logic language inspired by stochastic logic programs (SLPs), is its use of personalized PageRank for efficient inference. We adopt this view of probabilistic inference a...
详细信息
ISBN:
(数字)9783319237084
ISBN:
(纸本)9783319237084;9783319237077
A key feature of ProPPR, a recent probabilistic logic language inspired by stochastic logic programs (SLPs), is its use of personalized PageRank for efficient inference. We adopt this view of probabilistic inference as a random walk over a graph constructed from a labeled logic program to investigate the relationship between these two languages, showing that the differences in semantics rule out direct, generally applicable translations between them.
In this talk, I will consider some possible extensions to existing functional programming languages that would make them more suitable for the important and growing class of artificial intelligence applications. First...
详细信息
ISBN:
(纸本)9781595938152
In this talk, I will consider some possible extensions to existing functional programming languages that would make them more suitable for the important and growing class of artificial intelligence applications. First, I will motivate the need for these language extensions. then I will give some technical detail about these extensions that provide the logicprogramming idioms, probabilistic computation, and modal computation. Some examples will be given to illustrate these ideas which have been implemented in the Bach programming language that is an extension of Haskell.
the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their f...
详细信息
ISBN:
(纸本)9789897584749
the amount and variety of data that we produce every day pose a constant challenge for meaningful information processing. While knowledge graphs have gained a considerable attention in the recent years, due to their flexible and universal knowledge representation, they lack the mechanisms facilitating knowledge processing. In this paper, we propose an information system called extended knowledge graphs (EKG) that augments the concept of knowledge graphs with procedural attachments. We put forward the requirements and assumption of the EKG structure and present a categorisation of supported reasoning tasks.
Graphical languages are standard in the field of computer programming. Complex software development is best handled by graphically connecting pre-built, fully tested and highly specialized software components, instead...
详细信息
ISBN:
(纸本)9781424401208
Graphical languages are standard in the field of computer programming. Complex software development is best handled by graphically connecting pre-built, fully tested and highly specialized software components, instead of writing and debugging thousands of lines of code. Modern programming environments include complete libraries of such components. In the field of Programmable logic Controllers (PLCs), this is not the case. PLC programs can be developed using graphical languages, as Ladder Diagrams (LD) or Function Block Diagrams (FBD), but the standard libraries are very limited, so the programmer must develop his own libraries, building software objects from scratch. In this paper, a framework is presented for automatically building complex software modules using based on two key pillars: on the one hand, using object oriented concepts as encapsulation, inheritance and generic programming, and, in the other one, closely following the physical model of the objects used in building electrical control cabinets (ECBs).
the paper presents the concept of a declarative approach to decision support for sustainable supply chain (SSC) problems. this approach proposed here combines the strengths of mathematical programming (MP) and constra...
详细信息
ISBN:
(纸本)9783319196381;9783319196374
the paper presents the concept of a declarative approach to decision support for sustainable supply chain (SSC) problems. this approach proposed here combines the strengths of mathematical programming (MP) and constraint logicprogramming (CLP), which leads to a significant reduction in the search time necessary to find the solution, and allows solving larger problems. It also presents the implementation of the proposed approach in the form of the declarative decision support platform (DDSP). the DDSP allows the implementation of complete decision-making models, constraints as well as a set of questions for these models. the illustrative examples presented in the paper illustrate efficiency and possibilities of this approach.
One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program....
详细信息
ISBN:
(纸本)9789897584176
One of the main challenges of computing education is the teaching of computer programming. Technical skills related to algorithm logic, programming language syntax, and computational platforms are required to program. In addition, several non-technical skills are required, enabling the student to understand and to interpret real problems, to work in groups and to strive for effective and efficient solutions. To meet these challenges, innovative teaching methodologies have been applied in teaching programming, building learning environments that are more conducive to the development of these skills. In order to understand how these methodologies are being used, this work presents the result of a systematic literature review, motivated by the following research question: "What are the innovative teaching and learning approaches to programming, how are they applied and what are the main results of their application? In this study, we considered three digital libraries and found 24 primary studies, following the Kitchenham methodology. these studies were categorized into 6 groups and highlighted challenges related to the problems addressed, teaching environment, content, human capital involved and assessment process. the studies also showed evidence of success cases, as well as open paths for new research.
暂无评论