19 research outputs found
Agent planning, models, virtual haptic computing, and visual ontology
The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI
Agent planning, models, virtual haptic computing, and visual ontology
The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI
Agent planning, models, virtual haptic computing, and visual ontology
The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI
Software Agents and Intelligent Object Fusion
Techniques for modular software design are presented applying software agents. The conceptual designs are domain independent and make use of specificdomain aspects applying Multiagent AI. The stages of conceptualization, design and implementation are defined by new techniques coordinated by objects. Software systemsare designed by knowledge acquisition, specification, and multiagent implementations
Algebraic computability and enumeration models: recursion theory and descriptive complexity
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic types of models. New homotopy techniques are applied to Marin Lof types of computations with model categories. Functorial computability, induction, and recursion are examined in view of the above, presenting new computability techniques with monad transformations and projective sets.This informative volume will give readers a complete new feel for models, computability, recursion sets, complexity, and realizability. This book pulls together functorial thoughts, models, computability, sets, recursion, arithmetic hierarchy, filters, with real tree computing areas, presented in a very intuitive manner for university teaching, with exercises for every chapter. The book will also prove valuable for faculty in computer science and mathematics
A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos
IntroductionCategorical PreliminariesCategories and FunctorsMorphismsFunctorsCategorical ProductsNatural TransformationsProducts on Models Preservation of LimitsModel Theory and Topoi More on Universal ConstructionsChapter ExercisesInfinite Language CategoriesBasicsLimits and Infinitary Languages Generic Functors and Language String ModelsFunctorial Morphic Ordered Structure ModelsChapter ExercisesFunctorial Morphic Ordered Structure ModelsFunctorial Fragment