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

17th international conference on Image Analysis and Processing (ICIAP)

作者： Somani, Nikhil Dean-Leon, Emmanuel Cai, Caixia Knoll, Alois Tech Univ Munich Fak Informat Boltzmannstr 3 D-85748 Garching Germany Univ Munich Inst Tech Cyber Phys Syst D-80805 Munich Germany

ISBN: (纸本)9783642411892;9783642411908

In this paper, an intuitive interface for collaborative tasks involving a human and a standard industrial robot is presented. the target for this interface is a worker who is experienced in manufacturing processes but has no experience in conventional industrial robot programming. Physical Human-Robot Interaction (pHRI) and interactive GUI control using hand gestures offered by this interface allows this novice user to instruct industrial robots with ease. this interface combines state of the art perception capabilities with first order logic reasoning to generate semantic description of the process plan. this semantic representation creates the possibility of including human and robot tasks in the same plan and also reduces the complexity of problem analysis by allowing process planning at semantic level, thereby isolating the problem description and analysis from the execution and scenario-specific parameters.

关键词： Perception HRI reasoning

来源：评论

学校读者我要写书评

暂无评论

Deontic logic Programs 13

Deontic Logic Programs

引用

international conference on Autonomous Agents and Multiagent Systems

作者： Ricardo Goncalves Jose Julio Alferes CENTRIA - Faculdade Ciências e Tecnologia Universidade Nova de Lisboa Portugal Lisbon Portugal

ISBN: (纸本)9781450319935

Deontic logic programming (DLP) is a framework combining deontic logic and non-monotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deontic logic with a reasoner for stable model semantics.

关键词： Norms Knowledge representation Environments Social and organisational structure logic-based approaches and methods Design languages for agent systems

来源：评论

学校读者我要写书评

暂无评论

non-monotonocity in OrBAC through Default and Exception Policy Rules

Non-monotonocity in OrBAC through Default and Exception Poli...

引用

9th international ISC conference on Information Security and Cryptology (ISCISC)

作者： Javadi, Seyyed Ahmad Amini, Morteza Jalili, Rasool Sharif Univ Technol Dept Comp Engn DNSL Tehran Iran

ISBN: (纸本)9781467323864;9781467323871

Context-awareness is an essential requirement of modern access control models. Organization-Based Access Control (OrBAC) model is a powerful context-aware access control model defined by first-order logic. However, due to the monotonicity nature of the first-order logic, OrBAC suffers from the incapability of making decision based on incomplete context information as well as the definition of default and exception policy rules. this paper proposes augmenting non-monotonicity features to OrBAC using MKNF+ logic, which is a combination of Description logic (DL) and Answer Set programming (ASP). Along with the use of DL to define ontology for main entities and context information in OrBAC;MKNF+ rules are used to define access control, default, and exception policy rules. the proposed model inherits the advantages of ontological representation of OrBAC entities and context information (such as interoperability among systems) as well as the ASP advantages in non-monotonic reasoning through closed-world principle and negation as failure. the expressive power of the model is also demonstrated through a case study.

关键词： Role-Based Access Control non-monotonic logic Default Policy Rule Exception Policy Rule

来源：评论

学校读者我要写书评

暂无评论

Possible and Necessary Answer Sets of Possibilistic Answer Set Programs

Possible and Necessary Answer Sets of Possibilistic Answer S...

引用

IEEE 24th international conference on Tools with Artificial Intelligence (ICTAI)

作者： Bauters, Kim Schockaert, Steven De Cock, Martine Vermeir, Dirk Univ Ghent Dept Appl Math & Comp Sci B-9000 Ghent Belgium Cardiff Univ Sch Comp Sci & Informat Cardiff CF24 3AA S Glam Wales Vrije Univ Brussels Dept Comp Sci B-1050 Brussels Belgium

ISBN: (纸本)9780769549156;9781479902279

Answer set programming (ASP) and possibility theory can be combined to form possibilistic answer set programming (PASP), a framework for non-monotonic reasoning under uncertainty. Existing proposals view answer sets of PASP programs as weighted epistemic states, in which the strength by which different literals are believed to hold may vary. In contrast, in this paper we propose an approach in which epistemic states remain Boolean, but some epistemic states may be considered more plausible than others. A PASP program is then a representation of an incomplete description of these epistemic states where certainties are associated with each rule which is interpreted in terms of a necessity measure. the main contribution of this paper is the introduction of a new semantics for PASP as well as a study of the resulting complexity.

关键词： Boolean functions computational complexity logic programming nonmonotonic reasoning possibility theory uncertainty handling

来源：评论

学校读者我要写书评

暂无评论

JASP: A framework for integrating answer set programming with Java

JASP: A framework for integrating answer set programming wit...

引用

13th international conference on the Principles of Knowledge Representation and reasoning, KR 2012

作者： Febbraro, Onofrio Grasso, Giovanni Leone, Nicola Ricca, Francesco DLVSystem s.r.l. P.zza Vermicelli Polo Tecnologico Rende Italy Oxford University Department of Computer Science Parks Road Oxford United Kingdom University of Calabria Department of Mathematics Rende Italy

ISBN: (纸本)9781577355601

Answer Set programming (ASP) is a fully-declarative logic programming paradigm, which has been proposed in the area of knowledge representation and non-monotonic reasoning. Nowadays, the formal properties of ASP are well-understood, efficient ASP systems are available, and, recently, ASP has been employed in a few industrial applications. However, ASP technology is not mature for a successful exploitation in industry yet;mainly because ASP technologies are not integrated in the well-assessed development processes and platforms which are tailored for imperative/object-oriented programming languages. In this paper we present a new programming framework blending ASP with Java. the framework is based on JASP, an hybrid language that transparently supports a bilateral interaction between ASP and Java. JASP specifications are compliant with the JPA standard to perfectly fit extensively-adopted enterprise application technologies. the framework also encompasses an implementation of JASP as a plug-in for the Eclipse platform, called JDLV, which includes a compiler from JASP to Java. Moreover, we show a real-world application developed with JASP and JDLV, which highlights the effectiveness of our ASP-Java integration framework. Copyright © 2012, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

logic for programming, Artificial Intelligence, and reasoning - 17th international conference, LPAR-17, Proceedings

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

引用

17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR-17

ISBN: (纸本)364216241X

the proceedings contain 45 papers. the topics discussed include: the complexity of partial-observation parity games;awareness in games, awareness in logic;human and unhuman commonsense reasoning;tableau calculus for the logic of comparative similarity over arbitrary distance spaces;extended computation tree logic;using causal relationships to deal with the ramification problem in action formalisms based on description logics;generating counterexamples for structural inductions by exploiting nonstandard models;characterizing space complexity classes via Knuth-Bendix orders;how to universally close the existential rule;magically constraining the inverse method using dynamic polarity assignment;lazy abstraction for size-change termination;a syntactical approach to qualitative constraint networks merging;on the satisfiability of two-variable logic over data words;and generic methods for formalizing sequent calculi applied to provability logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Specifying and reasoning about normative systems in deontic logic programming 12

Specifying and reasoning about normative systems in deontic ...

引用

Proceedings of the 11th international conference on Autonomous Agents and Multiagent Systems - Volume 3

作者： Ricardo Gonçalves José Júlio Alferes Universidade Nova de Lisboa Portugal

In this paper we propose the usage of a framework combining standard deontic logic (SDL) and non-monotonic logic programming -- deontic logic programs (DLP) -- to represent and reason about normative systems.

ISBN: (纸本)9780981738130

关键词： design languages for agent systems knowledge representation logic-based approaches and methods norms organisations and institutions

来源：评论

学校读者我要写书评

暂无评论

17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2010

17th International Conference on Logic for Programming, Arti...

引用

17th international conference on logic for programming, Artificial Intelligence, and reasoning, LPAR 2010

ISBN: (纸本)9783642162411

the proceedings contain 45 papers. the special focus in this conference is on logic for programming, Artificial Intelligence, and reasoning. the topics include: Characterising space complexity classes via Knuth-Bendix orders;focused natural deduction;how to universally close the existential rule;on the Complexity of the Bernays-Schönfinkel Class with Datalog;magically constraining the inverse method using dynamic polarity assignment;lazy abstraction for size-change termination;a syntactical approach to qualitative constraint networks merging;on the satisfiability of two-variable logic over data words;generic methods for formalising sequent calculi applied to provability logic;awareness in games, awareness in logic;characterising probabilistic processes logically: (Extended abstract);fCube: An efficient prover for Intuitionistic propositional logic;superposition-Based Analysis of First-Order Probabilistic Timed Automata;A nonmonotonic extension of KLM Preferential logic P;on strong normalization of the Calculus of Constructions with type-based termination;aligators for arrays (tool paper);Clause elimination procedures for CNF formulas;Partitioning SAT instances for distributed solving;infinite families of finite string rewriting systems and their confluence;polite theories revisited;human and unhuman commonsense reasoning;clausal graph tableaux for hybrid logic with eventualities and difference;the consistency of the CADIAG-2 knowledge base: A probabilistic approach;on the Complexity of Model Expansion;labelled Unit Superposition Calculi for Instantiation-Based reasoning;Boosting local search thanks to CDCL;interpolating quantifier-free Presburger Arithmetic;variable compression in ProbLog;Improving resource-unaware SAT solvers;expansion nets: Proof-nets for propositional classical logic;revisiting matrix interpretations for polynomial derivational complexity of term rewriting;Gödel logics – A SURVEY;bottom-up tree automata with term constraints.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Introduction to the 27th international conference on logic programming Special Issue

引用

thEORY AND PRACTICE OF logic programming 2011年第4-5期11卷 429-432页

作者： Gallagher, John Gelfond, Michael Roskilde Univ Ctr Roskilde Denmark IMDEA Software Inst Madrid Spain Texas Tech Univ Lubbock TX 79409 USA

Following the initiative in 2010 taken by the Association for logic programming and Cambridge University Press, the full papers accepted for the international conference on logic programming again appear as a special issue of theory and Practice of logic programming (TPLP)—the 27th international conference on logic programming Special Issue. Papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere were solicited in all areas of logic programming including but not restricted to: theory: Semantic Foundations, Formalisms, non- monotonic reasoning, Knowledge Representation. Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, programming Techniques. Related Paradigms: Abductive logic programming, Inductive logic programming, Constraint logic programming, Answer-Set programming. Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Partial Preferences and Ambiguity Resolution in Contextual Defeasible logic

引用

11th international conference on logic programming and nonmonotonic reasoning (LPNMR)

作者： Bikakis, Antonis Antoniou, Grigoris Univ Luxembourg Luxembourg Luxembourg FORTH Inst Comp Sci Iraklion Greece

ISBN: (纸本)9783642208942;9783642208959

Domains, such as Ambient Intelligence and Social Networks, are characterized by some common features including distribution of the available knowledge, entities with different backgrounds, viewpoints and operational environments, and imperfect knowledge. Multi-Context Systems (MCS) has been proposed as a natural representation model for such environments, while recent studies have proposed adding non-monotonic features to MCS to address the issues of incomplete, uncertain and ambiguous information. In previous works, we introduced a non-monotonic extension to MCS and an argument-based reasoning model that handle imperfect context information based on defeasible argumentation. Here we propose alternative variants that integrate features such as partial preferences, ambiguity propagating and team defeat, and study the relations between the different variants in terms of conclusions being drawn in each case.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：