Scandinavian Conference on Artificial Intelligence-93: Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence Electrum, Stockholm, Sweden, May 4-7, 1993Erik Sandewall, Carl Gustaf Jansson IOS Press, 1993 - 259 páginas The Nordic countries are traditionally strong in the application of new computer technology. This work represents the state of the art in some of the artificial intelligence areas currently subject to active R&D. International researchers present 24 papers in the following areas: automated reasoning; qualitative reasoning; machine learning; neural networks; and knowledge-based systems. Both basic and applied AI research are represented. |
Conteúdo
Automated reasoning | 1 |
Computing Extensions of Nonmonotonic Logics | 20 |
An Approach for Qualitatively Predicting Relations from Relations | 38 |
A New Approach towards Monitoring in Intelligent Autonomous Robots | 60 |
Automated reasoning II | 77 |
The Analytic Tableaux Deduction for Linear Miniscoped Temporal Logic | 90 |
Machine Learning I | 111 |
Machine Learning II | 124 |
Learning to Perform Weather Forecasting Operations | 147 |
A CaseBased Answer to Some Problems of KnowledgeBased Systems | 168 |
Machine learning and Neural networks | 183 |
A Connectionist Model for Analysis of Temporal Sequences with Noise | 202 |
A Formal Model of Communicative Strategy | 226 |
Knowledge based systems | 240 |
| 259 | |
Expansion of Clauses for Indirect Roots | 126 |
Termos e frases comuns
AE-extension application approach Artificial Intelligence autoepistemic logic autonomous robots axioms backward chaining behaviour belief base belief set C.G. Jansson Eds clause concepts condition constructed critiquing data set database default default logic defined definition derivation described domain examples execution expert systems expert systems development expression Figure FOIL forecasting formula function heuristic implementation induction Inductive Logic Programming input interaction interpretation interval knowledge acquisition knowledge base knowledge engineer knowledge representation knowledge-based paradigm language layer Lemma Logic Programming m-estimate machine learning method mFOIL monitoring Muggleton neural networks nodes noise object operations output parallel coordinates parameters performance positive possible prediction problem solving program schema Prolog qualitative simulation quantified quantitative reasoning recursive regular expressions relation robots rules of inference S-CLE Sandewall semantical sequent Slovenia solution strategy structure subformulas t₁ t₂ Table techniques temporal Theorem unfolding values variable visualizing