In this paper the authors describe their approach towards motivating students in the learning of logic programming is given. The focus here of the authors is on real world applications. Nowadays, where internet applic...
详细信息
ISBN:
(纸本)9781467352611
In this paper the authors describe their approach towards motivating students in the learning of logic programming is given. The focus here of the authors is on real world applications. Nowadays, where internet applications are still a hot topic, the development of projects related to internet applications are quite strongly motivated. Unfortunately, many of the resources used in logic programming that help us to explore the development of programs for internet purposes are not so freely available. The authors therefore had to develop much of the material used in order to be understood by first year university students, who were in fact the target group. Preliminary results showed an augmented interest in the learning of such concepts and as a result an increase in the pass rate was achieved.
Specific occupational construction safety, health, and well-being related knowledge and information are scattered and fragmented. Despite technological advancements of information and knowledge management, a link betw...
详细信息
Specific occupational construction safety, health, and well-being related knowledge and information are scattered and fragmented. Despite technological advancements of information and knowledge management, a link between safety management and information models is still missing. In this paper we present first steps towards a unifying formal (logic-based) domain model of construction safety, called SafeConDM, that consists of: (1) a semantically rich ontology of hazard, safety concepts, and concept relationships that builds on, and integrates with, existing construction safety ontologies and building information models;(2) a set of first-order if-then rules linking construction site states with the potential for specific hazards to occur that we define in a novel way using spatial artefacts. We present a prototype software tool, based on our ASP4BIM tool that implements SafeConDM for construction hazard analysis and safe construction planning decision support, and empirically evaluate our tool on three real-world construction building models.
In this paper I explore a further option for solving B constraints. In particular, I develop a framework translating B predicates to s(CASP), a goal-directed form of Answer Set programming. Furthermore, the presented ...
详细信息
Inspired by recent research in explainable planning, we investigate the model reconciliation problem between two logic programs πa and πh, which represent the knowledge bases of an agent and a human, respectively. G...
详细信息
The combination of the expressiveness of Probabilistic logic programming with the possibility of managing constraints between random variables allows users to develop simple yet powerful models to describe many real-w...
详细信息
logic programming languages based on first-order terms (FOTs) have been extended with a similarity relation on functor symbols in order to perform approximate reasoning, which may allow flexible querying and retrieval...
详细信息
logic-based languages, such as Datalog and Answer Set programming, have been recently put forward as a data-centric model to effectively specify and implement network services and protocols, seeing them as dynamic sys...
详细信息
Since its very beginnings, AI has more or less developed in parallel with two lines of research method paradigms. The first paradigm could be called statistical (pattern recognition, machine learning, also deep learni...
详细信息
ISBN:
(纸本)9789532330953
Since its very beginnings, AI has more or less developed in parallel with two lines of research method paradigms. The first paradigm could be called statistical (pattern recognition, machine learning, also deep learning, which in the last few years has entered quite a vibrant phase of development). The second paradigm can be called logical. It (mostly) deals with automatic deduction systems and tool development in the environment of corresponding formal methods, which in particular encompass formal logic calculi. This paradigm partially uses these systems for the requirements of modelling and solving problems from the AI domain. There are many logic calculi that have found their application in modelling and solving a wide range of AI problems. These range from classical propositional calculi, their fragments (such as calculi of functional and multivalued dependencies, without which the relational data model wouldn't be possible), intuitionistic propositional logic and its many fragments and variants, superintuitionistic logics, multiple valued logics (Lukasiewicz logics), discrete as well as continuous, systems of modal propositional logics, first order predicate calculus (logic) and its variants, second order predicate logic, F-logic etc. In addition to these, we cannot avoid mentioning a whole spectrum of contextual domain logics such as fuzzy logics. Many of the logic calculi mentioned above have themselves become foundations for building logic programming languages such as Prolog (and its relatives), hybrid programming languages and tools. Next to the logic component, they encompass classical linear programming (constraint logic programming languages) and also specialized tools such as SAT-solvers, languages that implement 2nd order predicate logic (HiLog) or tools such as Coq. Coq is based on a fragment of lambda calculus that for the last thirty years has been developed by INRIA, the world renowned computer science institute based in France. Through this prese
Refactoring is modifying a program without changing its external behavior. In this paper, we make the concept of external behavior precise for a simple answer set programming language. Then we describe a proof assista...
详细信息
Probabilistic programming can be conceptually seen as generalisation of logic programming where instead of just returning a set of answers to a given query, we also return a probability distribution over those answers...
详细信息
暂无评论