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

13th Mexican international conference on Artificial Intelligence, MICAI 2014

作者： Acosta-Guadarrama, Juan Carlos Dávila-Pérez, Rogelio Osorio, Mauricio Zaldivar, Victor Hugo Universidad Autónoma del Estado de México TolucaEstado de México Mexico División de Posgrado Universidad Autónoma de Guadalajara ZapopanJal Mexico Universidad de las Américas. Puebla CholulaPuebla Mexico Departamento de Electrónica Sistemas e Informática Instituto Tecnológico y de Estudios Superiores de Occidente TlaquepaqueJal Mexico

ISBN: (纸本)9783319136462

Metaphors are natural language constructions that play an important role in the way human beings communicate knowledge and understand the world. Some formal philosophers such as Searle and Lakoff claim that the semantic analysis of expressions that involve fictional stories and metaphors are examples of the inadequacy of using predicate logic for the analysis of the meaning of language. D’Hanis proposes that using predicate logic in combination of non-monotonic reasoning is possible to interpret metaphorical expressions. In this paper, we introduce an approach for modelling metaphorical thinking using a particular form of logic programming called answer set programming (ASP). ASP essentially enhances the logical apparatus of predicate calculus by introducing mechanisms such as negation as a failure that enable the system to accomplish non-monotonic reasoning. We show that using ASP is possible to model the meaning of some expressions involving metaphorical constructions and the implementation of metaphorical reasoning mechanisms that could be a great addition to any knowledge-based application. © Springer international Publishing Switzerland 2014.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Hardware design with a scripting language

Hardware design with a scripting language

引用

13th international conference on Field-Programmable logic and Applications (FPL 2003)

作者： Haglund, P Mencer, O Luk, W Tai, B Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2BZ England

ISBN: (纸本)3540408223

the Python Hardware Description Language (PyHDL) provides a scripting interface to object-oriented hardware design in C++. PyHDL uses the PamDC and PAM-Blox libraries to generate FPGA circuits. the main advantage of scripting languages is a reduction in development time for high-level designs. We propose a two-step approach: first, use scripting to explore effects of composition and parameterisation;second, convert the scripted designs into compiled components for performance. Our results show that, for small designs, our method offers 5 to 7 times improvement in turnaround time. For a large 10x10 matrix vector multiplier, our method offers respectively 365% and 19% improvement in turnaround time over purely scripting and purely compiled methods.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Parallel Processing and Applied Mathematics 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Roman Wyrzykowski Konrad Karczewski Ewa Deelman Jack Dongarra

ISBN: (数字)9783030432294

ISBN: (纸本)9783030432287

the two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th international conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 2019.;Chapters "Parallel Adaptive Cross Approximation for the Multi-trace Formulation of Scattering Problems" and "A High-Order Discontinuous Galerkin Solver with Dynamic Adaptive Mesh Refinement to Simulate Cloud Formation Processes" are available open access under a Creative Commons Attribution 4.0 international License via ***.

关键词： Software Engineering Computer Systems Organization and Communication Networks Input/Output and Data Communications logic Design Mathematics of Computing programming Techniques

来源：评论

学校读者我要写书评

暂无评论

High Performance Computing 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rio Yokota Michèle Weiland John Shalf Sadaf Alam

ISBN: (数字)9783030024659

ISBN: (纸本)9783030024642

this book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd international ISC High Performance 2018 conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-IODC 2018; Workshop on Performance and Scalability of Storage Systems, WOPSSS 2018; 13th Workshop on Virtualization in High-Performance Cloud Computing, VHPC 2018; third international Workshop on In Situ Visualization, WOIV 2018; 4th international Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, ExaComm 2018; international Workshop on OpenPOWER for HPC, IWOPH 2018; IXPUG Workshop: Many-Core Computing on Intel Processors; Workshop on Sustainable Ultrascale Computing Systems; Approximate and Transprecision Computing on Emerging Technologies, ATCET 2018; First Workshop on the Convergence of Large-Scale Simulation and Artificial Intelligence; third Workshop for Open Source Supercomputing, OpenSuCo 2018; First Workshop on Interactive High-Performance Computing; Workshop on Performance Portable programming Models for Accelerators, P^3MA 2018.;the 53 full papers included in this volume were carefully reviewed and selected from 80 submissions. they cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.

关键词： Computer Systems Organization and Communication Networks Input/Output and Data Communications logic Design programming Languages, Compilers, Interpreters programming Techniques Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Application of Fuzzy Systems and Soft Computing, ICAFS 2018

13th International Conference on Application of Fuzzy System...

引用

13th international conference on Application of Fuzzy Systems and Soft Computing, ICAFS 2018

ISBN: (纸本)9783030041632

the proceedings contain 127 papers. the special focus in this conference is on Application of Fuzzy Systems and Soft Computing. the topics include: Investigation of the “input-output” model of the azerbaijani economy in interval information conditions;forecasting oil and gas reservoirs properties using of fuzzy-logic based methods;application of the combined state concept to behavioral investment decisions under interval-valued information;prediction of mechanical lower back pain for healthcare workers using ann and logistic regression models;optimization of agricultural land use on the basis of mathematical methods of financial analysis and the theory of fuzzy sets;deep learning for lung lesion detection;a mobile application to teach coding and computational thinking in scratch programming language;study of the uncertainty heterogeneous phase equilibria areas in the binary ybte-snte alloy system;decision making in investment problem by using self-confidence based preference relation;Global stability analysis of HIV+ model;comparative analysis of artificial intelligence based methods for prediction of precipitation. case study: North cyprus;a new compound function-based Z-number valued clustering;determination of quality of plastic details under interval uncertainty;application of cloud technologies for optimization of complex processes of industrial enterprises;decision-making on restriction of water inflows into oil wells in dependence on the type of initial information;classification of hard-to-recover hydrocarbon reserves of kazakhstan with the use of fuzzy cluster-analysis;knowledge-based planning for industrial automation systems: the way to support decision making;logical-linguistic model of functioning of computer systems’ software;a novel technique to solve fully fuzzy nonlinear matrix equations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

13th international conference on Application and theory of Petri Nets, 1992

引用

13th international conference on Application and theory of Petri Nets, 1992

ISBN: (纸本)9783540556763

the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal methods;place bisimulations in petri nets;a polynomial-time graph algorithm to decide liveness of some basic classes of bounded petri nets;refinement and simulation of nets - a categorical characterisation;scheduling hard real time systems using high-level petri nets;towards a modular analysis of coloured petri nets;a proof of the rank theorem for extended free choice nets;on the product form solution for stochastic petri nets;obtaining deadlock-preserving skeletons for coloured nets;formal verification of an arbiter cascade;constructs for modeling information systems with petri nets;construction of a class of safe petri nets by presenting firing sequences;an efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets;hierarchical solution of generalized stochastic petri nets by means of traffic processes;concurrency relations and the safety problem for petri nets;high-level nets and linear logic;liveness and boundedness analysis for petri nets with event graph modules;on weighted T-systems;using petri nets to develop programs for PLC systems;modelling and control of complex logistic systems for manufacturing;analysis of an ada system using coloured petri nets and occurrence graphs;the stubborn set method in practice and modeling fine grain computation via the fusion of two extended petri nets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022

4th EAI International Conference on Artificial Intelligence ...

引用

4th EAI international conference on Artificial Intelligence for Communications and Networks, AICON 2022

ISBN: (纸本)9783031291258

the proceedings contain 13 papers. the special focus in this conference is on Artificial Intelligence for Communications and Networks. the topics include: A Research of Infectivity Rate of Seasonal Influenza from Pre-infectious Person for Data Driven Simulation;creating Trust Within Population of Evolutionary Computation in an Uncertain Environment Using Blockchain;efficient inductive logic programming Based on Particle Swarm Optimization;fault Diameter of Strong Product Graph of Two Paths;Design and Implementation of SF Selection Based on Distance and SNR Using Autonomous Distributed Reinforcement Learning in LoRa Networks;QBRT: Bias and Rising threshold Algorithm with Q-Learning: Implementation of the Tower of Hanoi;A Study on Effectiveness of BERT Models and Task-Conditioned Reasoning Strategy for Medical Visual Question Answering;deep Robust Neural Networks Inspired by Human Cognitive Bias Against Transfer-based Attacks;efficient Estimation of Cow’s Location Using Machine Learning Based on Sensor Data;A Time Series Forecasting Method Using DBN and Adam Optimization;unity-Bounded Function and Benchmark Design Specifications Targeted for Designing Typical Variable Digital Filters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Discovering coherence and justification clusters in digital transcripts using epistemic analysis 11

Discovering coherence and justification clusters in digital ...

引用

Proceedings of the 13th international conference on Artificial Intelligence and Law

作者： Hughes, Cameron Hughes, Tracey Lazar, Alina Ctest Laboratories One University Plaza Youngstown OH 44555 United States Youngstown State University One University Plaza Youngstown OH 44555 United States

ISBN: (纸本)9781450307550

We are investigating the potential use of trial transcripts as sources of social knowledge for epistemic agents. But we are immediately faced with the reality that not all transcripts are equal. the quality of the transcripts will be partially related to the knowledge, consistency, and integrity of the individuals that testify during the course of the trial, and related to the nature and sophistication of the questions. Before we can determine whether a transcript will be useful as a knowledge source for an epistemic agent, we have to identify the consistency and quality of the knowledge present in the transcript. Coherence clusters demarcate the network of positively and negatively related propositions in the transcript. the justification clusters define the subcluster of propositions that support or justify other propositions in a coherence cluster. these clusters can be used to determine the nature of the consistency of the knowledge potentially present in the transcript. In this paper, we show how these clusters are identified using epistemic analysis. Our goals is to use these clusters as the basis for an epistemic metric used to determines the quality propositional knowledge present in a transcript. © 2011 Authors.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

An Instance Based Model for Scalable θ-Subsumption

引用

international JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS 2018年第7期27卷

作者： Leger, Hippolyte Bouthinon, Dominique Lebbah, Mustapha Azzag, Hanene Univ Paris 13 LIPN UMR CNRS 7030 99 Ave Jean Baptiste Clement F-93430 Villetaneuse France

the theta-subsumption test is known to be a bottleneck in inductive logic programming. the state-of-the-art learning systems in this field are hardly scalable. Last year, we have created a distributed theta-subsumption process based on an Actor Model, with the aim of being able to decide subsumption on very large clauses. this model was correct and complete, but was also very slow. this is why we introduce ANTS (Actor Network based theta-Subsumption), a new model also based on an actor network, which is significantly faster than the previous one.

关键词： theta-subsumption inductive logic programming actor model distributed computing Akka

来源：评论

学校读者我要写书评

暂无评论

Towards a logical Model of Induction from Examples and Communication

Towards a Logical Model of Induction from Examples and Commu...

引用

13th international conference of the Catalan-Association-for-Artificial-Intelligence (CCIA)

作者： Ontanon, Santiago Dellunde, Pilar Godo, Lluis Plaza, Enric CSIC Spanish Council Sci Res IIIA Artificial Intelligence Res Inst Campus UAB Bellaterra 08193 Catalonia Spain CSIC IIIA Artificial Intelligence Res Inst Madrid Spain Univ Autonoma Barcelona E-08193 Barcelona Spain

ISBN: (纸本)9781607506430;9781607506423

this paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypothesis can be induced from sets of examples, and show its properties. Moreover, we will also consider the problem of communicating inductive inferences between two agents, which corresponds to the multi-agent ICL problem. thanks to the introduced logical model of induction, we will show that this communication can be modeled using computational argumentation.

关键词： Induction logic Argumentation Machine Learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：