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

3rd international workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024

作者： Rocha, Filipe Marinho Dutra, Inês Costa, Vítor Santos Reis, Luís Paulo Faculdade de Ciências da Universidade do Porto Rua do Campo Alegre Porto4169-007 Portugal Faculdade de Engenharia da Universidade do Porto Rua Dr. Roberto Frias Porto4200-465 Portugal INESCTEC Campus da FEUP Rua Dr. Roberto Frias Porto4200-465 Portugal LIACC FEUP Rua Dr. Roberto Frias Porto4200-465 Portugal

ISBN: (纸本)9783031893650

The Abstraction and Reasoning Corpus (ARC) is a general artificial intelligence benchmark that is currently unsolvable by any Machine Learning method. It demands strong generalization and reasoning capabilities, which are known to be weaknesses of Neural Network-based systems. In this work, we propose a Program synthesis system to solve ARC, Induce logic Programs for Abstract Reasoning (ILPAR), which casts an ARC problem as a sequence of Inductive logic programming (ILP) problems. We have implemented a simple Domain Specific Language (DSL) that corresponds to a small set of object-centric abstractions relevant to ARC. This is Background knowledge used by ILP to create abstract logic Programs that provide reasoning capabilities to our system. When solving each ARC task, ILPAR can generalize from a few training examples: pairs of Input-Output grids. The logic Programs are able to generate objects present in the Output grid and the combination of these can transform an Input grid into an Output grid. We randomly chose some tasks from ARC that do not require more than the small number of primitives we implemented in our DSL and showed that providing only this to ILPAR, it can solve tasks that require each different reasoning. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Inductive logic programming (ILP)

来源：评论

学校读者我要写书评

暂无评论

Answer Set programming and Neurosymbolic AI: Applications and Future Perspectives (Invited Talk) 3rd

Answer Set Programming and Neurosymbolic AI: Applications a...

引用

3rd international workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024

作者： Borroto, Manuel Ielo, Antonio Mazzotta, Giuseppe Ricca, Francesco Cosenza Italy

ISBN: (纸本)9783031893650

Answer Set programming (ASP) is a well-known symbolic AI formalism developed in the area of knowledge representation and reasoning. This paper reports on some blendings of ASP with neural approaches, that can be classified as neurosymbolic AI systems. In particular, we describe (i) an industrial application of ASP and neural network that addresses the compliance-checking of electrical control panels, (ii) two possible combinations of ASP with large language models for enabling reasoning from text, and (iii) the usage of machine learning techniques to boost the evaluation of ASP programs by implementing solver selection pipelines. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Computer aided instruction

来源：评论

学校读者我要写书评

暂无评论

Design of Single Axis Solar Tracking System (SASTS) Integrated with Programmable logic Controller 3

Design of Single Axis Solar Tracking System (SASTS) Integrat...

引用

3rd IEEE international Virtual Conference on Innovations in Power and Advanced Computing Technologies, i-PACT 2021

作者： Isa, Normazlina Mat Ismail, Ya Mohammad Nizam Syah Gan, Chin Kim Politeknik Tun Syed Nasir Syed Ismail Hab Pendidikan Tinggi Pagoh KM1 Jalan Panchor Johor Malaysia Electronic Workshop Advanced Air Traffic Systems Temasya Industrial Park Shah Alam Selangor Malaysia Universiti Teknikal Malaysia Melaka Hang Tuah Jaya Durian Tunggal Faculty of Electrical Engineering Melaka Malaysia

ISBN: (纸本)9781665426916

The solar tracking system has an automatic movement of solar panel that is able to follow the intensity of the direction of sunlight to increase the power requirement. This paper is focused to develop the Single Axis Solar Tracking System (SASTS) where both hardware and software programming are constructed. The construction of SASTS is integrated with OMRON Programmable logic Controller (PLC) as a controller. The light dependent resistor (LDR) has been selected as an input sensor while the linear actuator acts as an output device to move the panel. The photovoltaic panel will move and extract the sunshine where the maximum sun energy can be obtained. The ladder diagram for the SASTS is constructed in the OMRON PLC CX-programming software. Finally, the testing process for the developed SASTS hardware also has been performed to ensure the SASTS is able to move and track the direction of the sun smoothly. The testing process verify that the developed SASTS hardware can move according to the programmed ladder diagram and the PV panel is able to extract the sun intensity which can maximize the power at the output regardless the actuator speed. © 2021 IEEE.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

End-user development of knowledge bases for semi-automated formation of task cards 3

End-user development of knowledge bases for semi-automated f...

引用

3rd international workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2021

作者： Dorodnykh, N.O. Kotlov, Y.V. Nikolaychuk, O.A. Popov, V.M. Yurin, A.Y. 134 Lermontov str. Irkutsk664033 Russia 3 Kommunarov str. Irkutsk664003 Russia

The complexity of creating artificial intelligence applications remains high. One of the factors that cause such complexity is the high qualification requirements for developers in the field of programming. Development complexity can be reduced by using methods and tools based on a paradigm known as End-user development. One of the problems that requires the application of the methods of this paradigm is the development of intelligent systems for supporting the search and troubleshooting onboard aircraft. Some tasks connected with this problem are identified, including the task of dynamic formation of task cards for troubleshooting in terms of forming a list of operations. This paper presents a solution to this problem based on some principles of End-user development: model-driven development, visual programming, and wizard form-filling. In particular, an extension of the Prototyping expert systems based on transformations technology, which implements the End-user development, is proposed in the context of the problem to be solved for Sukhoi Superjet aircraft. The main contribution of the work is as follows: expanded the main technology method by supporting event trees formalism (as a popular expert method for formalizing scenarios for the development of problem situations and their localization);created a domain-specific tool (namely, Extended event tree editor) for building standard and extended event trees, including for diagnostic tasks;developed a module for supporting transformations of XML-like event tree representation format for the knowledge base prototyping system - Personal knowledge base designer. A description of the proposed extension and the means of its implementation, as well as an illustrative example, are provided. Copyright © 2021 for this paper by its authors.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

E-Friend: A logical-Based AI Agent System Chat-Bot for Emotional Well-Being and Mental Health 1st

E-Friend: A Logical-Based AI Agent System Chat-Bot for Emoti...

引用

1st international workshop on Deceptive AI, DeceptECAI 2020, held in conjunction with 24th European Conference on Artificial Intelligence, ECAI 2020 and 2nd international workshop on Deceptive AI, DeceptAI 2021, held in conjunction with 30th international Joint Conference on Artificial Intelligence, IJCAI 2021

作者： Galindo, Mauricio J. Osorio Moreno, Luis A. Montiel Rojas-Velázquez, David Nieves, Juan Carlos Universidad de las Américas Puebla Ex Hacienda Sta. Catarina Mártir S/N. San Andrés Cholula Puebla72810 Mexico San Andrés Cholula Mexico Department of Computing Science Umeå University Umeå Sweden

ISBN: (纸本)9783030917784

In this work, it is proposed the design of a Reasoning logical Based Intelligent Agent System Chat-bot for Dialogue Composition (DC) named E-friend, which uses logic programming (LP) for reasoning tasks. The main contribution is the use of knowledge representation Reasoning with LP theories modelling the knowledge of the user agent (beliefs, intentions, and expectations) to reason, plan and to optimally solve the DC problem. Another contribution is the design of a system component that extends the theory of mind, for the user model, with emotions to detect if the user decepts to the system or to itself. This component has the aim to alert and inform the facilitator when E-friend detects possible deceit signals from the student. E-friend was designed to help first year university students to manage stress/anxiety to optimal well-being development and attempt the prevention of depression and addictions leading. Students can interact through a chat-bot (text-based questions and answers) to help the system learns from the user, at the same time the user learns from itself improving mental health well-being. © 2021, Springer Nature Switzerland AG.

关键词： knowledge representation

来源：评论

学校读者我要写书评

暂无评论

Structured Traversal of Search Trees in Constraint-logic Object-Oriented programming 22nd

Structured Traversal of Search Trees in Constraint-Logic Obj...

引用

22nd international Conference on Applications of Declarative programming and knowledge Management, INAP 2019, the 33rd workshop on logic programming, WLP 2019, and the 27th workshop on Functional and Constraint logic programming, WFLP 2019

作者： Dageförde, Jan C. Teegen, Finn ERCIS Leonardo-Campus 3 Münster48149 Germany Institut für Informatik CAU Kiel Kiel24098 Germany

ISBN: (纸本)9783030467135

In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the non-deterministic and deterministic behaviours of executing an application. Introducing such a representation facilitates the use of various search strategies. In order to demonstrate the applicability of our approach, we incorporate explicit search trees into the virtual machine of the constraint-logic object-oriented programming language Muli. We then exemplarily implement three search algorithms that traverse the search tree on-demand: depth-first search, breadth-first search, and iterative deepening depth-first search. In particular, the last two strategies allow for a complete search, which is novel in constraint-logic object-oriented programming and highlights our main contribution. Finally, we compare the implemented strategies using several benchmarks. © 2020, Springer Nature Switzerland AG.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

引用

THEORY AND PRACTICE OF logic programming 2020年第6期20卷 864-879页

作者： COSTABILE, R. O. B. E. R. T. A. CATALANO, G. E. L. S. O. M. I. N. A. CUTERI, B. E. R. N. A. R. D. O. MORELLI, C. O. N. C. E. T. T. A. M. A. R. I. A. LEONE, N. I. C. O. L. A. MANNA, M. A. R. C. O. Univ Calabria Dept Math & Comp Sci Calabria Italy DLVSyst Srl Arcavacata Di Rende Italy

Decision support systems play an important role in medical fields as they can augment clinicians to deal more efficiently and effectively with complex decision-making processes. In the diagnosis of headache disorders, however, existing approaches and tools are still not optimal. On the one hand, to support the diagnosis of this complex and vast spectrum of disorders, the international Headache Society released in 1988 the international Classification of Headache Disorders (ICHD), now in its 3rd edition: a 200 pages document classifying more than 300 different kinds of headaches, where each is identified via a collection of specific nontrivial diagnostic criteria. On the other hand, the high number of headache disorders and their complex criteria make the medical history process inaccurate and not exhaustive both for clinicians and existing automatic tools. To fill this gap, we present head-asp, a novel decision support system for the diagnosis of headache disorders. Through a REST Web Service, head-asp implements a dynamic questionnaire that complies withICHD-3by exploiting two logical modules to reach a complete diagnosis while trying to minimize the total number of questions being posed to patients. Finally, head-asp is freely available on-line and it is receiving very positive feedback from the group of neurologists that is testing it.

关键词： knowledge representation ASP Artificial Intelligence ICHD-3

来源：评论

学校读者我要写书评

暂无评论

An optimization for reasoning with forest logic programs 3

An optimization for reasoning with forest logic programs

引用

3rd workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the international Conference on logic programming, ICLP 2010

作者： Feier, Cristina Heymans, Stijn Knowledge-Based Systems Group Institute of Information Systems Vienna University of Technology Favoritenstrasse 9-11 ViennaA-1040 Austria

Open Answer Set programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based algorithm for satisfiability checking w.r.t. forest logic programs, a decidable fragment of OASP, which has the forest model property. In this paper we introduce an optimized version of that algorithm achieved by means of a knowledge compilation technique. So-called unit completion structures, which are possible building blocks of a forest model, in the form of trees of depth 1, are computed in an initial step of the algorithm. Repeated computations are avoided by using these structures in a pattern-matching style when constructing a model. Furthermore we identify and discard redundant unit completion structures: a structure is redundant if there is another structure which can always replace the original structure in a forest model. © 2020 workshop on Answer Set programming and Other Computing Paradigms, ASPOCP 2010. All rights reserved.

关键词： Pattern matching

来源：评论

学校读者我要写书评

暂无评论

knowledge MODELING FOR HERITAGE CONSERVATION PROCESS: FROM SURVEY TO HBIM IMPLEMENTATION 3

KNOWLEDGE MODELING FOR HERITAGE CONSERVATION PROCESS: FROM S...

引用

3rd BIM/GIS Integration workshop / 15th 3D GeoInfo Conference

作者： Di Stefano, F. Gorreja, A. Malinverni, E. S. Mariotti, C. Univ Politecn Marche Dept Construct Civil Engn & Architecture DICEA Ancona Italy

This paper aims to develop a strategy for architectural knowledge modeling in order to actively support the built heritage conservation process by fostering collaboration among stakeholders and interoperability between datasets. The integration of two modeling systems, one ontology-based and one in BIM environment, seems to be the right way to meet this objective: the former is rather exhaustive to represent the semantic contents of conservation activities, especially non-geometrical data, the latter is absolutely suitable to represent the logic of the construction, above all geometrical-constructive aspects typical of any architectural organism. Thus, this study proposes a side-by-side approach to synchronize these different ways of representing reality by managing the complexity of cultural heritage on the one hand and of technology tools, such as information systems, on the other. The proposed methodology was tested on the city walls of San Ginesio (Macerata, Italy) and included different steps considering the in-use technologies (notably geomatics and information technologies) as key enablers to acquire, hierarchically order, model and enrich the knowledge of that heritage site. The result is a knowledge-led strategy moving from survey to HBIM implementation, as a way to enhance representation and management in architectural heritage processes.

关键词： Cultural Heritage Geomatics Ontology 3D Modeling HBIM Conservation knowledge-led strategy

来源：评论

学校读者我要写书评

暂无评论

A Dynamic logic for QASM Programs 2nd

A Dynamic Logic for QASM Programs

引用

2nd international workshop on Dynamic logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods

作者： Tavares, Carlos INESC TEC High Assurance Software Lab Braga Portugal

We define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a pr... 详细信息

ISBN: (纸本)9783030388089;9783030388072

关键词： Quantum logic Quantum programming Dynamic logic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：