检索结果-内蒙古大学图书馆

15th international conference on Hybrid Intelligent Systems, HIS 2015

ISBN: (纸本)9783319272207

the proceedings contain 26 papers. the special focus in this conference is on Hybrid Intelligent Systems. the topics include: Extracting association rules from a retail database;quantum cryptography trends: a milestone in information security;multi-zone building control system for energy and comfort management;combining artificial bee colony algorithm and evolution strategies on engineering design problems and benchmark functions;system essence of intelligence and multi-agent existential mappings;a type-2 fuzzy concepts lexicalized representation by perceptual reasoning and linguistic weighted average;bimodality streams integration for audio-visual speech recognition systems;similarity-based trust management system;reverse engineering of time-delayed gene regulatory network using restricted gene expression programming;new rules to enhance the performances of histogram projection for segmenting small-sized Arabic words;analyzing genetic algorithm with game theory and adjusted crossover approach on engineering problems;an intelligent system for road moving object detection;towards improvement of multinomial classification accuracy of neuro-fuzzy for digital forensics applications;multi-agent architecture for visual intelligent remote healthcare monitoring system;knowledge visualization model for intelligent dynamic decision-making;experimental analysis of a hybrid reservoir computing technique;face recognition using HMM-LBP;a novel security architecture based on multi-level rule expression language;on analysis and visualization of twitter data;heuristic and exact approach for the close enough ridematching problem;study on inverse dynamics of full-body powered pseudo-anthropomorphic exoskeleton using neural networks and comparison between sat-based and CSP-based approaches to resolve pattern mining problems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Large-Scale reasoning over Functions in Biomedical Ontologies 9

Large-Scale Reasoning over Functions in Biomedical Ontologie...

引用

9th international conference on Formal Ontology in Information Systems (FOIS)

作者： Hoehndorf, Robert Mencel, Liam Gkoutos, Georgios V. Schofield, Paul N. King Abdullah Univ Sci & Technol Comp Elect & Math Sci & Engn Div Computat Biosci Res Ctr 4700 KAUST Thuwal 239556900 Saudi Arabia Univ Birmingham Ctr Computat Biol Inst Canc & Genom Sci Coll Med & Dent Sci Birmingham B15 2TT W Midlands England Univ Hosp Birmingham NHS Fdn Trust Inst Translat Med Birmingham B15 2TT W Midlands England Univ Cambridge Dept Physiol Dev & Neurosci Downing St Cambridge CB2 3EG England

ISBN: (纸本)9781614996606;9781614996590

A large number of biomedical resources have been developed to represent the functions of biological entities, and these resources are widely used for data integration and analysis. Expressing functions in biomedical ontologies currently uses formal representation patterns that renders basic reasoning tasks to fall in complexity classes beyond polynomial time, thereby limiting the potential of using knowledge-based methods for data integration, querying or quality control. Here, we propose an alternative representation pattern for expressing knowledge about biological functions, together with a biological and ontological justification, which can be expressed using the description logic EL++ and implemented using the OWL 2 EL profile. To demonstrate the utility of our account of biological functions, we apply it to all proteins contained in the SwissProt database and evaluate its utility with respect to answering complex queries as well with respect to the classification and query times.

关键词： protein biological function tractable reasoning Big Ontologies

来源：评论

学校读者我要写书评

暂无评论

19th international conference on Princiles and Practice of Multi-Agent Systems, PRIMA 2016

19th International Conference on Princiles and Practice of M...

引用

19th international conference on Princiles and Practice of Multi-Agent Systems, PRIMA 2016

ISBN: (纸本)9783319448312

the proceedings contain 27 papers. the special focus in this conference is on Early Innovation Short Papers and Social Science Extended Abstracts. the topics include: Intercultural collaboration and support systems: a brief history;argumentation for practical reasoning;an axiomatic approach;argumentation-based semantics for logic programs with first-order formulae;resistance to corruption of general strategic argumentation;spread of cooperation in complex agent networks based on expectation of cooperation;semantic reasoning with uncertain information from unreliable sources;a collaborative framework for 3D mapping using unmanned aerial vehicles;heuristics on the data-collecting robot problem with immediate rewards;verifying real-time properties of multi-agent systems via SMT-based bounded model checking;balancing rationality and utility in logic-based argumentation with classical logic sentences and belief contraction;individually rational strategy-proof social choice with exogenous indifference sets;offer evaluation and trade-off making in automated negotiation based on intuitionistic fuzzy constraints;analyzing topics and trends in the prima literature;sequence semantics for normative agents;revenue maximizing markets for zero-day exploits;distant group responsibility in multi-agent systems;competitive VCG redistribution mechanism for public project problem;coalition structure formation using anytime dynamic programming;demand response integration through agent-based coordination of consumers in virtual power plants;a multi agent system for understanding the impact of technology transfer offices in green-IT;modeling organizational and institutional aspects in renewable and natural resources management context and generalising social structure using interval type-2 fuzzy sets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Learning and reasoning with logic tensor networks

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in artificial intelligence and Lecture Notes in Bioinformatics) 2016年 10037 LNAI卷 334-348页

作者： Serafini, Luciano d’Avila Garcez, Artur S. Fondazione Bruno Kessler Trento Italy City University London London United Kingdom

ISBN: (纸本)9783319491295

the paper introduces real logic: a framework that seamlessly integrates logical deductive reasoning with efficient, data-driven relational learning. Real logic is based on full first order language. Terms are interpreted in n-dimensional feature vectors, while predicates are interpreted in fuzzy sets. In real logic it is possible to formally define the following two tasks: (i) learning from data in presence of logical constraints, and (ii) reasoning on formulas exploiting concrete data. We implement real logic in an deep learning architecture, called logic tensor networks, based on Google’s TENSORFLOW™ primitives. the paper concludes with experiments on a simple but representative example of knowledge completion. © Springer international Publishing AG 2016.

关键词： Tensors

来源：评论

学校读者我要写书评

暂无评论

logic for programming, artificial intelligence, and reasoning - 19th international conference, LPAR 2013, Proceedings

Logic for Programming, Artificial Intelligence, and Reasonin...

引用

19th international conference on logic for programming, artificial intelligence, and reasoning, LPAR 2013

ISBN: (纸本)9783642452208

the proceedings contain 52 papers. the topics discussed include: an algorithm for enumerating maximal models of horn theories with an application to modal logics;may-happen-in-parallel analysis for priority-based scheduling;a semantic basis for proof queries and transformations;expressive path queries on graphs with data;dynamic and static symmetry breaking in answer set programming;resourceful reachability as HORN-LA;comparison of LTL to deterministic Rabin automata translators;towards rational closure for fuzzy logic: the case of propositional Gödel logic;multi-objective discounted reward verification in graphs and MDPs;complexity analysis in presence of control operators and higher-order functions;Zenon Modulo: when Achilles outruns the tortoise using deduction modulo;long-distance resolution: proof generation and strategy extraction in search-based QBF solving;and a proof of strong normalisation of the typed atomic lambda-calculus.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the application of answer set programming to the conference paper assignment problem

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in artificial intelligence and Lecture Notes in Bioinformatics) 2016年 10037 LNAI卷 164-178页

作者： Amendola, Giovanni Dodaro, Carmine Leone, Nicola Ricca, Francesco Department of Mathematics and Computer Science University of Calabria Rende Italy

ISBN: (纸本)9783319491295

Among the tasks to be carried out by conference organizers is the one of assigning reviewers to papers. that problem is known in the literature as the conference Paper Assignment Problem (CPAP). In this paper we approach the solution of a reasonably rich variant of the CPAP by means of Answer Set programming (ASP). ASP is an established logic-based programming paradigm which has been successfully applied for solving complex problems arising in artificial intelligence. We show how the CPAP can be elegantly encoded by means of an ASP program, and we analyze the results of an experiment, conducted on real-world data, that outlines the viability of our solution. © Springer international Publishing AG 2016.

关键词： Problem solving

来源：评论

学校读者我要写书评

暂无评论

12th international conference on Integrated Formal Methods, IFM 2016

引用

12th international conference on Integrated Formal Methods, IFM 2016

ISBN: (纸本)9783319336923

the proceedings contain 33 papers. the special focus in this conference is on Program Verification and Probabilistic Systems. the topics include: Symbolic computation and automated reasoning for program analysis;perspectives of model transformation reuse;on type checking delta-oriented product lines;modelling and verifying a priority scheduler for an SCJ runtime environment;translating between intermediate verification languages;statistical approximation of optimal schedulers for probabilistic timed automata;probabilistic formal analysis of app usage to inform redesign;extension of PRISM by synthesis of optimal timeouts in fixed-delay CTMC;monitoring multi-threaded component-based systems;a generalised theory of interface automata, component compatibility and error;on implementing a monitor-oriented programming framework for actor systems;towards a thread-local proof technique for starvation freedom;reasoning about inheritance and unrestricted reuse in object-oriented concurrent systems;a formal model of the safety-critical java level 2 paradigm;deciding monadic second order logic over x-words by specialized finite automata;property preservation for extension patterns of state transition diagrams;symbolic reachability analysis of B through PROB and LTSMIN;enhancing automata learning by log-based metrics;refactoring of legacy software using model learning and equivalence checking;efficient deadlock-freedom checking using local analysis and SAT solving;SMT solvers for validation of B and event-B models;avoiding medication conflicts for patients with multimorbidities;temporal random testing for spark streaming and combining static analysis and testing for deadlock detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

logical consensuses for case-based reasoning and for mathematical engineering of AI

Logical consensuses for case-based reasoning and for mathema...

引用

IEEE international conference on Cognitive Informatics

作者： Éric Grégoire Jean-Marie Lagniez Du Zhang Faculty of Information Technology Macau University of Science and Technology (MUST) Av. Wai Long Taipa Macau CRIL Univ. Artois & CNRS Lens France

ISBN: (纸本)9781509038473

We claim that computing forms of consensus among several agents about their solutions to past problems can play a useful pre-treatment role in case-based reasoning. Intuitively, we define a consensus as a subset of the plain accumulation of all the agents' individual past discovered solutions such that every agent can agree on all the information in this subset. A consensus can be expected to form a more reliable basis for further re-use or generalization than the knowledge from which it is extracted. We define various forms of logical consensus in this context: the focus is on computational issues about the automated extraction of consensuses in an extended Boolean logic setting.

关键词： Electric breakdown Cognition Context artificial intelligence Reliability Lenses Computer science

来源：评论

学校读者我要写书评

暂无评论

reasoning about multiple aspects in rational closure for DLs

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in artificial intelligence and Lecture Notes in Bioinformatics) 2016年 10037 LNAI卷 392-405页

作者： Gliozzi, Valentina Dipartimento di Informatica Center for Logic Language and Cognition Università di Torino Turin Italy

ISBN: (纸本)9783319491295

We propose a logical analysis of the concept of typicality, central in human cognition (Rosch 1978). We start from a previously proposed extension of the basic Description logic ALC with a typicality operator T that allows to consistently represent the attribution to classes of individuals of properties with exceptions (as in the classic example (i) typical birds fly, (ii) penguins are birds but (iii) typical penguins don’t fly). We then strengthen this extension in order to separately reason about the typicality with respect to different aspects (e.g., flying, having nice feather: in the previous example, penguins may not inherit the property of flying, for which they are exceptional, but can nonetheless inherit other properties, such as having nice feather). © Springer international Publishing AG 2016.

关键词： Birds

来源：评论

学校读者我要写书评

暂无评论

Answer set enumeration via assumption literals

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in artificial intelligence and Lecture Notes in Bioinformatics) 2016年 10037 LNAI卷 149-163页

作者： Alviano, Mario Dodaro, Carmine 87036 Italy

ISBN: (纸本)9783319491295

Modern, efficient Answer Set programming solvers implement answer set search via non-chronological backtracking algorithms. the extension of these algorithms to answer set enumeration is nontrivial. In fact, adding blocking constraints to discard already computed answer sets is inadequate because the introduced constraints may not fit in memory or deteriorate the efficiency of the solver. On the other hand, the algorithm implemented by CLASP, which can run in polynomial space, requires invasive modifications of the answer set search procedure. the algorithm is revised in this paper so as to make it almost independent from the underlying answer set search procedure, provided that the procedure accepts as input a logic program and a list of assumption literals, and returns either an answer set (and associated branching literals) or an unsatisfiable core. the revised algorithm is implemented in wasp, and compared empirically to the state of the art solver CLASP. © Springer international Publishing AG 2016.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：