Filters








18 Hits in 3.1 sec

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems [chapter]

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 Lecture Notes in Computer Science  
nonmonotonic MCS in a distributed way i.e., a belief set S k for each context C k which is compliant with applicable bridge rules MCS Overview The Diamond Example M = (C 1 , C 2 , C 3 , C 4 ), where  ...  System Architecture dmcsm dmcsd at C k dmcsd dmcsd dmcsd dmcsc models registration query Distributed system with: Server program for each context Client program for querying contexts  ... 
doi:10.1007/978-3-642-15675-5_30 fatcat:naishvyptrez7dy4oaynal2mna

Decomposition of Distributed Nonmonotonic Multi-Context Systems [chapter]

Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2010 Lecture Notes in Computer Science  
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules.  ...  Recently, a fully distributed algorithm for evaluating heterogeneous, nonmonotonic MCS was described in [7] .  ...  Preliminaries We recall some basic notions of heterogeneous nonmonotonic multi-context systems [5] .  ... 
doi:10.1007/978-3-642-15675-5_5 fatcat:dbd3uglu5na5dd5qv35xsyqns4

Distributed Evaluation of Nonmonotonic Multi-context Systems

Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner
2015 The Journal of Artificial Intelligence Research  
Multi-context Systems (MCSs) are a formalism for systems consisting of knowledge bases (possibly heterogeneous and non-monotonic) that are interlinked via bridge rules, where the global system semantics  ...  While MCSs and related formalisms are inherently targeted for distributed set- tings, no truly distributed algorithms for their evaluation were available.  ...  Acknowledgments This research has been supported by the Austrian Science Fund (FWF) projects P20841 and P26471.  ... 
doi:10.1613/jair.4574 fatcat:p6xuouc3bja5tlwqscsx4fvtjm

Symmetry Breaking for Distributed Multi-Context Systems [chapter]

Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011 Lecture Notes in Computer Science  
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules.  ...  We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them  ...  Logical Background We recall some basic notions of heterogeneous nonmonotonic multi-context systems.  ... 
doi:10.1007/978-3-642-20895-9_5 fatcat:fgfbfp2r5zh7zostf4nlow4cli

Symmetry Breaking for Distributed Multi-Context Systems [article]

Christian Drescher and Thomas Eiter and Michael Fink and Thomas Krennwallner and Toby Walsh
2011 arXiv   pre-print
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules.  ...  We propose a distributed algorithm that takes a local stance, i.e., computes independently the partial symmetries of a context and, in order to construct potential symmetries of the whole, combines them  ...  NICTA is funded by the Department of Broadband, Communications and the Digital Economy, and the Australian Research Council.  ... 
arXiv:1104.3931v1 fatcat:vqhhafhyqbdmpj5irh4j5lsaxe

Symmetry Breaking for Answer Set Programming [article]

Christian Drescher
2010 arXiv   pre-print
, and second, distributed nonmonotonic multi-context systems.  ...  In the context of distributed nonmonotonic multi-context system, we develop an algorithm for distributed symmetry detection and also carry over symmetry-breaking constraints for distributed answer set  ...  Finally, towards distributed answer set programming, we present distributed nonmonotonic multi-context systems.  ... 
arXiv:1008.5033v1 fatcat:q4dunj4fgzd73lvjtl4u32jvfu

Contextual and Possibilistic Reasoning for Coalition Formation [article]

Antonis Bikakis, Patrice Caire
2020 arXiv   pre-print
Second, we model agents as contexts in Multi-Context Systems (MCS), and dependence relations among agents seeking to achieve their goals, as bridge rules.  ...  In multiagent systems, agents often have to rely on other agents to reach their goals, for example when they lack a needed resource or do not have the capability to perform a required action.  ...  Multi-Context Systems Multi-Context Systems (MCS) [31, 30, 12] has been the main effort to formalize context and contextual reasoning in Artificial Intelligence.  ... 
arXiv:2006.11097v2 fatcat:ug4ett4c7va7nf6dxftb2ufsna

Computing Coalitions in Multiagent Systems: A Contextual Reasoning Approach [chapter]

Antonis Bikakis, Patrice Caire
2015 Lecture Notes in Computer Science  
We model agents as contexts in Multi-Context Systems (MCS) and dependence relations among agents as bridge rules.  ...  In multiagent systems, agents often have to rely on other agents to reach their goals, for example when they lack a needed resource or do not have the capability to perform a required action.  ...  To achieve this we will use existing MCS implementations, such as DMCS 1 , a distributed solver for MCS, and MCS-IE 2 , a tool for explaining inconsistencies in MCS.  ... 
doi:10.1007/978-3-319-17130-2_6 fatcat:hk4m76a3d5fdrmyzwswzhfrjke

Abstract Modular Systems and Solvers [article]

Yuliya Lierler, Miroslaw Truszczynski
2013 arXiv   pre-print
We introduce concepts of abstract modules and abstract modular systems to study general principles behind the design and analysis of model-finding programs, or solvers, for integrated heterogeneous multi-logic  ...  We show how abstract modules and abstract modular systems give rise to transition systems, which are a natural and convenient representation of solvers pioneered by the SAT community.  ...  Since their inception, multi-context systems have received substantial attention and inspired implementations of hybrid reasoning systems including DLVHEX [5] and DMCS [1] .  ... 
arXiv:1312.6151v1 fatcat:vdbw7l2r4veyflrliwx5ycyaoe

A model building framework for answer set programming with external computations

THOMAS EITER, MICHAEL FINK, GIOVAMBATTISTA IANNI, THOMAS KRENNWALLNER, CHRISTOPH REDL, PETER SCHÜLLER
2015 Theory and Practice of Logic Programming  
AbstractAs software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information  ...  We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller  ...  Multi-Context Systems (MCS) The MCS benchmarks originate in the application scenario of enumerating output-projected equilibria (i.e., global models) of a given multi-context system (MCS) (cf.  ... 
doi:10.1017/s1471068415000113 fatcat:kq5ya4rvbnhxdd7adsmhyfj32e

Abstract Modular Inference Systems and Solvers [chapter]

Yuliya Lierler, Miroslaw Truszczynski
2014 Lecture Notes in Computer Science  
multi-logic systems.  ...  We introduce the concepts of abstract inference modules and abstract modular inference systems to study general principles behind the design and analysis of model generating programs, or solvers, for integrated  ...  Acknowledgements We are grateful to the reviewers for numerous comments that helped us to significantly improve the paper.  ... 
doi:10.1007/978-3-319-04132-2_4 fatcat:nbveadc2enbbhleo45ndrlmnli

On abstract modular inference systems and solvers

Yuliya Lierler, Miroslaw Truszczynski
2016 Artificial Intelligence  
multi-logic systems.  ...  We introduce the concepts of abstract inference modules and abstract modular inference systems to study general principles behind the design and analysis of model generating programs, or solvers, for integrated  ...  Acknowledgements We are grateful to the reviewers for numerous comments that helped us to significantly improve the paper.  ... 
doi:10.1016/j.artint.2016.03.004 fatcat:ob62ve3rhzgqlmd3nz4gyczcre

Efficient HEX-Program Evaluation Based on Unfounded Sets

T. Eiter, M. Fink, T. Krennwallner, C. Redl, P. Schüller
2014 The Journal of Artificial Intelligence Research  
As reasoning from ground Horn programs with nonmonotonic external atoms of polynomial complexity is already on the second level of the polynomial hierarchy, minimality checking of answer set candidates  ...  The unfounded set detection is expressed as a propositional SAT problem, for which we provide two different encodings and optimizations to them.  ...  We are grateful to the anonymous reviewers for their helpful and constructive comments.  ... 
doi:10.1613/jair.4175 fatcat:hcxe3ullanbztaafzxk6g6ekie

Distributed computation of diagnoses for inconsistent multi-context systems

Fabian Salcher, Thomas Eiter, Michael Fink
2016
Multi-Context Systems (MCS ) are systems of distributed knowledge bases which interact via so called bridge rules.  ...  Therefore, for a user only interested in a part of the system, it is not necessary to know the whole system.  ...  The DMCS system is designed to calculate equilibria of a distributed Multi-Context System.  ... 
doi:10.34726/hss.2016.24879 fatcat:agra4r4ts5fwre7ypgmoplkml4

Investigations in Possibilistic Reasoning and Multi-Context Systems

Yifan Jin, University, My, Kewen Wang
2018
Moreover, revisions by certain and uncertain formulas are handled separately and most revision operators are defined only for certain inputs; (3) Multi-context systems (MCSs) provide a unifying framework  ...  Besides, while MCSs address the heterogeneity of knowledge formalisms in an elegant theoretical manner, research on distributed and parallel reasoning systems for MCSs is still in its early development  ...  Multi-Context Systems MCSs provide a promising way to representing interchanging and distributed KR systems.  ... 
doi:10.25904/1912/2658 fatcat:76fxdbpfnbau5h6p267vtd6swa
« Previous Showing results 1 — 15 out of 18 results