NDLI: Epistemic Logic for Rule-Based Agents

Content Provider	Springer Nature Link
Author	Jago, Mark
Copyright Year	2008
Abstract	The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results.
Starting Page	131
Ending Page	158
Page Count	28
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	18
Issue Number	1
e-ISSN	15729583
Language	English
Publisher	Springer Netherlands
Publisher Date	2008-07-19
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Epistemic logic Doxastic logic Rule-based agents Resource bounds Artificial intelligence Logical omniscience Artificial Intelligence (incl. Robotics) Semantics Logic
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

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

Temporalizing Epistemic Default Logic

Probabilistic Dynamic Epistemic Logic

Refined Epistemic Entrenchment

Recovery and Epistemic Residue

Implicit Epistemic Aspects of Constructive Logic

Guards, Bounds, and Generalized Semantics

Active Agents

On combinations of propositional dynamic logic and doxastic modal logics

A Logic of Situated Resource-Bounded Agents

Epistemic Logic for Rule-Based Agents

Similar Documents

Temporalizing Epistemic Default Logic

Probabilistic Dynamic Epistemic Logic

Refined Epistemic Entrenchment

Recovery and Epistemic Residue

Implicit Epistemic Aspects of Constructive Logic

Guards, Bounds, and Generalized Semantics

Active Agents

On combinations of propositional dynamic logic and doxastic modal logics

A Logic of Situated Resource-Bounded Agents

Epistemic Logic for Rule-Based Agents