Artificial Intelligence Today

We discuss the application of behavioural architectures, in the robotic sense, to virtual agents. ‘Virtual Teletubbies’ are used as an example of the issues involved. we conclude that the use of such architectures has implications for the whole style in which a virtual world is modelled.

[1]  Michael Mehl,et al.  Using mobility to make transparent distribution practicalPeter , 1997 .

[2]  Enrico Giunchiglia,et al.  Representing Action: Indeterminacy and Ramifications , 1997, Artif. Intell..

[3]  Maurizio Vincini,et al.  ODB-Tools: A Description Logics Based Tool for Schema Validation and Semantic Query Optimization in Object Oriented Databases , 1997, AI*IA.

[4]  Kurt Konolige,et al.  Integrating reactivity and goal-directedness in a fuzzy controller , 1993 .

[5]  F. Baader,et al.  Concept Logics , 1990 .

[6]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[7]  Edward Tunstel,et al.  Autonomous navigation using an adaptive hierarchy of multiple fuzzy-behaviors , 1997, Proceedings 1997 IEEE International Symposium on Computational Intelligence in Robotics and Automation CIRA'97. 'Towards New Computational Principles for Robotics and Automation'.

[8]  Alessandro Saffiotti,et al.  A Multivalued Logic Approach to Integrating Planning and Control , 1995, Artif. Intell..

[9]  Leslie Pack Kaelbling,et al.  Planning under Time Constraints in Stochastic Domains , 1993, Artif. Intell..

[10]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[11]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[12]  Mauro Di Manzo,et al.  Planning via Model Checking in Deterministic Domains: Preliminary Report , 1998, AIMSA.

[13]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.

[14]  Vic Callaghan,et al.  HIERARCHICAL BEHAVIOURAL CONTROL FOR AUTONOMOUS VEHICLES , 1995 .

[15]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[16]  Franz Baader,et al.  Cardinality Restrictions on Concepts , 1994, KI.

[17]  Enrico Giunchiglia,et al.  An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.

[18]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[19]  Enrique H. Ruspini,et al.  Truth as Utility: A Conceptual Synthesis , 1991, UAI.

[20]  David W. Payton,et al.  An architecture for reflexive autonomous vehicle control , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[21]  Marcel Schoppers,et al.  Universal Plans for Reactive Robots in Unpredictable Environments , 1987, IJCAI.

[22]  Domenico Beneventano,et al.  Incoherence and Subsumption for Recursive Views and Queries in Object-Oriented Data Models , 1997, Data Knowl. Eng..

[23]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[24]  Matthew L. Ginsberg,et al.  Universal Planning: An (Almost) Universally Bad Idea , 1989, AI Mag..

[25]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

[26]  Henry H. Leitner,et al.  Structured Inheritance Networks and Natural Language Understanding , 1979, IJCAI.

[27]  Alessandro Saffiotti,et al.  Perception-Based Self-Localization Using Fuzzy Locations , 1995, Reasoning with Uncertainty in Robotics.

[28]  Franz Baader,et al.  Description Logics with Concrete Domains and Aggregation , 1998, ECAI.

[29]  Peter Van Roy,et al.  Mobile objects in distributed Oz , 1997, TOPL.

[30]  Peter Cheeseman,et al.  On the Representation and Estimation of Spatial Uncertainty , 1986 .

[31]  Harald Ganzinger,et al.  On Restrictions of Ordered Paramodulation with Simplification , 1990, CADE.

[32]  Erann Gat,et al.  Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots , 1992, AAAI.

[33]  Harald Ganzinger,et al.  Rewrite-Based Equational Theorem Proving with Selection and Simplification , 1994, J. Log. Comput..

[34]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[35]  Oussama Khatib,et al.  Elastic bands: connecting path planning and control , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[36]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[37]  Mark Drummond,et al.  Situated Control Rules , 1989, KR.

[38]  H. Surmann,et al.  A fuzzy system for indoor mobile robot navigation , 1995, Proceedings of 1995 IEEE International Conference on Fuzzy Systems..

[39]  Nils J. Nilsson,et al.  Shakey the Robot , 1984 .

[40]  Erann Gat,et al.  The Winning Robots from the 1993 Robot Competition , 1993, AI Mag..

[41]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[42]  Jan Maluszy¿ski.  Logic Programming and Knowledge Representation (LPKR'97) , 1997 .

[43]  Paolo Traverso,et al.  Strong Planning in Non-Deterministic Domains Via Model Checking , 1998, AIPS.

[44]  Franz Baader,et al.  Extensions of Concept Languages for a Mechanical Engineering Application , 1992, GWAI.

[45]  John L. Bresina,et al.  Anytime Synthetic Projection: Maximizing the Probability of Goal Satisfaction , 1990, AAAI.

[46]  John W. Lloyd.  Temporal Logic Programming in Dense Time , 1995 .

[47]  Ronald J. Brachman,et al.  What's in a Concept: Structural Foundations for Semantic Networks , 1977, Int. J. Man Mach. Stud..

[48]  Projektgruppe WINOPostfa.  A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991 .

[49]  Christine Froidevaux,et al.  Negation by Default and Unstratifiable Logic Programs , 1991, Theor. Comput. Sci..

[50]  Paolo Traverso,et al.  Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains , 1998, AAAI/IAAI.

[51]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.