NDLI: Learning to reason

Content Provider	ACM Digital Library
Author	Khardon, Roni Roth, Dan
Copyright Year	1997
Abstract	We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and suggests that learning and reasoning should be studied together.The Learning to Reason framework combines the interfaces to the world used by known learning models with the reasoning task and a performance criterion suitable for it. In this framework, the intelligent agent is given access to its favorite learning interface, and is also given a grace period in with it can interact with this interface and construct a representation KB of the world $\textit{W}.$ The reasoning performance is measured only after this period, when the agent is presented with queries α from some query language, relevant to the world, and has to answer whether $\textit{W}$ implies α.The approach is meant to overcome the main computational difficulties in the traditional treatment of reasoning which stem from its separation from the “world”. Since the agent interacts with the world when construction its knowledge representation it can choose a representation that is useful for the task at hand. Moreover, we can now make explicit the dependence of the reasoning performance on the environment the agent interacts with.We show how previous results from learning theory and reasoning fit into this framwork and illustrate the usefulness of the Learning to Reason approach by exhibiting new results that are not possible in the traditional setting. First, we give Learning to Reason algorithms for classes of propositional languages for which there are no efficient reasoning algorithms, when represented as a traditional (formula-based) knowledge base. Second, we exhibit a Learning to Reason algorithm for a class of propositional languages that is not know to be learnable in the traditional sense.
Starting Page	697
Ending Page	725
Page Count	29
File Format	PDF
ISSN	00045411
e-ISSN	1557735X
DOI	10.1145/265910.265918
Journal	Journal of the ACM (JACM)
Volume Number	44
Issue Number	5
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1997-09-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Common sense reasoning Computational learning Knowledge representation Model-based reasoning
Content Type	Text
Resource Type	Article
Subject	Hardware and Architecture Information Systems Control and Systems Engineering Artificial Intelligence Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Circumscription with homomorphisms: solving the equality and counterexample problems

Corrigendum: “Reasoning about knowledge and probability”

A neuroidal architecture for cognitive computation

A model-theoretic analysis of knowledge

Reasoning about knowledge and probability

Knowledge and common knowledge in a distributed environment

Simulating synchronized clocks and common knowledge in distributed systems

Computational limitations on learning from examples

Knowledge Based Perceptual Anchoring : Grounding Percepts to Concepts in Cognitive Robots

Learning to reason

Similar Documents

Circumscription with homomorphisms: solving the equality and counterexample problems

Corrigendum: “Reasoning about knowledge and probability”

A neuroidal architecture for cognitive computation

A model-theoretic analysis of knowledge

Reasoning about knowledge and probability

Knowledge and common knowledge in a distributed environment

Simulating synchronized clocks and common knowledge in distributed systems

Computational limitations on learning from examples

Knowledge Based Perceptual Anchoring : Grounding Percepts to Concepts in Cognitive Robots

Learning to reason