Filters








12 Hits in 4.6 sec

Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner
2008 Mathematics in Computer Science  
Under this view a mathematical assistance system is an integrated knowledge-based system composed as a network of individual, specialized components.  ...  Consequently, several units of mathematical knowledge coexist throughout the system within these components and this knowledge changes non-monotonically over time.  ...  knowledge base.  ... 
doi:10.1007/s11786-008-0054-6 fatcat:qoxkghx6c5epfjjaw5oykgfjjy

Multi-Objective Controller Synthesis with Uncertain Human Preferences [article]

Shenghui Chen, Kayla Boggess, David Parker, Lu Feng
2022 arXiv   pre-print
Complex real-world applications of cyber-physical systems give rise to the need for multi-objective controller synthesis, which concerns the problem of computing an optimal controller subject to multiple  ...  Our approach is based on mixed-integer linear programming and synthesizes an optimally permissive multi-strategy that satisfies uncertain human preferences with respect to a multi-objective property.  ...  More recently, such techniques have been applied to multi-objective robot path planning [24] and multi-objective controller synthesis for autonomous systems that account for human operators' workload  ... 
arXiv:2105.04662v2 fatcat:d3thyrfdqfaabksgfaltdrng4a

Automating knowledge acquisition as extending, updating, and improving a knowledge base

G.D. Tecuci
1992 IEEE Transactions on Systems, Man and Cybernetics  
The human expert defmes the framework for the expert system and provides an incomplete and partially incorrect knowledge base.  ...  ABS1RACT The paper presents an approach to the automation of knowledge acquisition for expert systems.  ...  ACKNOWLEDGMENTS The author is grateful to Yves Kodratoff, Ryszard Michalski, Jianping Zhang, and Mike Hieb for useful comments and criticisms.  ... 
doi:10.1109/21.199468 fatcat:xqtviwubszbhrkhnied5ee5cje

Machine Learning for Digital Document Processing: from Layout Analysis to Metadata Extraction [chapter]

Floriana Esposito, Stefano Ferilli, Teresa M. A. Basile, Nicola Di Mauro
2008 Studies in Computational Intelligence  
The prototypical version of the system DOMINUS is presented, whose main characteristic is the use of a Machine Learning Server, a suite of different inductive learning methods and systems, among which  ...  provide solutions for automatically acquiring such a knowledge.  ...  Then, the mapping between the geometric and logical structure is supported by using a template of the document, a grammar representing its layout, or an expert system whose knowledge base must be provided  ... 
doi:10.1007/978-3-540-76280-5_5 fatcat:x25fgkkwbzeyhlt4ssw2h7k6pm

Towards Comprehensive Foundations of Computational Intelligence [chapter]

Włodzisław Duch
2007 Studies in Computational Intelligence  
Heterogeneous adaptive systems are presented as particular example of transformation-based systems, and the goal of learning is redefined to facilitate creation of simpler data models.  ...  The need to understand data structures leads to techniques for logical and prototype-based rule extraction, and to generation of multiple alternative models, while the need to increase predictive power  ...  Evolutionary techniques may prove to be quite useful in this area.  ... 
doi:10.1007/978-3-540-71984-7_11 fatcat:vlfuzhxmgbbqlptp4wnpdty4ae

Game Theoretic Aspects of the Multi-Channel ALOHA Protocol in Cognitive Radio Networks

Kobi Cohen, Amir Leshem, Ephraim Zehavi
2013 IEEE Journal on Selected Areas in Communications  
We prove the convergence of the proposed algorithm using the theory of potential games. Furthermore, we show that the network approaches a unique equilibrium as the number of users increases.  ...  First, we characterize the Nash Equilibrium Points (NEPs) of the network when users solve an unconstrained rate maximization (i.e., the total transmission probability equals one).  ...  Remark 3: The convergence of sequential updating across users of the proposed algorithm will be proved using the theory of potential games and is based on knowledge of channel utilization q n (k) = 1 −  ... 
doi:10.1109/jsac.2013.131109 fatcat:arkulscwlfgtziis6fnfkiqjzm

Noncooperative power control and transmission scheduling in wireless collision channels

Ishai Menache, Nahum Shimkin
2008 Proceedings of the 2008 ACM SIGMETRICS international conference on Measurement and modeling of computer systems - SIGMETRICS '08  
We consider a wireless collision channel, shared by a finite number of mobile users who transmit to a common base station using a random access protocol.  ...  Braess-like paradoxes are reported, where the use of multiple power levels can diminish system capacity and also lead to larger per-user power consumption, compared to the case where a single level only  ...  The authors would like to thank Michael Katz and Adam Shwartz for useful discussions.  ... 
doi:10.1145/1375457.1375497 dblp:conf/sigmetrics/MenacheS08 fatcat:7pgpbki7frd6jjfakpa36bsvbu

Noncooperative power control and transmission scheduling in wireless collision channels

Ishai Menache, Nahum Shimkin
2008 Performance Evaluation Review  
We consider a wireless collision channel, shared by a finite number of mobile users who transmit to a common base station using a random access protocol.  ...  Braess-like paradoxes are reported, where the use of multiple power levels can diminish system capacity and also lead to larger per-user power consumption, compared to the case where a single level only  ...  The authors would like to thank Michael Katz and Adam Shwartz for useful discussions.  ... 
doi:10.1145/1384529.1375497 fatcat:njofejyetrh6lnw7uqcpf2pjre

Nonmonotonic Inductive Logic Programming as Abductive Search

Domenico Corapi, Alessandra Russo, Emil Lupu
2012
In the first case, we derive an implementation, called TAL, that is based on the abductive proof procedure SLDNFA and uses a customisable best-first search on the space of abductive solutions.  ...  This thesis presents an approach to nonmonotonic ILP that is based on a transformation of the original problem to a problem that can be solved by employing abductive reasoning.  ...  To establish the soundness and completeness properties of an ILP system based on the transformation we can use Theorem 4.4 together with a result on soundness and completeness of the abductive system used  ... 
doi:10.25560/9814 fatcat:vcxuuya7vbegjifrtqj6kjrjcu

Elements of Software Architectures-The GenSIF/GARM Model 4. 2 GARM-An Architecture Reference Model

Wilhelm Rossak, Vassilka Kirova
1996 Informatica   unpublished
GARM (a Generic Architecture Reference Model), as discussed here, has been developed within the framework of the IEEE TC on ECBS (Engineering of Computer Based Systems).  ...  Finally, we introduce our approach to develop an architecture specification tool, called d-ASPECT.  ...  I would like to acknowledge efforts and achievements of many developers and researchers of expert systems in Korean Nuclear Society.  ... 
fatcat:c4sity63tzhlnmrck5mrfm4yvm

Informatic An International Journal of Computinj and Informatics Special Issue: Artificial Life

Xin Yao
1994 unpublished
It is hypothesised that the answer to the question ofhow adaptive or learning processes can evolve is through an appropriately designed evolutionary search domain, search technique, and problem environment  ...  Experiments were offered in which finite state machines were used to predict tirne series with respect to an arbitrarj payoff'function.  ...  This work also examines the possibilities for errors, mistakes and uncertainties in visual sensing systems.  ... 
fatcat:iykwbho3jvdf7k4hfxwyh3rgai

Informatic An International Journal of Computinj and Informatics

-O
1994 unpublished
-An action is the intervention of system S p into the natural autonomous unfolding of events by system S q .  ...  expert system; knowledge base artificial intelligence methodologies theory of chance, chaos, probability, fuzziness, etc.  ...  of use.  ... 
fatcat:qxakqsqn7vhrrjij66sxpfvxsi