We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. these atomic programs are combined by...
详细信息
ISBN:
(纸本)9783642405648
We extend the language of here-and-there logic by two kinds of atomic programs allowing to minimally update the truth value of a propositional variable here or there, if possible. these atomic programs are combined by the usual dynamic logic program connectives. We investigate the mathematical properties of the resulting extension of equilibrium logic: we prove that the problem of logical consequence in equilibrium models is EXPTIME complete by relating equilibrium logic to dynamic logic of propositional assignments.
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiograph...
ISBN:
(纸本)9781450385107
the proceedings contain 10 papers. the topics discussed include: analysis of dynamics and stability of hybrid system models of gene regulatory networks;pulmonary artery visualization for computed tomography angiography data of pulmonary embolism;testing the effectiveness of CNN and GNN and exploring the influence of different channels on decoding covert speech from EEG signals: CNN and GNN on decoding covert speech from EEG signals;deep learning-based approach for corneal ulcer screening;validating ontology-based annotations of biomedical resources using zero-shot learning;the effect of PreTraining thoracic disease detection systems on large-scale chest x-ray domain datasets;inference of gene networks from single cell data through quantified inductivelogicprogramming;detection of markers for discrete phenotypes;optimization algorithm for omic data subspace clustering;and spatio-temporal evolution of cellular automata based single nephron rigid tubular model.
Markov logic is a knowledge-representation language that allows one to specify large graphical models. However, the resulting large graphical models can make inference for Markov logic a computationally challenging pr...
详细信息
ISBN:
(纸本)9781467346498;9780769549057
Markov logic is a knowledge-representation language that allows one to specify large graphical models. However, the resulting large graphical models can make inference for Markov logic a computationally challenging problem. Recently, dual decomposition (DD) has become a popular approach for scalable inference on graphical models. We study how to apply DD to scale up inference in Markov logic. A standard approach for DD first partitions a graphical model into multiple tree-structured subproblems. We apply this approach to Markov logic and show that DD can outperform prior inference approaches. Nevertheless, we observe that the standard approach for DD is suboptimal as it does not exploit the rich structure often present in the Markov logic program. thus, we describe a novel decomposition strategy that partitions a Markov logic program into parts based on its structure. A crucial advantage of our approach is that we can use specialized algorithms for portions of the input problem some of which have been studied for decades, e. g., coreference resolution. Empirically, we show that our program-level decomposition approach outperforms both non-decomposition and graphical model-based decomposition approaches to Markov logic inference on several data-mining tasks.
In this paper we present a technique based on logicprogramming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a...
详细信息
ISBN:
(纸本)9783642405648
In this paper we present a technique based on logicprogramming for data cleaning, and its application to a real use case from the Italian Healthcare System. the use case is part of a more complex project developing a business intelligence suite for the analysis of distributed archives of tumor-based diseases.
the proceedings contain 153 papers. the topics discussed include: enhancing English vocabulary learning via computerized adaptive testing;knowledge system modeling in MOOC;knowledge system modeling in MOOC;synchronize...
ISBN:
(纸本)9781509025084
the proceedings contain 153 papers. the topics discussed include: enhancing English vocabulary learning via computerized adaptive testing;knowledge system modeling in MOOC;knowledge system modeling in MOOC;synchronized uml diagrams for object-oriented program comprehension;a unified approach to automate the usage of plagiarism detection tools in programming courses;a unified approach to automate the usage of plagiarism detection tools in programming courses;digital logic experiment teaching based on experimental platform;and research and development of intelligent online examination monitoring system.
logicprogramming emerged in the 1970s from debates concerning procedural versus declarative representations of knowledge in artificial intelligence. In those days, declarative representations were associated mainly w...
详细信息
ISBN:
(纸本)9783642405648
logicprogramming emerged in the 1970s from debates concerning procedural versus declarative representations of knowledge in artificial intelligence. In those days, declarative representations were associated mainly with bottom-up proof procedures, such as hyper-resolution. the development of logicprogramming showed that procedural representations could be obtained by applying top-down proof procedures, such as linear resolution, to declarative representations in logical form. In recent years, logicprogramming has become more purely declarative, withthe development of answer set programming, tabling and the revival of data-log. these recent developments invite comparison with earlier attempts to reconcile procedural and declarative representations of knowledge, and raise the question whether anything has been lost.
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using...
详细信息
ISBN:
(纸本)9781665425483
In this paper, an isolated microgrid composed of three households is considered. the centralised approach based on fuzzy logic is used to provide local control of the households, whereas the microgrid is managed using multi-agent systems. the concept of collaborative microgrids is introduced using multiagent systems, where each household contributes to the microgrid stability and strengthening. In addition, stability and dynamic analysis are performed in order to check the microgrid behaviour against faults. the proposed strategy emphasises storage decentralization, programming facilities for the designer. the results show that this approach is perfectly valid for isolated communities. Furthermore, the microgrid stability is maintained even in a faulty regime.
Ensembles have proven useful for a variety of applications, with a variety of machine learning approaches. While Quinlan has applied boosting to FOIL, the widely-used approach of bagging has never been employed in ILP...
详细信息
ISBN:
(纸本)9783540005674
Ensembles have proven useful for a variety of applications, with a variety of machine learning approaches. While Quinlan has applied boosting to FOIL, the widely-used approach of bagging has never been employed in ILP. Bagging has the advantage over boosting that the different members of the ensemble can be learned and used in parallel. this advantage is especially important for ILP where run-times often are high. We evaluate bagging on three different application domains using the complete-search ILP system, Aleph. We contrast bagging with an approach where we take advantage of the non-determinism in ILP search, by simply allowing Aleph to run multiple times, each time choosing "seed" examples at random.
this study reports experimentally a novel sub-10V 4-bit/cell nanowire silicon-oxide-nitride-oxide-silicon (SONOS) memory cell for use in nonvolatile NAND Flash memories. Applying metallic Schottky barrier source/drain...
详细信息
ISBN:
(纸本)9781467322003
this study reports experimentally a novel sub-10V 4-bit/cell nanowire silicon-oxide-nitride-oxide-silicon (SONOS) memory cell for use in nonvolatile NAND Flash memories. Applying metallic Schottky barrier source/drain in the silicon gate-all-around nanowire SONOS cells enables the multi-level 4-bit/cell SONOS memory to operate at sub-10V gate voltages using efficient electron programming and hole erasing through Fowler-Nordheim mode tunneling. Examples of 2-bit/cell, 3-bit/cell, and 4-bit/cell applications in this Schottky barrier nanowire SONOS memory cell are demonstrated with multi-level electron programming. Reliability characterization confirms these multi-bit cells to operate well after 10K cycling endurance and 125 degrees C high temperature retention stress.
this paper describes a knowledge-based scalable multimedia environment for graph based modeling and the design of complex objects over the Internet. A complex object is modeled as a directed hierarchical graph with ea...
详细信息
ISBN:
(纸本)076950910X
this paper describes a knowledge-based scalable multimedia environment for graph based modeling and the design of complex objects over the Internet. A complex object is modeled as a directed hierarchical graph with each sub-component abstracted as a node and the shared parameters between two components as an edge. the knowledge base archives and retrieves reusable components, and integrates multiple simultaneous distributed numeric simulations of components over the Internet. the tool exploits heterogeneous associative logicprogramming [I] and has been implemented using CORBA to exploit heterogeneity and user transparent distributed object-based completing. Java has been used for an architecture independent graphical user interface accessible via the World Wide Web. the design is visualized using XML extended to visualize graph-based multimedia objects over the Internet.
暂无评论