Learning Modal Theories

Authors:
John W. Lloyd;Kee Siong Ng
Affiliations:
Computer Sciences Laboratory, Research School of Information Sciences and Engineering, The Australian National University,;Symbolic Machine Learning and Knowledge Acquisition, National ICT, Australia
Venue:
Inductive Logic Programming
Year:
2007

Citing 11
Cited 4

Interactive theory revision: an inductive logic programming approach

Interactive theory revision: an inductive logic programming approach
Reasoning about knowledge

Reasoning about knowledge
Logical settings for concept-learning

Artificial Intelligence
Learning Decision Lists

Machine Learning
A Refinement Operator for Description Logics

ILP '00 Proceedings of the 10th International Conference on Inductive Logic Programming
Logic and Learning

Logic and Learning
Learning concepts by performing experiments (marvin)

Learning concepts by performing experiments (marvin)
Personalisation for user agents

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Learnability of description logic programs

ILP'02 Proceedings of the 12th international conference on Inductive logic programming
(Agnostic) PAC learning concepts in higher-order logic

ECML'06 Proceedings of the 17th European conference on Machine Learning
An architecture for rational agents

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies

Declarative programming for artificial intelligence applications

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Probabilistic and Logical Beliefs

Languages, Methodologies and Development Tools for Multi-Agent Systems
Declarative programming for agent applications

Autonomous Agents and Multi-Agent Systems
A Monte-Carlo AIXI approximation

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses how to learn theories that are modal, concentrating on the issue of how modal hypotheses are formed. Illustrations are given to show the usefulness of the ideas for agent applications.